OpenAIの数学、事実の検証にさらされる：大量発表と即座の撤回

2026年10月6日、OpenAIは社内のフロンティアモデル（未公開・名称なし）が生み出した一連の数学的成果を発表した。原稿は公開GitHubリポジトリ「openai/math」にApache-2.0ライセンスで置かれている。ドキュメントによれば、成果の大半は約4,000問をモデルに解かせて得られたもので、平均的な成果1件あたりの計算量はChatGPT Proの「thinking」約3時間分と見積もられている。この取り組みは、8月の主張に対する数学者たちの批判を受けたものだ。当時OpenAIは、ナビエ–ストークス方程式に関する研究を含め、未解決問題での成果をうたっていた。その後、プリンストン高等研究所（Institute for Advanced Study）にAdvisory Group on Mathematics and Artificial Intelligence（AGMAI）が設立され、出版の望ましいあり方を定めることになった。

OpenAIはAGMAIに相談し、その勧告に一部従ったと説明している。計算量の見積もりや統計を公表し、今後のワークショップへの資金提供も発表した。しかし今回の公開は、同グループの基準を完全には満たしていない。AGMAIが2026年9月29日に公表したガイドラインは、成果を出所の研究機関が管理しないアーカイブに登録すること、そして再現性を確保するためにモデルを公開することを求めている。AGMAIはさらに、高度な数学の問題を独自モデルに解かせる慣行を支持しないと表明し（"we do not endorse this practice"）、数学に対する人間の理解こそが最も重要だと改めて強調した。

これほど大規模な公開の脆さは、発表の翌日に早くも表面化した。10月7日時点の改訂履歴には、3本の原稿の撤回が記録されている。ヴェイユ類に関する研究で符号の誤りが見つかり、主要な論証が成り立たなくなったうえ、それに依拠する2本の論文も道連れになった。履歴にはさらに、14本の原稿の訂正と、別の13本の参考文献の更新も記されている。現時点でLeanにより形式化された主要成果は719件中300件、約42%だ。形式化されていないものについては、OpenAI自身が一部に「問題があるかもしれない」と注意を促している。Yahoo TechでAnnemarije de Boerが指摘したように、形式検証をもってしても、ある成果が本当に新しいのか、意味があるのか、正しく設定されているのかまでは判断できない。成果の選定はOpenAIが行っており、査読を経たものは確認できず、コレクション全体も独立した評価を受けていない。モデルは名称も示されず利用もできないため、生成過程は再現できない。

この規模の公開は、検証作業のかなりの部分を数学コミュニティに押しつけることになる。1日で3本の撤回と数十件の訂正が出たことが、それを物語っている。書くことの自動化は、真実の自動化ではない。— Olya