OpenAIは2026年10月6日、公式ブログで、未発表の内部最先端モデルが産出した数学研究成果の一群を公開した。手稿722件、成果の系統372件に及び、長年未解決だった数学の問題数百件をカバーする異例の規模だ。成果は学術誌ではなく、改訂と引用のルールを添えて単一のGitHubリポジトリに置かれ、数学界自身による検証に委ねられた。
この公開が主張していること
OpenAIは2026年9月の時点で、自社モデルが数学のほぼ全分野にわたり、長年の未解決問題を100件以上解いたと述べていた。今回の公開は、その主張を実際に読めるテキストにしたものだ。証明そのものに加え、モデルの推論過程の一部の要約、消費した計算量の見積もり、モデルが合計で何問に挑戦したかまで含まれている。OpenAIによれば、典型的な成果1件の計算量は、ChatGPT Proが3時間考え続ける分に相当するという。
つまり、これはモデルが1問だけ偶然ひらめいた話ではない。大量の未解決問題を同じ未発表モデルに次々と投入し、産出を手稿にまとめて一括公開する、規模化されたパイプラインだ。量そのものがシグナルであり、最先端モデルの数学での使い方は、競技問題から未解決の研究課題を系統的に解く方向へ移りつつある。
なぜLeanによる形式化が付いているのか
今回の成果のかなりの部分は、Leanで形式化されている。Leanはコンピュータが証明を1行ずつ検査できる仕組みで、形式化されれば正しさは査読者の直感ではなく機械的な検証で担保される。AI生成物の最大の弱点が信頼性である以上、機械検証可能な証明こそ、この手稿群が通常のプレプリントと違う点だ。
ただし境界も明確だ。形式化されたのは一部に過ぎず、残りは人間の数学者による評価と咀嚼を待つ必要がある。OpenAI自身も、全体の影響が見えるまでには時間がかかると認めている。722件のうち何件が同分野の検証に耐えるかは、まだ分からない。
論点は答えではなく、公開の仕方にある
この一群をめぐる議論の焦点は、数学そのものよりも公開方法に集まっている。9月下旬、数学者による独立諮問グループAGMAIは初の提言を出し、要点は明確だった。研究機関は確立された学術チャネルを通じて速やかに成果を公開すべきこと、使用したモデル名、プロンプト、計算量を開示すべきこと、そして数学成果の公開を自社モデルの宣伝手段にしないよう強く求めたことだ。
この基準に照らすと、今回の公開は一部に応えている。成果は一か所に公開され、計算量の目安も示され、改訂と引用のルールも添えられた。しかし最も重要な項目が欠けたままだ。成果を生んだモデルには名前がなく、未発表の内部モデルである。読者は証明を検証できても、それを生んだ過程を再現できない。数学にとって証明は独立に検証できる。AI業界にとって注視すべきは別の点、すなわちモデルが検証可能な研究成果を大量に生み始めたとき、研究所の公開規範が産出の速度に追いつけるかどうかだ。
