news公開日: 2026-09-09·執筆: MyApp Analyze·AIキュレーション

OpenAI、数学界の難問「ナビエ・ストークス方程式」をAIで解決か

OpenAIが未公開モデルで数学界の「ミレニアム懸賞問題」の一つを解決したと発表。証明の詳細と数学界への影響、AI時代の数学の未来を解説。

人工知能が数学の最高峰の難問を解く日が来るとは、誰が予想したでしょうか。2026年9月8日、OpenAIは未公開の内部モデルが「ナビエ・ストークス方程式の存在性と滑らかさ」という、クレイ数学研究所が2000年に設定した「ミレニアム懸賞問題」の一つを解決したと発表しました。もし数学界に認められれば、2010年のペレルマンによる「ポアンカレ予想」の証明以来、2つ目の解決となり、しかもAIが主導して解いた初のケースとなります。このニュースは、AIの能力がついに純粋数学の最深部にまで到達したことを示しており、その影響は計り知れません。本記事では、この画期的な出来事の詳細と、数学界やAI技術の未来に与える影響を深掘りします。

核心内容

ミレニアム懸賞問題とは: 2000年にクレイ数学研究所が選定した7つの数学難問で、各問題に100万ドルの賞金が懸けられています。ポアンカレ予想は2010年にロシアの数学者グリゴリー・ペレルマンが証明しましたが、彼は賞金の受領を拒否しました。
ナビエ・ストークス方程式の重要性: 19世紀にナビエとストークスが導いた、水や空気などの流体の動きを記述する方程式です。天気予報、飛行機の設計、血流のモデリングなど、幅広い分野で応用されています。
問題の核心: 「三次元非圧縮流体の解が常に存在し、滑らかであり続けるか」という問いです。流体が滑らかな状態から始まっても、時間の経過とともに解が爆発（有限時間爆発）する可能性があるかどうかが焦点です。
OpenAIの挑戦: 9月1日、Anthropicが2つのミレニアム問題を解いたという噂を聞き、OpenAIは未公開の内部モデルを6つの未解決問題に投入しました。このモデルは、先週公開されたばかりのGPT-6 Astraよりも「大幅に強力」とされています。
約50時間で突破口: ナビエ・ストークス関連の部分問題で進展が見られ、その後、AIエージェントを最大1万個に増強。合計88時間、270万件のメッセージ、1300億トークン（書籍約100万冊分）を消費し、9月5日に結果が完成、6日にコンピューター検証が完了しました。
結果: OpenAIは、ナビエ・ストークス方程式の解が有限時間で「爆発」することを示す証明を得たと主張しています。内部ベンチマークでは、GPT-6 Astraが解ける問題は約10%でしたが、この未公開モデルは約50%を解いたとのことです。

賞金と検証: OpenAIは賞金の受領を辞退し、AIの能力を示すことが目的だと述べています。クレイ研究所の所長マーティン・ブリッジソン氏は、正式な認定には時間がかかるとし、「審査プロセスは意図的にゆっくり進められ、絶対的な厳密性を確保する」とコメントしています。

データと著者名の論争: ニューヨーク大学のバックマスター教授は、自身とAnthropicの研究者アルパーグが行った関連研究（オイラー方程式の有限時間爆発の証明）がOpenAIのモデルに影響を与えた可能性を指摘。OpenAIは、未発表の研究内容をモデルが学習した可能性を否定しつつも、完全には排除できないと認めています。また、論文の著者名を巡る交渉の経緯についても、双方の主張に食い違いがあります。

深層分析

この出来事は、AIが数学研究において単なるツールから、主体的な「発見者」へと変わりつつあることを示す象徴的なケースです。特に、ナビエ・ストークス方程式は流体力学の根幹であり、その解の性質は物理学や工学に多大な影響を与えます。AIが「有限時間爆発」を証明したとすれば、これは乱流の理解などに新たな視点をもたらす可能性があります。しかし、最大の懸念は、数学者が証明のプロセスを理解できないまま、AIの結果を鵜呑みにせざるを得なくなることです。カリフォルニア大学ロサンゼルス校のテレンス・タオ教授は、この状況を「ジムで機械が代わりに重量挙げをしてくれるようなもの」と例え、人間の数学的理解が弱まる危険性を警告しました。また、OpenAIの役割を「荒野のガイド」に例え、「隠れた滝への道を示すことは価値があるが、一度道が示されると、人々は他の道を探そうとしなくなる」と述べています。

一方で、数学者の役割が完全に不要になるわけではありません。ニューヨーク・タイムズは、AIシステムが問題を解く過程で、数学者が重要なアイデアをエージェント間で伝達する役割を果たしたと報じています。OpenAIの研究者ダン・ロバーツ氏は、「私たちの役割は、異なる群れの間で花粉を運ぶマルハナバチのようなものだ」と表現しています。今後は、AIと人間の協業体制が模索されると同時に、AIが生成した証明の検証方法や、AIの研究成果に対する著者名の扱いなど、新たな研究倫理の枠組みが必要になるでしょう。また、今回の成功を受けて、残るミレニアム問題（リーマン予想、P対NP問題など）にも同様の手法が試みられる可能性が高く、数学界は新たな時代の幕開けを迎えようとしています。