OpenAIのAIが『証明した』という3つの難問、数学・計算機科学・物理で何が起きたのか。勝敗は検証の舞台に移った

まず初めに

AIが難問を「解いた」という発表は、もはや珍しくない。珍しいのは、その後の態度だ。今回は自慢話で終わらせず、「原材料は出すから、料理と味見は専門家に任せる」と言い切った。証明した本人ではなく、仮説を提唱した張本人たちに「これ、間違ってたら言ってください」と原稿を渡すのだから、逃げ場のない出し方である。成果そのものより、この出し方の方がニュースかもしれない。

※個人の感想です

何が起きたのか

OpenAIは2026年10月26日、「Working with academic communities to build scientific understanding（学術コミュニティと協力して科学的理解を築く）」と題した記事を公式サイトで公開し、数学・計算機科学・物理の3分野で「3つの新しい発見」を発表しました。

同社は今回の原稿を「未加工の研究データ（raw research data）」と位置付けています。それを科学的な理解に変えるため、外部の専門家に「シェパード（案内役）」を依頼し、成果ごとに異なる公開方法を選びました。

• 数学の成果：AIの出力をそのまま公開し、研究者が自由に検証・解説の取り組みを組織できるようにする
• 計算機科学の成果：外部の協力者グループが解説を担い、AIの出力自体は誰でも調べられるよう公開する
• 物理の成果：外部の協力者グループを作り、資料の公開方法はそのグループの判断に委ねる

協力の原則も明示されました。参加者に守秘義務契約（NDA）は求めず、途中経過の共有や結論の公表は自由、参加は無報酬で任意、そしてOpenAIは発見に対する学術的な功績（クレジット）を求めない、という内容です。

成果その1：数学——局所平滑化予想とKakeya予想

数学の成果は、調和解析と呼ばれる分野のものです。1991年にSoggeが提唱した「局所平滑化予想」は、波が一点に集中する現象について、「最も極端な集中は短時間しか続かない」という内容の予想です。典型的な時刻での集中の度合いは、最悪の時刻に起こりうる度合いよりずっと小さい、という考え方です。

この予想は基礎的な位置付けにあり、Kakeya予想やSteinの制限予想を含意（証明できれば自動的にそちらも成り立つ関係）にあることが知られています。2019年にはGuth、Wang、Zhangが2次元空間で局所平滑化予想を証明し、2025年にはWangとZahlが3次元でKakeya予想を証明しました。

OpenAIによれば、同社のモデルは「すべての次元で」局所平滑化予想の証明を生み出し、それによってKakeya予想とSteinの制限予想も全次元で解決される、と主張しています。証明は新しい補助的な偏微分方程式を使うものだといいます。AIの出力は2026年10月18日に得られ、翌日にLeanで形式化（証明の各ステップを機械が検査できる形に翻訳する作業）されました。自然言語の解説文とLeanの証明は、同社の公開GitHubリポジトリで公開されています。

成果その2：計算機科学——「指数時間仮説は誤り」という主張

計算機科学の成果は、指数時間仮説（Exponential Time Hypothesis、ETH）に関するものです。ETHは、ブール式の充足可能性（SAT）という基本問題について、「本質的に指数時間が必要だ」という長年の予想で、P対NP問題とも深く関係します。この仮説は広く正しいと信じられ、グラフ理論、計算生物学、データベース、計算幾何学など幅広い分野の数百本の論文で、「これ以上速く解けないこと」の条件付きの根拠として使われてきました。

OpenAIは「私たちのシステムは最近、ETHが誤りであることを証明し、その結果はその後Leanで検証された」と述べています。もしこの主張が正しければ、「ETHが成り立つ前提で組み立てられた下限の議論」は土台から見直しが必要になります。ただし同社自身、「実際に速いアルゴリズムを見つけ、理論の前進を実用的な改善に変えるには、かなりの追加研究が必要だ」と留保しています。仮説が崩れても、明日ソフトウェアが速くなるわけではありません。

検証を担うのは、Russell Impagliazzo（UC San Diego）、Ramamohan Paturi（UC San Diego）、Ryan Williams（MIT）の3氏が率いるグループです。ImpagliazzoとPaturiは、Francis ZaneとともにETHの提唱者本人です。AIの自然言語による反証は2026年10月16日に得られ、10月17日にLeanで形式化されました。グループの求めに応じて生データは全て公開され、この主張を公の場で検証する取り組みへの参加が広く呼びかけられています。OpenAIは、分野全体への影響を議論する会議への資金提供も約束しました。

成果その3：物理——QCDと標準模型の「存在証明」

物理の成果は、ゲージ場とフェルミオンを含む4次元の相互作用する量子場の理論について、数学的に厳密な存在証明を与えた、という主張です。対象には、クォークやグルーオンの「強い力」を記述する量子色力学（QCD）と、素粒子物理学の標準模型を統一的に完成させた理論が含まれます。土台には、構成的量子場理論におけるBalabanのアプローチが使われたとされています。

部分問題として、純粋なYang-Mills理論の存在証明も含まれます。これは、クレイ数学研究所のミレニアム賞問題の一つ「Quantum Yang-Mills Theory」の一部にあたります。ただし注意点として、ミレニアム問題の核心には「質量ギャップ」の証明も含まれており、今回の発表が主張しているのは「存在」の部分です。賞金の懸かった問題が全面的に解決した、という発表ではありません。

検証グループを率いるのは、1973年の漸近的自由性の研究で2004年のノーベル物理学賞を共同受賞したDavid Grossです。Michael Douglas、Arthur Jaffe、Igor Klebanov、Nikita Nekrasovも参加します。モデルの出力日は、Yang-Millsの存在証明が2026年9月9日、QCDの証明が9月18日で、Yang-Mills部分のLean形式化は10月16日に完了しました。物理の成果については、グループの判断でAI生成資料の公開は見合わせ、グループ自身が書き上げる方針です。数学・計算機科学とは公開方法が異なる点が、この成果の慎重さを物語っています。

私たちへの影響

一般の利用者が使うAI製品が、この発表で直接変わることはありません。大規模言語モデル（LLM）が今すぐ賢くなるという話でもありません。

影響があるとすれば、研究の進め方そのものです。「AIが出した答えを、機械検査できる形（Lean形式化）とセットで公開し、分野の専門家が公開の場で検証する」という手順が、AIによる科学的主張の標準的な出し方になる可能性があります。逆に言えば、この手順を踏まない「AIが難問を解いた」という主張は、今後はより厳しい目で見られるでしょう。今回の3成果についても、独立した検証と学術的な吟味が終わるまでは、確定した科学的成果として扱うべきではありません。発表直後の熱量と、検証後の評価は、別の物です。

初心者が知っておくべきこと

Q. 「Leanで検証された」なら、もう証明は正しいのですか。

A. Leanは、証明の論理ステップに飛躍や矛盾がないかを機械が検査する仕組みです。形式化された範囲については強い裏付けになります。ただし、「元の主張を正しく形式化できているか」「前提条件の置き方に問題がないか」は人間の専門家が確認する部分で、今回まさに外部グループが担っているのがその役割です。機械検査と専門家の吟味は、車の両輪です。

Q. ETHが誤りだと、パスワードや暗号は危なくなるのですか。

A. 今回の主張は、計算の難しさに関する理論上の予想についてです。仮に主張が正しくても、それは「理論的にはもっと速い方法が存在しうる」という段階の話で、現実の暗号がすぐ解読できるようになるという意味ではありません。OpenAI自身、実用的な改善には大きな追加研究が必要だと述べています。

Q. なぜ成果ごとに公開方法が違うのですか。

A. OpenAIによれば、数学は「出力を公開して研究者に委ねる」、計算機科学は「公開しながら専門家グループが解説する」、物理は「専門家グループが書き上げるまで資料を公開しない」という判断で、専門家の助言をもとに決めたとしています。同社は「どの方法が最も役立つかはまだ分からない」と率直に述べており、公開方法そのものが実験だという位置付けです。

IT Postの見方——「証明した」より「検証の設計」が本当の発表だった

IT Postでは、今回の発表の核心は3つの成果そのものではなく、検証の設計にあると考えます。仮説の提唱者本人を検証のリーダーに据え、NDAなし・無報酬・結論の公表は自由、という条件を先に宣言した。これは「信じてください」ではなく「壊してみてください」と言うための条件設定だ。AIの出す主張が人間の専門家を上回る規模と速度で増えていく時代に、ボトルネックは生成ではなく検証になる、という現実を、OpenAIが手続きの形で示した格好である。

もちろん、冷めた目も必要だ。3成果とも、現時点では同社の主張であり、物理に至っては資料自体が未公開である。「素晴らしい」と「正しい」の間には、検証という長い橋が架かっている。その橋を誰がどう渡るのかまで含めて発表した点は評価できるが、橋を渡り終えるまでは、結論は保留が正解だ。派手な見出しに浮かれるのは、検証が終わってからで遅くない。

※個人の感想です

今後どうなりそうか

焦点は3つあります。第一に、ETH反証について、提唱者を含むグループがどのような検証結果を公表するか。第二に、Kakeya予想を含む数学の成果について、研究コミュニティが独自の解説と吟味をどこまで進めるか。第三に、物理の成果について、専門家グループがいつ、どのような形で書き上げた資料を出すかです。

IT Postでは、各グループの検証結果や続報が出た場合は、主張の変化を追って取り上げます。読者としては、「AIが証明した」という見出しを見たら、証明そのものと同じくらい「誰が、どういう条件で検証しているのか」を確認するのが、この手のニュースとの正しい付き合い方です。