우리의 첫 Proof 제출

OpenAI는 내부 모델을 First Proof 수학 벤치마크의 10개 문제 전부에 적용해 증명 시도를 생성했다고 밝혔다.

전문가 검토 결과, 최소 5개는 정답일 가능성이 높고 여러 개는 아직 검토 중이며, 문제 2는 추가 분석 끝에 오답으로 판단됐다.

이번 실험은 제한된 인간 감독 아래 진행됐고, 일부 답안은 검증과 형식 정리를 위해 ChatGPT의 도움을 받아 다듬어졌다.

First Proof는 AI가 어려운 연구 분야에서 검증 가능한 올바른 증명을 만들어낼 수 있는지 평가하도록 설계된 더 강한 추론 벤치마크다.