OpenAI、数学・CS・物理の3件のAI発見を外部研究者と検証へ

OpenAIは2026年10月26日、AIモデルが得た数学、計算機科学、物理の3件の成果を発表し、学術コミュニティと共同で検証・理解を進めるとした。数学は、Soggeが1991年に提唱した局所平滑化予想を全次元で証明したもので、Kakeya予想とSteinの制限予想も全次元で解決されるという。従来は2019年のGuth、Wang、Zhangによる二次元までだった。AI出力は10月18日に得られ、翌日にLeanで形式化され、解説とLean証明はGitHubで公開された。この証明には専任の検証グループはない。 計算機科学の成果は、1999年提案のETH(指数時間仮説)が偽だとする証明である。10月16日に自然言語の反証が得られ、17日にLeanで形式化された。固定幅のCNF式の充足割当数を劣指数時間・多項式空間で厳密に数える決定性アルゴリズムを示し、3-SATの場合がETHの反証になるという。Impagliazzo、Paturi、Ryan Williamsが独立に検証し、データと証明は即時公開された。The Decoderによると、ETHが成立しなくても、それに依拠する結果が直ちに誤りになるわけではなく、証明済みでなくなるにとどまる。Williamsは、実用的なSAT求解が12か月以内に大きく進む可能性もあるが、何も起きないかもしれないと述べた。三人は関与が主張の支持ではないとする公開書簡も出した。 物理の成果は、ゲージ場とフェルミオンを含む4次元の相互作用する量子場理論について、数学的に厳密な存在証明を与えるものとされる。対象はYang–Mills理論、QCD、最も単純な大統一理論で、Balabanの手法に基づく。自然言語の証明はYang–Millsが9月9日、QCDが9月18日に得られ、Lean形式化は10月16日に完了した。The Decoderによれば、ミレニアム懸賞問題については存在証明の部分のみで、質量ギャップは解いていないとOpenAIは明言している。David Grossのグループが検証し、Douglas、Jaffe、Klebanov、Nekrasovも加わる。AI生成物は当面非公開で、自ら論文化する予定である。 共同作業は透明性、学術的功績を求めないこと、貢献への評価、独立性の4原則に沿い、参加は無償で任意、NDAもない。OpenAIは、最初の検証者の選び方が誰に先に情報が渡るかを左右するなどのトレードオフを認め、参加拡大へのフィードバックを求め、Simons Foundationへ500万ドルを拠出する。一方、同社が組織したAGMAI panelは前日、特定の人に先に出力を渡す運用を採らないよう勧告した。理由は不平等なアクセス、評判の借用、選択の偏りで、学術リポジトリでの公開やLean形式化、選定経緯の開示などを求めている。なおLeanは記述された命題が証明されたかを確かめるだけで、その命題が本来の問題を捉えているかは専門家の判断が必要だとされる。

報道をもとにAIが作成しました・13 分前更新