OpenAI、90年近く未解決の数学難問を88時間で「解決」　ただし正式認定はこれから

何が起きた？

OpenAIは2026年9月8日、数学の超難問「ナビエ・ストークス方程式」に関する未解決問題について、AIが解決につながる証明を作成したと発表しました。

この問題は、世界でも特に難しい7つの「ミレニアム懸賞問題」の一つです。OpenAIによると、約1万のAIエージェントを同時に動かし、最初の探索開始から約88時間で証明に到達しました。

さらに、人間が読むための数学的な証明だけでなく、証明支援システム「Lean」を使ってコンピューターで形式的に確認できる形にもしています。

ただし、現時点では世界の数学界や、ミレニアム懸賞問題を管理するClay数学研究所が「正式に解決した」と認定したわけではありません。

簡単にいうと

ナビエ・ストークス方程式は、水や空気がどう流れるかを表す基本的な方程式です。

たとえば水をかき混ぜると、渦ができて複雑に動きます。この動きを数学で追い続けたとき、どれだけ激しい流れになっても計算できるのか、それとも途中で速度などが際限なく大きくなり、方程式がうまく扱えなくなる瞬間があるのかが長年分かっていませんでした。

OpenAIのAIが示したのは、特定の条件では、滑らかだった流れから有限時間のうちに速度が際限なく増える「特異点」が生まれる、という証明です。

OpenAIはこれによって、Clay数学研究所が定めたナビエ・ストークス問題の条件の一つを満たしたと主張しています。

つまり「AIが似た問題を解いた」のではなく、本当にミレニアム懸賞問題そのものの解決を狙った証明を公開したという点が重要です。

それで何が変わる？

すぐに天気予報が劇的に正確になったり、飛行機の性能が急に上がったりするわけではありません。

今回の大きな意味は、むしろAIが既に答えのある問題を解くだけでなく、人類がまだ答えを知らない研究問題へ踏み込み始めたことです。

これまでAIの数学能力は、難しい試験問題や数学コンテストで評価されることが多くありました。しかし、それらには基本的に「正解」が存在します。

未解決問題では正解そのものがありません。

AIは文献を調べ、仮説を作り、計算し、間違った方法を捨てながら、新しい証明を組み立てる必要があります。

今回の証明が最終的に数学界で認められれば、「AIは研究者の補助道具」という段階から、新しい数学を発見する研究主体に近づいたことを示す大きな事例になります。

なぜ88時間で解けた？

「90年近く誰も解けなかった問題をAIが88時間で解いた」と聞くと、1台のAIが3日半考え続けたように思えます。

実際にはかなり違います。

OpenAIは最大で約1万のAIエージェントを同時に動かしました。

複数のAIグループに別々の解き方を試させ、有望なアイデアを別のグループへ渡しながら探索を続けています。

ナビエ・ストークス問題だけで、

• 約270万件のAI同士のメッセージ
• 約1300億の出力トークン

が使われました。

つまり、1人の天才AIが88時間考えたというより、1万人規模のAI数学者チームを一斉に働かせたと考えた方が近いでしょう。

しかも証明を発見したのは、公開されたばかりのGPT-6 Astraではありません。

OpenAIは8月28日から訓練している未公開の内部モデルを使用しており、このモデルについて「GPT-6 Astraより大幅に能力が高い」と説明しています。

証明が完成した後のLeanによる形式化と確認にはGPT-6 Astraが使われ、さらに約17時間かかりました。

この点では、今回のニュースは数学だけでなく、次世代AIが現在どこまで進んでいるのかを示すニュースでもあります。

本当に「解決した」と言っていい？

ここは慎重に見る必要があります。

OpenAI自身は今回の証明によって、ミレニアム懸賞問題を解決したとしています。

しかし9月9日時点で、Clay数学研究所の公式サイトではナビエ・ストークス問題はまだ「未解決問題」として掲載されています。

これは不自然なことではありません。

ミレニアム懸賞問題には正式な認定手続きがあり、Clay数学研究所が解答を検討するためには、まず適切な学術媒体で発表され、その後少なくとも2年間が経過し、さらに世界の数学界で広く受け入れられる必要があります。

証明が公開された翌日に正式認定されるような仕組みではないのです。

OpenAIも100万ドルの懸賞金を申請する予定はないとしています。

また、Leanで形式化されていることは強力な材料ですが、それだけで全てが確定するわけでもありません。

「形式化した数学的主張が、Clay数学研究所が本来求めている問題と正確に一致しているか」といった部分については、人間の専門家による確認も必要になります。

そのため現段階では、

「AIが90年近く未解決だった問題を完全に解決した」

と断定するより、

「OpenAIが、ミレニアム懸賞問題を解決したとする証明を公開した」

と表現するのが正確です。

ただし、その証明が今後の検証に耐えれば、数学史だけでなくAIの歴史にとっても非常に大きな出来事になる可能性があります。

情報源

• OpenAI「On the Navier–Stokes Millennium Prize Problem」
• Clay Mathematics Institute「Navier-Stokes Equation」
• Clay Mathematics Institute「Rules for the Millennium Prize Problems」

上記のOpenAI発表とClay数学研究所の公式資料を確認しています。 (OpenAI)