OpenAI、AI生成のナビエ–ストークス方程式ブローアップ証明を公開
OpenAIは、滑らかで外力を受ける三次元ナビエ–ストークス流に有限時間特異点が発生し得ると主張する形式化済みの証明を公開した。
目次 · 12
OpenAIは、有限時間内に速度が無限大となる三次元流体流を構成することで、ナビエ–ストークス方程式の存在と滑らかさに関するミレニアム懸賞問題を解決したと主張する166ページの証明を公開した。
同社は通常の数学論文に加え、各ステップが明示的に記述された定義と仮定から従うかを検査する証明支援系Leanで記述された形式化も公開した。OpenAIによれば、この証明はGPT-6 Astraを「大幅に上回る能力」を持つ未公開の内部モデルにより、約10,000の並列エージェントを用いて生成されたという。
この結果は、Clay Mathematics Instituteにまだ受理されておらず、ミレニアム懸賞に必要な査読プロセスによる検証も完了していない。したがって9月9日時点では、公式に確定した定理ではなく、公開された解決案として説明すべきである。
一、提案された証明が示すこと
ナビエ–ストークス方程式は、空気や水などの粘性流体の運動を記述する。三次元では、滑らかな初期条件から常に将来にわたって滑らかな解が得られるのか、それとも特異点が形成され得るのかを、数学者たちは長年にわたり証明できていない。
OpenAIの論文は後者の道を取る。その主要定理は、任意の正の粘性係数について、滑らかな外力と、速度ゼロから始まり時刻 \(t=1\) に無限大となる解が存在すると述べている。流れは固定されたコンパクト領域内に空間的に閉じ込められ、特異点に近づく間も総運動エネルギーは一様に有界に保たれる。
これは、コンピュータシミュレーションが不安定になったという主張よりも強く、より具体的な主張である。論文は、初期状態、加えられる力、特異点前の発展がすべて滑らかであるにもかかわらず、流体の最大速度が発散する解析的構成を主張している。
外力の使用は重要である。Clay Mathematics Instituteによる公式の問題設定は、この問題を解決するための受容可能な経路を4つ示している。選択肢AとBは、通常の三次元空間および周期領域において、それぞれ外力なしの大域的滑らかさを求める。選択肢CとDは滑らかな外力を認め、それら2つの設定における反例を求める。
OpenAIは \(\mathbb{R}^3\) における選択肢Cを確立したと主張する。構成された速度と圧力はコンパクトな空間台を持つため、論文は同じ構成が選択肢Dで要求される周期的反例も与えるとしている。
したがって、この結果は通常の流体流のすべてが特異化するとは主張しておらず、任意の乱流に対する閉形式解を与えるものでもない。懸賞問題の記述が明示的に許容する条件の下で、数学モデルが破綻し得ることを示す、特定の滑らかな外力と流れを構成している。
二、有限時間特異点をどのように構成するか
証明の中心的な対象は、回転しながら軸方向に伸長し、原点の周囲で収縮する軸対称渦である。特異時刻が近づくにつれて、流体は内向きにらせん運動し、その角速度および軸方向速度は増加する。
残り時間を \(\tau=1-t\) と書くと、論文は渦核の半径方向スケールをおよそ \(\tau^{1/2}\) に比例させ、軸方向スケールはこれよりわずかに遅く収縮させる。その特徴的な角方向および軸方向の速度は、およそ \(\tau^{-1/2-h}\) として増大する。ここで \(h\) は \(1/100\) 未満の小さな正のパラメータである。
急速化する運動は、ますます小さくなる体積に閉じ込められる。構成によれば、渦核の運動エネルギーは \(\tau^{1/2-3h}\) に比例し、許容される \(h\) の値ではゼロに近づく。最大速度と総エネルギーのこの分離により、この証明はClayの問題設定における有界エネルギー条件を破ることなく、無限大の速度を生じさせる。
収縮する渦を作るだけでは十分ではない。任意の速度場と圧力場に対して、ナビエ–ストークス方程式が成り立つような外力を単に定義することはできるが、その力自体が特異時刻に発散する可能性がある。そのような構成は、問題が要求する滑らかな外力という条件を満たさない。
OpenAIの提案解は、渦核を囲む環状領域に局在化した振動パルスによってこの問題に対処する。パルスは背景せん断からエネルギーを抽出し、非線形の運動量フラックスを生成する。2つのパルス群は、その平均効果が、収縮する背景渦が本来必要とする外力の特異部分を相殺するように配置される。
追加の補正によって残りの誤差を抑え、粘性拡散に支配される外部流によって、構成を空間的に滑らかに切り落とせるようにする。主張されている最終結果は、速度場が発散する一方、外力として現れる残差が特異時刻を越えて滑らかに延長されるというものである。
三、10,000エージェントによる研究プロセス
OpenAIによれば、名称未公表の内部モデルの訓練は2026年8月28日に始まった。9月1日、2つのミレニアム懸賞問題で進展があったとのうわさを聞いた後、研究者はClayの問題群で未解決のすべての問題と、いくつかの関連する問いにエージェント群を割り当てた。
エージェントはキャッシュされたインターネットのバージョンを読み、コードを実行し、グループ内で情報を交換できた。別々のグループには、ナビエ–ストークス問題の異なる版が与えられ、大域的滑らかさと有限時間破綻の両方の選択肢が含まれていた。
中間結果が探索の方向を変えたと報じられている。粘性を持たない理想化された流体を記述する非粘性オイラー方程式の正則性問題について、ほぼ100のエージェントが約50時間にわたり作業した。これらのエージェントが有限時間ブローアップ構成案を生成した後、OpenAIは粘性を持つナビエ–ストークス問題により多くのリソースを振り向け、新しいグループにオイラー方程式の結果を提供した。
OpenAIはCodexも用いて、有用な中間的知見を統合し、グループ間に流通させた。同社によれば、ナビエ–ストークス方程式の成功した構成は、最初のエージェントを開始してから約88時間後の9月5日に生まれた。
ナビエ–ストークス方程式への取り組みでは、270万件のエージェントメッセージと約1,300億の出力トークンが生成された。プロジェクト期間中に試みられた数学問題全体では、システムは490万件のメッセージと約3,000億の出力トークンを生成した。OpenAIの幹部は別途Axiosに対し、計算コストは数百万ドルに上ったと語っている。
生成モデルは公開されておらず、外部の研究者が実験を直接再現することはできない。GPT-6 Astraは、その後の形式化および検証段階で使われ、OpenAIによればさらに17時間を要した。証明を最初に見つけたモデルはGPT-6 Astraではない。
四、Leanによる形式化が確定すること、確定しないこと
OpenAIはLean 4のソースコードをApache 2.0ライセンスの下で公開している。リポジトリにはナビエ–ストークス方程式とオイラー方程式の両方の結果に対する形式化が含まれ、Lean 4.34.0-rc2、Mathlib、Lakeを用いたビルド手順が提供されている。
機械検証済みの証明は、Leanが形式的議論を厳密な命題に対して型検査することを求めるため、提出物を実質的に強化する。長い自然言語による導出では見えにくくなり得る論理ステップの欠落を検出でき、他の研究者も公開ファイルをダウンロードして再ビルドできる。
ただし、形式的検証だけで、形式定理がミレニアム懸賞問題の記述で意図されるあらゆる条件を捉えていることまでは確立されない。専門家はなお、定義、仮定、インポートされた結果、および166ページの解析的議論とLeanの命題との対応を検査する必要がある。独立した専門家は、数学的構成が主張どおりに振る舞うかも評価しなければならない。
Clay Mathematics Instituteは、解決案を直接提出で受け付けていない。同研究所の規則では、解はまず適格な出版物に掲載され、少なくとも2年が経過し、世界の数学コミュニティにおいて一般的な承認を得てから、同研究所が検討する。
OpenAIは100万ドルの賞金を請求する意図はないとしている。この判断によって検証プロセスが短縮されることも、同社の発表が制度上の承認に変わることもない。
五、並行研究と未解決の来歴に関する問題
OpenAIによれば、9月1日の取り組みのきっかけとなったうわさは、後にNYU教授のTristan BuckmasterとAnthropic研究者のLevent Alpögeに結び付くものだった。両者の並行研究は、OpenAIが公開した粘性ナビエ–ストークス方程式の結果ではなく、外力を受けるオイラー方程式および関連する流体系における有限時間ブローアップに関するものだった。
OpenAIによると、ナビエ–ストークス方程式の証明とLeanによる検証は9月6日に完了した。同社は、両者もナビエ–ストークス問題を解いている可能性があると考え、優先権を認めながら出版を調整することを提案するため、BuckmasterとAlpögeに連絡したという。OpenAIはその後、両者の結果が外力を受けるオイラー方程式を扱うものだと知ったとしている。
Buckmasterは、外部プロジェクトに関する知識がOpenAIを同じより広範な研究方向へ急がせたのではないかと公に疑問を呈し、草稿がCodexを通じて処理されていたことから懸念を示した。OpenAIは、研究者もエージェントも公開前に両者の研究へアクセスしておらず、得られた証明は実質的に異なるアプローチを採るとしている。
それでも同社は、OpenAI製品の利用から得られた匿名化データが以前にモデル訓練へ寄与していた可能性を完全には排除できないと述べている。現在、内部モデルが両者の草稿を再現したことを示す公開証拠はなく、Buckmasterも自身のデータが利用されたかを知っているとは主張していない。
この出来事は、AI支援研究における具体的なガバナンス上の問題を生じさせる。未公開研究にホスト型モデルを使用する科学者は、入力が保持されるのか、訓練に使われるのか、提供者に見えるのかを判断できなければならない。同じ提供者が競合する研究者としてはるかに大規模なエージェントシステムを展開できる場合、技術的なデータ制御と監査可能な来歴は、単なる製品プライバシー設定ではなく、科学的な功績評価の一部となる。
よくある質問
ナビエ–ストークス方程式のミレニアム懸賞問題は公式に解決されたのですか？
いいえ。OpenAIは解決案を公開しましたが、Clay Mathematics Instituteが求める出版、待機期間、一般的承認の要件は満たしていません。
この証明は、通常の水が無限の速度に達し得ることを示していますか？
いいえ。慎重に設計された滑らかな外力を持つ、特定の数学的流れを構成しています。無限速度は連続体方程式の破綻を示すものであり、物理的な流体が文字どおり無限に加速するという予測ではありません。
GPT-6 Astraが証明を見つけたモデルですか？
いいえ。OpenAIは、この発見をGPT-6 Astraより高性能な未公開の内部モデルによるものとしている。Astraは17時間のLeanによる形式化および検証段階で使用された。
研究者は結果を検査できますか？
はい。OpenAIは166ページの論文とLean 4による形式化を公開した。ただし、内部モデルと完全なエージェントインフラは公開再現可能ではない。
この証明は、外力ありと外力なしのどちらのナビエ–ストークス方程式に関するものですか？
滑らかな外力を使用している。これはClay Mathematics Instituteの公式問題文における選択肢CおよびDで認められている。
参考ソース
Share