OpenAI、数学・計算機科学・物理学でAI生成の新成果3件を公開

OpenAIは2026年10月26日、数学・計算機科学・物理学の3分野でAIが導いた新たな成果を発表し、結果を公開した。The Vergeが報じた。計算機科学と物理学の成果では、外部の専門家が「シェパード」として研究を導いた。

計算機科学の成果では、指数時間仮説（ETH）が偽であると主張する論文とLean証明がGitHubで公開された。固定幅CNF式の充足解を準指数時間・多項式空間で数える決定性アルゴリズムを示す内容で、Russell Impagliazzo氏、Ramamohan Paturi氏、Ryan Williams氏を含むグループが検証と説明を担当する。

物理学の成果は、4次元でゲージ場とフェルミオンを含む相互作用のある量子場の理論が存在することを数学的に厳密に証明したもので、QCDも対象に含む。David Gross氏がマイケル・ダグラス氏、ミスター・アーサー氏、Igor Klebanov氏、ニキータ・ネクラソフ氏らとともに検証グループを率いる。

数学の問題については、助言者の勧めに従いモデルの出力をそのまま公開した。出力はすべての次元で局所平滑化予想を証明し、すべての次元で掛谷予想とStein制限予想を解決する。ユークリッド波動方程式については、補助的な偏微分方程式を用いて2以上のすべての空間次元でSoggeの局所平滑化を示した証明を公開した。

OpenAIはまた、研究者向けの早期アクセス、クレジット、支援のあり方についてコミュニティに問いかける公開書簡を発表した。

過去のリリースとの関係

OpenAIは2026年10月6日にもモデル出力を直接公開しており、それから1カ月足らず前には長年の数学の課題への解答を含むとされる数百件の原稿を一斉公開していた。指数時間仮説は1999年にRussell Impagliazzo氏とRamamohan Paturi氏を含むグループが提唱した。前日にはAGMAIのパネルが、特定の人物に出力を先に受け取らせる慣行をAI企業が採用しないよう勧告していた。