OpenAIは2026年9月8日、未公開の内部モデルがミレニアム懸賞問題の一つであるナビエ–ストークス方程式の存在と滑らかさ問題を解決したと発表した。証明は、滑らかに始まった3次元非圧縮流体が有限時間で特異点（速度が発散）に至り得ることを示し、公式問題文のCおよびDを満たすとする。解析的証明に加え、Leanによる形式化も公開した。
背景には、8月28日から訓練中の内部モデルがある。同社はGPT-6 Astraより大幅に高性能だと位置づけ、9月1日から複数の未解決問題にマルチエージェントを投入した。解決に至ったグループは最大で約1万エージェントを並行させ、初回起動から約88時間後の9月5日に結果を得た。Lean形式化はGPT-6 Astraでさらに17時間かかった。ナビエ–ストークス分だけで約270万通のメッセージと約1300億出力トークンを消費した。
エンジニアへの含意は二つある。一つは、長時間・大規模なエージェント協調が、単なるコーディング補助を超えて研究級の探索に使える段階に入ったこと。もう一つは、成果物をLeanで機械検証する流れが、AI生成の正しさを人間レビューだけで支える限界を補う実務手段になりつつあることだ。同社はミレニアム賞の請求はしないとし、並行して別チームが扱っていた強制Euler問題の優先権も認めている。