OpenAI、ナビエ・ストークス Millennium Prize 問題の解決策を発表

TL;DR

OpenAIは、内部のAIシステムが厳密な解析的証明（および Lean による形式化）を生成し、滑らかな3次元非圧縮性ナビエ・ストークス流が有限時間内に特異点を形成し得ることを示し、これによりナビエ・ストークス存在と滑らかさの Millennium Prize 問題を解決したと発表しました。

問題とその重要性

ナビエ・ストークス方程式は、連続体に適用されるニュートンの第2法則を用いて流体の運動をモデル化します。密度が一定の3次元非圧縮性流体において、90年間にわたる未解決問題は、滑らかな初期データが特異点へと進化し得るか、つまり、粘性減衰があるにもかかわらず、有限時間内に速度が発散（blow up）するかどうかでした。肯定的な回答は、連続体近似の根本的な崩壊を証明することになり、Clay Mathematics Institute の Millennium Prize 問題の最初の解決となります。

発表された結果

OpenAIのシステムは、滑らかで静止状態にある流体が、滑らかな外力を受けることで、全運動エネルギーが有限に保たれたまま、有限時間内に特異点を形成し得ることを証明しました。この証明は、Millennium Prize の公式な定式化におけるステートメント「C」および「D」を確立し、以下を確認しています：

  • ナビエ・ストークス力学は、有限時間内に非有界な速度を生み出す可能性がある。
  • 特異点（blow-up）は、内側に渦巻き、軸方向に引き伸ばされる渦によって発生し、それは引き締まるスパゲッティの麺のように見える。
  • 方程式のすべての項（加速度、圧力勾配、運動量転送、粘性）は、非常に大きくなるものの、正確に打ち消し合い、滑らかな外力を維持する。

発表には、完全な記述と、Lean 形式の定理証明器によるマシンチェック済みの形式化が伴っています。

証明の発見方法

モデルのトレーニングと展開

  • 28 August 2026 以降、OpenAIは、数学において以前のベンチマークを上回り、GPT-6 Astra の能力を超越する新しい内部モデルをトレーニングしました。
  • このモデルは継続的なトレーニングの過程に継続しており、取り組みの過程を通じて性能が向上し続けています。

マルチエージェント評価フレームワーク

  • 1 September 2026 に、Millennium problems が解決されたという噂が流れたことを受け、OpenAIはすべての未解決問題に対する調整されたマルチエージェント評価を開始しました。 Millness problems のエージェントは、内部通信を行うグループに組織化され、各グループは問題文の異なるバリエーション（例：証明のためのナビエ・ストークス版「A/B」、反証のための「C/D」）を受け取りました。
  • ナビエ・ストークスへの取り組みには、約 10,000 個の同時実行エージェント が関与しました。
  • エージェントはツールへのアクセス権を持っていました：キャッシュされたインターネット閲覧、コード実行、および後にアップグレードされたモデルバージョン。
  • Euler regularity 問題（外力なしの blow-up）における初期の成功の後、リソースはナビエ・ストークスへ再配分されました。

ワークフローとリソース

  • エージェントはナビエ・ストークスを解決する際、2.7 million messages と ≈130 billion output tokens を交換し、生成しました。
  • 解決策は 5 September 2026 に、最初のエージェントが起動された約 88 hours 後に現れました。
  • Lean による形式検証は、GPT-6 Astra を使用して追加の 17 hours を要しました。
  • すべての試行された問題に対して、システムは 4.9 million messages と ≈300 billion tokens を生成しました。

並行作業と帰属

OpenAIは、自身の証明を完了した後、Levent Alpöge (Anthropic) と Tristan Buckmaster (NYU) による並行した取り組みについて知りました。外部チームは、ナビエ・ストークスではなく、forced Euler blow-up 問題を解決したものでした。OpenAIは、共同発表を行うために連絡を取り、プロンプトログを共有し、これら2つの結果が異なるものであることを確認しました。

数学とAI研究への影響

  • 数学的影響 – この証明は流体力学における中心的な問いを解決し、ナビエ・ストークス方程式が有限時間内に well-posed でなくなる可能性があることを確認しました。これは、タービュランス（乱流）の研究、数値シミュレーションの保証、および連続体力学の基礎に関する理論的研究を再構築します。
  • AI研究への影響 – 大規模なマルチエージェントAIシステムが、査読レベルの数学的発見を、マシンチェック済みの形式的証明を生成できることを証明しました。通信の規模（数百万のメッセージ、数千億のトークン）は、自動化された発見の新しいパラダイムを示唆しています。
  • 責任と今後の方向性 – OpenAIは、100万ドルの Millennium Prize を受け取る権利を主張するものではないとし、このようなシステムを問題を解決する制御可能で、説明責任があり、人間の価値観に整合（aligned）していることを強調しています。組織は、将来の能力向上ペースを制御するために、モデルの推理プロセスを研究する計画です。

参考文献

Sources