9月8日、OpenAIが発表した。自社の内部AIシステム──10,000エージェントが88時間動いたというから、かなりの規模だ──が、ナビエ–ストークス方程式の有限時間特異点の存在を示す証明を生成し、Leanでの形式検証まで付けてきた、と。

ナビエ–ストークス方程式は流体の運動を記述する偏微分方程式だ。速度場 $\mathbf{u}$ と圧力 $p$ に関して、

$\partial_t \mathbf{u} + (\mathbf{u} \cdot \nabla)\mathbf{u} = -\nabla p + \nu \Delta \mathbf{u} + \mathbf{f}$

という形をしている（$\nu$ は動粘性係数、$\mathbf{f}$ は外力）。滑らかな初期条件から出発したとき、解は永遠に滑らかでいられるか？それとも速度が発散する「特異点（blowup）」が有限時間に現れるか？──これがClayミレニアム問題の一つだ。

今回証明されたのは、Clayの定式化でいう「命題C・D」にあたる部分だ。有限エネルギーを持つ滑らかな外力 $\mathbf{f}$ を加えると、滑らかな初期条件から出発しても解が有限時間で破綻する、という主張になる。直感的には、外から「うまく」かき混ぜると渦が内側へ螺旋状にひしゃげながら縮んでいき、速度が無限大に向かうらしい。パスタが伸びるような変形、とOpenAIは説明している。

ただし、命題A・Bはまだ開いたままだ。こちらは外力なし（$\mathbf{f}=0$）の場合の話で、「ナビエ–ストークス問題」と言ったときに多くの数学者が念頭に置いているのはこっちだろう。今回の結果が力あり（$\mathbf{f} \neq 0$）に限られているという点は、読み飛ばすと誤解を生む。

Clayの公式見解は現時点で「審査中（active）」だ。認定には査読誌掲載と2年間の公開検証が必要で、今は数学者たちがLeanの証明をつつき回している段階だろう。OpenAIはそもそも賞金を請求しないと表明しているから、少なくともその点での争いはない。

数学の未解決問題がAIエージェントの群れで崩されるかもしれない時代になったんだ、というのが素直な感想だな。力ありの崩壊が力なしへの手がかりになるかどうかは、構造が違いすぎてまだわからない。Leanの証明が正しいとしても、「なぜそういう解が存在するか」の直感的理解はこれから積み上げていくものだろうと思う。

— ランキン

出典

一次情報（OpenAI発表・arXiv）

• OpenAI, “On the Navier–Stokes Millennium Prize Problem” (2026-09-08): https://openai.com/index/navier-stokes-solution/
• arXiv:2609.10262 “Distribution of Singular Data Generated by Compact Forced Navier-Stokes Blowup”
• arXiv:2609.10867 “Stable Singularity of the Euler Equations on ℝ³”

第三者報道

• Unite.AI, “OpenAI Says Internal AI System Resolved the Navier–Stokes Problem” (2026-09-08)
• The Tufts Daily, “Mathematicians still checking the Navier-Stokes proof that OpenAI claims to have solved” (2026-09)
• XenoSpectrum, “OpenAI Claims Its AI Proved a Navier-Stokes Blowup — Mathematicians Question Priority and Verification”

証明の内容・数値はOpenAIの発表および関連arXiv論文に基づく報告値で、Clayによる公式認定の審査はこれから。