OpenAI、AIの3分野成果を専門家検証へ

OpenAIは2026年10月26日、社内AIが数学、計算機科学、物理学で生み出したとする3件の新成果を公表し、外部専門家が内容を検証・解説する新たな公開プロセスを始めると発表しました。対象は局所平滑化予想の全次元での証明、指数時間仮説（ETH）の反証、ゲージ場とフェルミオンを含む四次元量子場理論の存在証明で、成果は確立済みの結論ではなく検証対象として扱われます。

数学では、波の集中現象を扱う局所平滑化予想を全次元で証明し、それに伴ってKakeya予想とSteinの制限予想も全次元で解決したとOpenAIは説明しています。AIが生成した自然言語の論証とLeanによる形式証明をGitHubで公開し、研究者が独自に検討できるようにしました。

計算機科学では、充足可能性問題の計算量に関する指数時間仮説をAIが反証し、Leanでも形式化したとしています。仮説の提唱者を含む外部グループが検証を主導し、OpenAIは生データを公開するほか、分野全体への影響を議論する会議への資金提供を約束しました。

物理学では、量子色力学や標準模型の統一的な拡張を含む四次元量子場理論について、数学的に厳密な存在証明を得たと主張しています。David Gross氏らの専門家グループが内容を精査し、AI生成資料は直ちに公開せず、同グループ自身が解説をまとめる方針です。

協働では、透明性、AIの発見に対するOpenAIの学術的功績不請求、解説者への適切な評価、参加者の独立性を原則に掲げました。一方で、最初の検証者を選ぶことは参加機会や情報に偏りを生むため、企業はAIの出力そのものと科学的理解を分け、再現可能な検証と公開手順を設計できるかが問われます。