증명 답안의 점수를 인공지능(AI)에게 맡겨도 될까?
수학올림피아드 증명 평가 연구에서 자동 채점의 어려움을 읽습니다. 예시 확인과 일반 증명을 구별하는 작은 답안으로 채점 근거를 점검합니다.
그림에서 무엇을 볼까요?
홀수 합의 두 사례만 든 답안 A와 임의의 두 홀수를 사용한 답안 B를 비교하는 표. B는 합이 정수의 두 배임을 보인다.
다음은 원대회 문제를 옮기지 않은 LTCT의 자체 과제입니다. 범위는 정수이며, 홀수는 어떤 정수 k에 대해 2k+1로 나타낼 수 있는 수라고 정의합니다. 답안 A는 1+3=4, 5+7=12를 제시한 뒤 ‘그러므로 항상 짝수’라고 말합니다. 계산은 맞지만 가능한 모든 홀수 쌍을 다루는 연결이 없습니다.
답안 B는 임의의 정수 a, b에 대해 두 홀수를 2a+1, 2b+1로 놓습니다. 합은 2(a+b+1)이고, a+b+1도 정수이므로 짝수의 정의를 만족합니다. 여기서는 대상의 일반성, 식의 변형, 정수라는 조건, 결론의 정의가 연결됩니다. 긴 답안인지보다 이 연결이 실제로 있는지가 채점의 핵심입니다.
함께 확인할 점
논문의 모델·실행 조건·문항 수준을 확인한 범위에서 해석합니다. 한국어 초중등 답안이나 협회 시험에서 같은 오류율이 나온다고 주장하지 않습니다.
본문의 교육용 두 답안에 자동 채점 모델을 실행하지 않았습니다. 연구 결과와 자체 채점 기준 설명을 분리했습니다.
생각해 볼 질문
답안 A의 계산이 모두 맞아도 왜 일반 증명으로는 부족한가요?
생각그림을 한 문단으로 펼치기
쓴 문단을 다시 생각그림으로 읽기
자신의 답을 만드는 생각그림