要約
2026年9月8日、OpenAIは内部AIシステム（約1万の並行エージェント、88時間、約1,300億出力トークン）がナビエ・ストークス（Navier-Stokes）方程式の存在性と滑らかさ問題の解を生成したと発表した——三次元非圧縮流体は有限時間内に特異点を発達させうる、という内容。165ページの論証とLean 4形式化証明を公開。本稿執筆時点で、結果は未査読でありClay数学研究所の認定も受けておらず、元の問題との対応関係や成果の優先権をめぐり数学界で議論がある。
背景
ナビエ・ストークス方程式の存在性と滑らかさ問題（Navier–Stokes existence and smoothness）は、Clay数学研究所が2000年に設けた7つの「ミレニアム懸賞問題」の一つで、各問題に100万ドルの賞金が懸けられている。これまで解かれたのはポアンカレ予想（2003年）のみ。流体運動を記述するナビエ・ストークス方程式の解が常に滑らかで大域的に存在するか問う問題で、約90年にわたり数学界を悩ませてきた。
2026年9月8日、OpenAIは公式サイトで「On the Navier–Stokes Millennium Prize Problem」と題する声明を発表し、内部モデルシステム（約1万のAIエージェントが協働）がこの問題の解を生成し、三次元非圧縮流体が有限時間内に特異点（有限時間爆発）を発達させうることを証明したとし、証明文稿とLean形式化証明を同時公開した。
1. OpenAI声明の主要数字
| 項目 | 数字 |
|---|---|
| 開始 | 2026年9月1日（2つのミレニアム問題が解決されたという噂を聞いた後に開始） |
| 解答 | 2026年9月5日、最初のエージェント起動から約88時間後 |
| Lean形式化 | GPT-6 Astraを用いてさらに約17時間 |
| エージェント数 | 約10,000の並行協働エージェント |
| メッセージ・トークン | NS特化で約270万メッセージ・約1,300億出力トークン。全挑戦問題合計で約490万メッセージ・約3,000億出力トークン |
| 公開資料 | 165ページの解析的証明＋Lean 4形式化ファイル（ダウンロード・検証可能） |
| 使用モデル | 未公開の内部モデル。OpenAIはGPT-6 Astraより明らかに高性能とし、学習は継続中 |
新浪科技・France 24などの報道（OpenAIの説明に基づく）によると、計算コストは数百万ドルに上る。
2. 主張された結果の技術的内容
論文の結論：任意の正の粘性について、静止状態から始まる三次元非圧縮流体で、滑らかな外力の下で局所速度が有限時間内に非有界となり、同時に全運動エネルギーが有界に保たれるものを構成できる——つまり滑らかな初期値と滑らかな外力の下でNS方程式の解は有限時間内に特異点を形成し、「解は常に滑らかで大域的に存在する」という予想方向を否定する。証明は「渦（vortex）」の構成を核とする（Quanta Magazineの図では黄色が速い回転、青が遅い回転を示す）。
表現上の注意点：Forkast Newsは、Clayミレニアム賞の公式基準は外力なし（unforced）版のNS方程式に基づくのに対し、OpenAIの結果は外力あり（forced）版を対象としており、両者の対応関係は数学界のさらなる確認が必要と報じている。
3. 数学界の反応と優先権をめぐる論争
Quanta Magazineは、この結果がさらなる検証に耐えれば、AIモデルがこれまでに得た中で最も重要な数学的証明となり、数学者が難問に取り組む方法の根本的転換点になる可能性があると報じる。一方、NYU教授Tristan Buckmaster氏とAnthropicの数学者Levent Alpöge氏は、OpenAIの発表の約12時間前にいくつかの密接に関連する問題の解決を発表した。両チームともマドリード数学科学研究所のDiego Córdoba氏とCUNEF大学のLuis Martínez-Zoroa氏の解析手法に大きく依存している。プリンストン大学のCharles Fefferman教授（ミレニアム問題の公式記述の執筆者）は「英雄はCórdoba氏とMartínez-Zoroa氏だ」と述べ、Buckmaster氏はMartínez-Zoroa氏はフィールズ賞に値すると述べた。
優先権論争：Buckmaster氏は、自身のチーム（Alpöge氏と）が約1年間この問題に取り組み、8月15日に突破口を得たと述べた。OpenAI側は、取り組み開始は9月1日の噂を聞いた後であり、相手の成果をいかなる手段でも見ていないとし、特定ユーザーデータへのアクセスも否定した一方、「製品利用に由来する非識別化データがモデル改良に寄与した可能性を完全には排除できない」と認めた。OpenAIはBuckmasterチームとの同時発表と優先権の承認を申し出たが、Alpöge氏は（雇用主との競争関係を理由に）共著者に招待されなかった。メディア報道によると、OpenAIは賞金を申し立てない方針。
4. 意義と展望
結論が成立しClay数学研究所が認定すれば、NS問題は2番目に解決されたミレニアム問題となり、AIシステムが主導した初のミレニアム級証明となる。この出来事は3つの新たな論点を浮き彫りにする：(1) 形式化検証（Leanチェック）はAI数学証明の信頼性を高めるが、「証明しているのが元の問題そのものか」の判定を代替しない；(2) 「噂主導」の研究競争——問題が解決済みと知るだけで、先を争う大規模な計算資源投入が誘発されうる；(3) AI訓練データと研究成果の優先権の境界問題。
よくある誤解と補足
- 「OpenAIがミレニアム問題を解いた」は発表であって確定事実ではない。2026年9月9日時点で結果は未査読であり、Clay数学研究所の認定もない。見出しの「解決」はOpenAIの一方的な声明と理解すべき。
- Lean検証は問題解決を意味しない。Leanが検証するのは証明テキストの内部整合性であり、結論が元の問題（外力なし版など）と正確に対応することを自動的に保証しない。
- この結果に直接的な工学的帰結はない。数学的特異点は理想化された連続体仮定の下で成立し、現実の流体は分子からなる。結果は工学流体力学の実践を直接変えない。
まとめ
OpenAIは2026年9月8日、内部モデルと約1万のAIエージェントが88時間でナビエ・ストークス方程式の存在性と滑らかさ問題の解を生成し、165ページの論証とLean 4形式化証明を添えて発表した。この発表は、結果の有効性、元の問題との対応関係、成果の優先権をめぐって数学界で広範な議論を引き起こした。本稿執筆時点で結果は未査読・Clay数学研究所の認定前であり、最終的な位置づけは今後の検証を待つ。