First Proof에 대한 첫 번째 증명 제출

OpenAI는 AI가 전문 분야의 문제를 해결하고 검증 가능한 증명을 생성할 수 있는지 테스트하는 First Proof 챌린지에 내부 모델을 참여시켰다. 이 챌린지는 단순한 단답형 문제를 넘어, 전문가의 검토 없이는 정답 확인이 어려운 고도의 연구 수준 수학 문제들을 다룬다.

2026년 2월 14일 제출된 결과에 따르면, 모델이 시도한 10개의 증명 중 최소 5개(문제 4, 5, 6, 9, 10)가 정답일 가능성이 높은 것으로 전문가들로부터 평가받았다. 초기에는 문제 2번이 정답일 것으로 예상했으나, 추가 분석 결과 오답으로 판명되었다.

이번 실험은 차세대 AI 모델의 핵심 역량을 평가하기 위해 진행되었다. 단순한 벤치마크를 넘어 다음과 같은 고난도 추론 능력을 테스트하는 데 중점을 두었다:

• 긴 추론 체인 유지
• 적절한 추상화 선택
• 문제 정의의 모호성 처리
• 전문가 검토를 견뎌내는 논리 구축

OpenAI 연구원 James R. Lee는 사고의 엄밀함을 높이기 위해 훈련 중인 새로운 모델이 훈련 과정에서 실시간으로 지능이 향상되는 것을 목격했다고 밝혔다. 이번 성과는 IMO(국제수학올림피아드) 금메달 수준의 성능 달성 및 GPT-5를 활용한 과학 연구 가속화 연구의 연장선에 있다.