OpenAI 称内部模型已解决纳维-斯托克斯方程，强于 GPT-6 Astra

今井翔太 / Shota Imai @ImAI_Eruel原推发布于 2026.09.09

在 X 上打开原推

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

这条是引用着另一条写的：「OpenAI 说解开了纳维-斯托克斯」