OpenAI says internal model solved Navier-Stokes, surpassing GPT-6 Astra

今井翔太 / Shota Imai @ImAI_EruelOriginally posted 2026.09.09

Open original on X

9月からその解決をめぐって怪情報（先にAnthropic、他の数学者が解いた等）が流れていた、ミレニアム賞問題であるナビエ・ストークス方程式問題の解決ですが、本当に解決できたらしいとOpenAIから発表がありました（Leanの形式証明あり）。 GPT-6 Astraではなく、それすら上回る内部モデルで解いたとのことですが、これは私が想像していたよりも、差が顕著で、あれほど我々が騒いでいるGPT-6を大きく超えるモデルを既に持っているのは間違いなさそう。 以下メモ。 ・ナビエ・ストークスをAnthropicのモデルが解決したらしいという噂の後からOpenAIが後追いで初めてみたところ本当の解けてしまった ・証明のための1万体近くのマルチエージェントシステムを構築し、88時間で解けた ・解決過程では、エージェントは270万件のメッセージを送信し、約1300億個の出力トークンを使用 ・解決のためのAI処理では数百万ドルの費用がかかった

This post quotes another post: “OpenAI says it solved the Navier-Stokes Millennium Prize problem”