ミレニアム問題が倒れつつある。議論は、何が倒れたのかをめぐっている。

9月8日、OpenAIはナビエ–ストークス方程式の有限時間爆発に関するLeanで検証済みの証明を公開し、10月26日にはヤン–ミルズ理論の存在証明を発表した。AnthropicのClaudeは同じ月に指数時間仮説を反証した。七つのミレニアム問題のうち二つに今や機械の手が及んだ——しかしヤン–ミルズの論文はまだ公開されておらず、質量ギャップには手がつけられておらず、数学者たちはこの流体の結果が提起された通りの問いに答えているのかどうかを争っている。

2か月、4つの日付で、機械が数学に貢献できる限界は、過去30年間よりも大きく前進した。

実際に何が主張されていたのか

正確さが重要なのは、見出しがそれを曖昧にしたからだ。

ナビエ–ストークス方程式は、2000年にクレイ数学研究所が提示した7つのミレニアム懸賞問題の一つで、それぞれ100万ドルの賞金がかかっている。問題は、三次元方程式の解が常に滑らかなままでいるのか、それとも有限時間で爆発し得るのかということだ。OpenAIの論文は『ナビエ–ストークス方程式の有限時間爆発』と題されており、ある初期データについて後者の結果を主張している。

ヤン–ミルズはその七つのうちのもう一つだ。この問題には二つの半面がある。第一は、理論が厳密な数学的対象として存在することを示すことだ。第二は、それが質量ギャップを持つことを示すことである——つまり、その理論が予測する最も軽い粒子が厳密にゼロより大きい質量を持つことであり、それが強い力が短距離である理由だ。

OpenAIの10月の主張は存在の半面である。それは質量ギャップではない。クレイ問題は両方を要求するので、発表された内容では賞を請求できない。そしてOpenAI自身の声明も、その結果をミレニアム問題の解決ではなく存在証明と表現している。

流体の結果をめぐる論争

ナビエ–ストークスに関する主張は、二つのうちより論争の的になっているが、それは誰かが誤りを見つけたからではない。

批判者たち——その中には『Scientific American』も含まれる——は、OpenAIが証明したのはクレイ問題が問うている方程式ではなく、その一バージョンにおける爆発であり、その違いは些細な点ではなく抜け穴だと主張している。その後、3人の数学者が、OpenAIの手法を完全な問題へ拡張することはできないという証明を発表した。これは逆方向から抜け穴を塞ぐものである。つまり、その手法は有効であり、提示された形の問題には到達できない。

また、背景には優先権をめぐる争いもある。数学者のレヴェント・アルプーゲとトリスタン・バックマスターは、関連するオイラー方程式およびナビエ–ストークス方程式の結果について公に研究を進めていた。OpenAIは、自社の取り組みはその研究の噂に触発されたものであり、二つの証明は大きく異なると述べている。ニューヨーク・タイムズ紙は9月にこの対立を報じた。

そうしたことのいずれも、その結果を無価値にするものではない。明確に定義された変種についての、機械が生成し機械が検証したブローアップの証明は、れっきとした数学的対象である。それは単に、解決済みのミレニアム問題と同じものではない。そして、その二つの文の間にある隔たりこそが、議論の大半が存在する場所なのである。

Anthropicの回答、そしてそれが重要な理由

10月16日、Anthropicは、指数時間仮説——特定の計算問題が真に指数時間を要するという予想——の反証を公開した。これは社内のClaudeモデルによって発見された。論文はそのモデルの功績を明記し、別の独立したカーネルによって検証されたLean 4証明を同梱している。

その最後の細部こそが重要なものだ。第二のカーネルとは、その証明が単に機械によって生成され、その生成者に信じられただけではなく、同じ論理規則を実装した異なるソフトウェアによって検査されたことを意味する。独立した検査こそが主張を結果へと変えるものであり、この物語の中で発表よりも長く残る部分である。

ボトルネックはもはや生成ではない

コンピューティングの歴史の大半において、数学的結果の難しい部分はそれを見つけることだった。それはもはや明らかに真実ではない。

コロンビア大学の数学者ピーター・ウォイトは、信頼できる懐疑派によるブログとして知られる自身のブログで、ヤン＝ミルズの状況を率直にこう述べた。専門家が集められて検証している間、非公開のまま保持されている結果は、この分野が言う意味での数学にはまだなっていない、と。それは公正な基準であり、良い結果にも当てはまる。

なぜ基礎は騒ぎ立てるに値するのか

数学と物理学は、数ある学問のうちの二つではない。それらは他の学問がその上に築かれる層である。

AIは非常に賢くなってきており、数学の最も難しい問題を一つずつ解いている。1年か2年以内に、残っている100万ドル級の数学問題すべてがAIによって解かれても驚かない。昔、AIが最高の人間を破ってチェスを事実上解決したことを思い出す。今やAIは最高の数学者たちを打ち負かしており、しかも僅差ですらない。しかし今回は違うと思う。なぜならAIは今や汎用知能であり、ほぼすべての領域や学問をカバーしているからだ。

つまり、その可能性と潜在力はほぼ無限です。

数学と物理学について考えると、それは世界を理解する方法の多くにとっての構成要素であり、基盤です。だから、AIが最も難しい数学と物理学の問題を解くのに役立つようになると、数学や物理学に基づいて築かれた分野で無数の発見につながるでしょう。これが、Anthropicが生物学と医学にこれほど強気である理由の一つであり、自社のラボでの取り組みを進めている理由の一つです。

物質の理論の数学的基盤が手に負えるものになると、その帰結は後になって別の場所に現れる。発見されるのではなく設計される材料に、実験室を予約する前にシミュレーションで見つかる創薬標的に、そして試行錯誤ではなくなる化学に。Anthropicが生物学と医学に対して公に打っている賭けは、自社モデルからの転換ではない。物理系についてのより良い推論が生物系についての推論へと変換されるという賭けである。

著者の見解

これは意見であり、報道ではない。本記事に添えられた動画で示されている主張である。

材料科学でも無数の新しい発見が起きるだろうと思います——私たちはものを作り、構築する新しい方法を見つけるでしょう。

基本的に、AIは世界と私たちの体がどのように機能するかを解明するのに役立っており、その理解が、歴史上かつてない速さで驚くべき発見を導くのです。だからこそ、この話題はとても興味深いのです。私たちは大きな転換点にいます。物事は加速しています。課題がないと言っているわけではありません——課題はあります。しかし、新しい発見のペースは加速しており、それはまだ始まりにすぎません。

その議論の冷静な版はより狭く、退けにくい。機械は数学者を支援する段階から、何十年も未解決だった問題について、証明支援システムが検証できる結果を生み出す段階へと進んだ。検証は遅く、生き残らない主張もあり、誰もまだ受賞していない賞は獲得した賞ではない。しかし方向性はもはや疑いようがない。

出典：OpenAI「ナビエ–ストークス・ミレニアム懸賞問題について」（2026年9月8日）および「学術コミュニティと協働して科学的理解を構築する」（2026年10月26日）；Anthropic、指数時間仮説の反証（2026年10月16日）；Scientific American「OpenAIは誤ったナビエ–ストークス問題を解いたのか？」（2026年9月21日）；Quanta Magazine（2026年9月8日）；The New York Times（2026年9月10日）；Clay Mathematics Institute、ミレニアム懸賞問題の問題文。

連絡先：[email protected]

日本語版は Ai 支援を使用しているため、小さな間違いが存在する可能性があることをご了承ください。

著者

Ai-Banking-NetworkSecurity (ABN), ABN ASIAは、アカデミアに深く関わり、アメリカ、オランダ、ハンガリー、日本、韓国、シンガポール、ベトナムでの仕事経験を持つ人々によって設立されました。ABN ASIAは、学問とテクノロジーが機会と出会う場所です。最先端のソリューションと優れたソフトウェア開発サービスにより、ビジネスがレベルアップし、グローバルシーンに挑戦できるよう支援しています。 私ちの取り組み: より速く。 より良い。 より信頼性が高くなります。 ほとんどの場合、価格も安くなります。

いつでも、ITサービス、デジタルコンサルティング、既製のソフトウェアソリューション、または提案依頼書（RFP）をお探しの際は、お気軽にお問い合わせください。お問い合わせ先は[email protected]です。お客様のテクノロジーに関するニーズにお応えします。

© ABN ASIA