OpenAI의 AI 수학 논문 722편 공개 및 3편 철회: 부호 오류와 Lean 형식화 42% (2026년 10월)

본 기사는 필자가 운영하는 AI Quotidia의 해외 뉴스 해설 기사입니다.

OpenAI는 2026년 10월 6일(화)(미국 시간), 아직 공개하지 않은 사내 AI 모델로 만든 수학 논문 722편을 GitHub에 공개했으며, 공개 후 2일 이내에 그중 3편을 철회했습니다.

• 공개 후 2일 만에 3편을 철회하여 현재는 719편입니다.
• 철회 원인: 논문 「Algebraicity of Weil classes on split abelian eightfolds」의 증명 과정에서, -1이어야 할 부호를 +1로 잘못 기재했습니다. 이 오류로 인해 해당 논문의 논의와 의존하는 2편의 논문이 사용했던 구성이 성립하지 않게 되었습니다. 공지에는 '증명에 대한 철회일 뿐, 주장이 거짓이라고는 말하지 않는다'고 명시되어 있습니다. 같은 업데이트에서 14편을 수정하고, 13편을 수정본으로 업데이트했으며, 형식화(formalization)를 6편 추가했습니다.
• 제작 과정 (README): 약 4,000개의 문제를 모델에 넣고 그 결과를 취합하여 중요도별로 추린 것이 722편입니다. 건당 평균적으로 ChatGPT Pro의 추론 계산 시간 약 3시간 분량에 해당합니다. 리만 제타 함수와 CM 아벨 다양체(CM abelian variety) 관련 2건은 정해진 절차를 벗어나 만들어졌고, 1편은 사람이 읽기 좋게 편집했습니다.

전체 버전에서는 '일본 독자에게 의미하는 바'에 대한 해설과 FAQ, Quotidia의 시점 (전문 전체)을 게재하고 있습니다. 더 읽어보기.