2026年9月8日、OpenAI が ナビエ・ストークス方程式の存在と滑らかさ について、「解いた」と発表しました。クレイ数学研究所のミレニアム懸賞問題のひとつです。
証明は社内の未公開モデルが出したもので、解説文と Lean による形式化の両方を公開しています。賞金の100万ドルは請求しない、とも書いてあります。
Astra の週に続いてまた大きな話です。ただ、ここは「すごいニュース」と「まだ決着していない話」を分けて読んだほうがいいと思います。
問題を、ざっくり言うと
ナビエ・ストークス方程式は、水や空気のような流体の動きを連続体として書く式です。飛行機の設計や天気予報でも出てくる、古典的な道具です。
未解決だったのは、ざっくり言うとこういう問いです。三次元で、密度が一定の非圧縮流体が、最初は滑らかに動き始めても、有限時間のうちに速度が無限に発散する「特異点」を持ち得るか。現実の流体は無限には速くならないので、もし方程式だけがそうなるなら、モデルとしての限界が露わになる、という話でもあります。
OpenAI の主張は、「滑らかな外力を加えつつ、エネルギーは有限のまま、最初は静止していた流体が有限時間で特異点を持つ」ことを示した、というものです。クレイの公式設定のうち、破綻側の主張「C」（と「D」）を確立した、と説明しています。渦が内側に巻き込みながら細長く伸びていき、速度は発散するのにエネルギーは有限、というイメージです。
どうやって出したと言っているか
公式の時系列はこうです。
8月28日から、Astra よりかなり強いという社内モデルの学習が始まっていた。9月1日、「ミレニアム問題が二つ解けた」といううわさに触発されて、未解決の懸賞問題などにエージェント群をぶつけた。ナビエ・ストークス側で結論に達したのは9月5日ごろで、初動から約88時間。Lean 形式化に Astra でさらに約17時間。ナビエ・ストークス関連だけで、エージェントのメッセージは約270万通、出力トークンは約1300億規模、とも書かれています。並行エージェントはおおよそ1万体規模。計算コストは数百万ドル規模、という説明も出ています。
途中で、粘性を落としたオイラー方程式のほうでも未解決寄りの結果が出て、そこからナビエ・ストークスに資源を寄せた、ともあります。群れで探索して、途中結果を Codex でまとめ直してまた投げる。Wiki 事件の週に続いて、「エージェントの群れで科学を殴る」構図が、また表に出た感じです。
それでも、すぐ「解けた」とは言いにくい理由
クレイ側は、発表時点では問題を未解決のまま扱っています。数学の大きな結果は、論文が出た瞬間に終わるものではなく、コミュニティの検証に年単位がかかるのが普通です。Lean 形式化は強い材料ですが、「形式化した命題が、クレイの問題文を正しく写しているか」「証明そのものに穴がないか」は、まだ外の目が入り始めたばかりです。
もうひとつ、発表と同じ週に、経緯をめぐる反論も出ています。NYU の Tristan Buckmaster 氏と、Anthropic 所属（個人研究として）の Levent Alpöge 氏は、強制項付きのオイラー方程式など関連する結果を先に公開しています。OpenAI 側は「うわさがきっかけだった」「相手の証明やプロンプトは見ていない」「強制／非強制など結果も違う」と書いて、相手の優先を認めつつ自社結果を区別しています。一方で Buckmaster 氏側の声明は、情報の伝わり方や説明の揺れ、著者クレジットの扱いなどを問題視しています。ここは、どちらが正しいかをこの記事で断定する材料はありません。少なくとも「証明の中身」と「誰が先にどの問題へ近づいていたか」は、別の争点として並走しています。
個人開発の目線で見ると
いちばん刺さるのは、能力の話というより「発表の形」です。未公開モデルの能力デモとして、懸賞問題を公開の場に持ち出す。Lean まで添えて再現可能性を上げる。賞金は取らない。科学の成果なのか、モデルの広告なのか、両方でもある。
個人で API を使う側としては、こういう発表を「もう数学は終わった」と読む必要はないです。むしろ、「強いモデルでも、外の検証が終わるまでは仮説」と置いておくほうが健全です。手元のコードや証明も、生成したら終わりではなく、テストとレビューが本体、といういつもの話に戻ります。
関連して、同じ週の Alien Mind と Wiki 事件の話 も、エージェントの群れが外の世界に触れたときの監視の話としてつながっています。
これから起きそうなこと
ここから先は、予想です。当たる保証はありません。
まず、数か月〜年単位で、数学コミュニティによる独立検証が続くと思います。Lean のリポジトリをビルドして読む人、クレイの問題文との対応を厳密に洗う人、別証明や反例探しをする人。ここで穴が見つかれば「解けた」は後退し、耐えれば「AI が到達したミレニアム級」として教科書に載る日が来るかもしれません。どちらに転んでも、発表当日では決まらないはずです。
次に、クレジットと優先の争いが、AI 時代の標準装備になる気がします。うわさを聞いて資源を寄せる、途中結果をエージェント群で増幅する、人間の数学者は論文と声明で応酬する。今回の対立が例外というより、これから何度も見る型かもしれません。ラボと大学のあいだに、事前の共有ルールや発表の作法が必要だ、という議論は強まると思います。
三つめは、Lean のような形式化が「AI の数学発表の通行証」になっていくこと。人間向けの長い解説だけだと、外が追えない。機械検証可能な成果物があるかどうかが、信頼の最低ラインになっていく。逆に、形式化が通っても問題設定の写し方が違う、という新しい種類の論争も増えそうです。
四つめは、科学発見そのものがエージェント運用の問題になること。1万体、数百万ドル、数日。個人開発のスケールではないけれど、「群れをどう隔離し、途中結果をどう混ぜ、外部への読み書きをどこまで許すか」は、Wiki 事件と同じ設計問題です。能力が上がるほど、この運用の失敗コストも上がります。
最後に、未公開の強いモデルの「予告」として、この手の発表はこれからも出ると思います。Astra のあと、さらに上のモデルが学習中、という物語は止まらない。読者側にできるのは、見出しの温度を一段下げて、一次情報と検証の進捗を別々に追うことくらいです。
ぼくとしては、証明が本物かどうかより先に、「本物だと主張するときの作法」がまだ追いついていない感じがします。そこが追いつくかどうかが、このニュースの本当の続きだと思います。
一次情報: OpenAI On the Navier–Stokes Millennium Prize Problem