OpenAI、3日以内に数学論文3本を撤回――符号エラーが依存チェーン全体を無効化

OpenAIは2026年10月7日、数学論文3本を撤回した。原因は1本の基礎論文に含まれる符号エラーであり、依存チェーン全体が機能しなくなったことによる。

事実の整理

10月6日、OpenAIはGitHub上で722本の数学原稿を公開した。これらは未公開の内蔵モデルに由来するものである。その36時間後の10月7日、同社は「Algebraicity of Weil classes on split abelian eightfolds」に符号エラーが存在するとして、依存論文2本を含む計3本の論文を撤回した。撤回された論文には現在、アーカイブ版へのリンクを含む説明が付記されている。

同日、OpenAIはその他14本の原稿も修訂し、証明の修正・前提条件と依存関係の明確化を行ったほか、形式的証明を6件新たに追加した。これにより、上位結果の形式化比率は719本中300本、約42%に達した。なお、それ以前は外部の研究者がモデルの出力を再現できない状態にあった。

メカニズムの分析

符号エラーは安定化・トレース消去の論証およびその後の構成を直接破壊し、依存する2本の論文を同時に無効とした。OpenAIは同時に、Lipschitz高さやケーラー極小モデルプログラムなどのテーマを含む他のシリーズについても修正を行った。これは、エラー発見後に交差依存関係を体系的に確認する必要があることを示している。

現時点で上位結果のうちLeanによる証明が得られているのは42%に留まり、残りの成果には機械的検証の裏付けがない。このことは、AIが数学的内容を生成する速度が、既存の検証プロセスで対応できる範囲をすでに大幅に上回っていることを示している。

産業への影響

今回の事件は、AIを数学研究に用いる際の「主張と実際の出力の不一致」というリスクを浮き彫りにした。依存チェーンの崩壊事例は、基礎部分の単一エラーが複数の成果に波及し、外部による再現をより困難にしうることを示している。GitHubの公開履歴によれば、撤回論文のREADMEにはすでに問題点が説明され、アーカイブへのリンクが提供されている。

AIを活用した数学研究に依存する研究者にとって、このような撤回は大量生成された成果に対する信頼を低下させる可能性があり、同時に形式的検証ツールへの要求水準をより高める契機ともなりうる。

戦略的見解

【分析】今回の撤回と修正の記録から見ると、AIによる数学的成果の生成規模と検証能力の間の乖離は、すでに実質的な制約となっている。今後、信頼性を高めるためには、事後修正のみに頼るのではなく、公開前に機械的検証のカバレッジ比率を高めることが求められる可能性がある。この判断は、今回の事件における42%の形式化比率および3本の撤回という事実に基づくものであり、確定的な予測ではない。