OpenAI、数学・コンピュータサイエンス・物理学で3つのAI発見を主張

OpenAIは2026年10月26日、自社モデルが3つの新結果を生み出したと述べた。調和解析における局所平滑化予想の証明、コンピュータサイエンスにおけるExponential Time Hypothesisの反証、物理学における量子色力学の存在証明である[1]。いずれの主張も査読を受けておらず、外部専門家グループが今後審査する[1][3]。

OpenAIは自社モデルが何を発見したと主張しているのか？

数学分野では、OpenAIは自社モデルがSoggeの1991年の局所平滑化予想をすべての次元で証明したと述べ、これはKakeya予想とSteinの制限予想をすべての次元で解決するものだという[1]。これまでの人間の研究では、2019年に2次元空間で局所平滑化が証明され、2025年に3次元でKakeya予想が証明されていた[1]。

物理学分野では、OpenAIは量子色力学を含む特定の4次元量子場理論の数学的に厳密な存在証明を記述し、Standard Modelの統一完結版も含むと述べている[1]。サブ問題として、Clay Mathematics InstituteのMillennium Prize問題の一部である純粋Yang-Mills理論の存在を証明したという[1]。この資料は未公開である[1][3]。

Exponential Time Hypothesisの主張が重要視される理由は？

Exponential Time Hypothesis（ETH）は、n変数の3-SAT決定が最悪の場合に指数時間を要するとするものである[2]。OpenAIは、ETHが真であると広く信じられ、条件付き困難さの結果を導くために数百の論文で使用されてきたと述べている[1]。OpenAIは、自社モデルがExponential Time Hypothesisを反証したと主張している。これは数百の論文で使用されてきた予想である。

OpenAIを著者とする67ページのプレプリントは、k-CNF式の充足割り当てを準指数時間・多項式空間で数える決定論的アルゴリズムを記述している[2]。OpenAIは、この結果を実用的な高速アルゴリズムに転換するにはさらなる大規模研究が必要だと述べている[1]。

証明は誰か検証したか？

OpenAIは数学とコンピュータサイエンスの証明をGitHub上のプレプリントとして公開した。いずれも未査読である。OpenAIは、両方にLean形式化（機械検証済み証明）が付属し、リポジトリに公開されていると述べている[1][2]。自社のタイムラインでは、ETH反証が10月16日に見つかり、10月17日に形式化されたという[1]。

UC San DiegoのRussell ImpagliazzoとRamamohan Paturi、MITのRyan Williamsが率いるグループがETH結果を検証・監督する[1]。ImpagliazzoとPaturiはFrancis Zaneと共にこの仮説を最初に提案した[1]。物理学については、Nobel laureate David GrossがMichael Douglas、Arthur Jaffe、Igor Klebanov、Nikita Nekrasovを含むグループを率いる[1]。

OpenAIは結果の公開方法をどのように変えているのか？

OpenAIは外部専門家にshepherd役を依頼し、数学はオープン公開、コンピュータサイエンスは外部グループ＋公開ファイル、物理学はグループに委ねるという3つの異なる公開戦略を助言されたと述べている[1]。OpenAIは学術的功績を求めず、外部専門家グループが結果を審査すると述べている。

参加は任意・無報酬で、OpenAIはETH結果の影響に関する会議の資金提供に同意したという[1]。The Vergeは、OpenAI自身の数学顧問パネルがAI出力への選別された人々への優先アクセスを推奨しなかったばかりだと指摘している[3]。OpenAIはshepherdの選定が情報の非対称を生むことを認めている[1]。

この公開は、OpenAIが10月6日に数百のAI作成原稿を公開してから1ヶ月足らずであるとThe Vergeは報じている[3]。OpenAIは、新たな協力が最近発表したSimons Foundationへの500万ドルの寄付を補完すると述べている。同財団はAI結果を研究する研究者のためのワークショップやプログラムに資金を提供している[1]。

私たちの見解

意見: ETH反証が成立すれば、これはAI駆動数学から出た最大の主張であり、仮説の原提案者を検証責任者に据えるのは正しい判断だ。しかしLean証明は形式化された内容のみを保証するものであり、利益を得る企業が発表する extraordinary claims は、査読が存在する理由である緩やかで敵対的な精査に値する。

検証できなかったこと

• Whether any of the three claimed proofs is correct; all are AI-written preprints or unreleased material, and no peer-reviewed publication or independent verification was available at publication.
• Whether the Lean formalizations capture the full original conjectures; OpenAI says the ETH and local smoothing proofs were verified in Lean, but we could not check the formal statements ourselves.
• The physics proof for Yang-Mills theory and quantum chromodynamics, which has not been released; we rely solely on OpenAI's description.
• Which internal model or system produced the proofs; OpenAI does not name it.
• Any on-record reaction from the named shepherds, such as Russell Impagliazzo, Ryan Williams or David Gross; we found no public statement from them beyond what OpenAI reports.