추천math: OpenAI 내부 모델이 증명한 수학 논문 722편 공개

OpenAI의 내부 모델이 오픈 리서치 문제를 풀어 작성한 수학 논문 722편과 Lean 형식화 증빙 자료 모음이다. 기존 평가 지표가 포화 상태에 이르자 난이도를 높인 새로운 문제들을 모델이 스스로 해결한 결과물들을 담고 있다.

평균 3시간의 추론 연산을 거쳐 생성된 결과로, 4,000개 이상의 문제 중 유의미한 성과를 거둔 것들이 372개 가족으로 분류되어 있다. 리만 제타 함수의 영점 없는 영역, 호지 추론 등 고전적인 난제에 대한 접근도 포함되어 있으며 일부는 Lean으로 형식적 검증까지 마쳤다.

모델의 사고 과정을 요약한 Reasoning Traces도 함께 제공되어 AI가 복잡한 수학적 논리를 어떻게 전개하는지 관찰할 수 있다. Apache-2.0 라이선스로 공개되어 연구자들이 검증하거나 후속 연구를 수행하는 데 활용할 수 있다.