1. 예고에서 실제 공개로

OpenAI가 2026년 10월 6일 미공개 내부 모델의 수학 연구 결과를 공개했습니다. 앞선 공개 예고 글에 이어, 이번에는 실제 원고·검증 자료와 연구 방법을 확인할 수 있게 됐습니다. 이날은 공개일이며 모든 결과의 생성일을 뜻하지 않습니다.

2. 무엇이 공개됐나

공식 저장소에는 원고 722편이 372개 결과군으로 묶여 있습니다. 결과군은 주된 정리, 보조 논증, 따름정리, 대안 증명을 함께 포함할 수 있습니다. 따라서 원고 수가 독립적으로 해결한 문제 수와 같지는 않습니다.

3. 연구 방법과 연산량

평가 과정에서 모델에 제시한 문제는 약 4,000개였습니다. 대부분의 결과는 동일한 절차로 얻었고, 평균 연산량은 해당 모델의 ChatGPT Pro 사고 약 3시간에 해당한다고 설명합니다. 문제와 결과군의 단위가 달라 단순 나눗셈으로 성공률을 산출하기는 어렵습니다.

4. 검증 상태와 공개 한계

여러 증명의 Lean 형식화와 추론 요약 10건도 공개됐습니다. 모든 원고가 형식화된 것은 아니며, 저장소는 미형식화 결과에 오류가 있을 수 있다고 명시합니다. 공개물의 존재와 학계의 독립 검증 완료는 구분해야 합니다.

5. AGI 관점에서의 의미

제 해석으로는 AI의 새 지식 생산 능력을 구체적으로 검토할 자료가 늘어난 사건입니다. 앞으로는 원고 수보다 개별 정리의 정확성, 기존 연구와의 관계, 인간 연구자가 이해하고 활용할 수 있는지가 중요합니다. 이번 발표만으로 AGI 달성을 결론낼 근거는 없습니다.

출처: OpenAI 공식 발표 · 원고·검증 자료·연구 방법 저장소