100万ドルの難問の背後にある流体のパズル
飛行機の翼を流れる空気から地球規模の気象システム、そして体内の血液循環に至るまで、流体の動きはしばしば滑らかで予測可能に見えます。19世紀に確立された「Navier–Stokes equations（ナビエ・ストークス方程式）」は、この挙動を記述する数学的基盤です。これらの偏微分方程式は、移動する流体内の力の複雑な相互作用を捉えています。
しかし、数学者を1世紀近く悩ませてきた深遠な問いがあります。それは、完全に滑らかな3次元の流体の流れが、有限の時間内に突然「爆発（blow up）」して「singularity（特異点）」を生じさせることがあるのか、というものです。もしそうであれば、速度や圧力といった特性が特定の地点で無限大になり、解の全体的な滑らかさが期待されるという前提が覆されることになります。
2000年、Clay Mathematics Institute（クレイ数学研究所）はこの未解決問題の重要性を認識し、7つの「Millennium Prize Problems（ミレニアム懸賞問題）」の一つに指定しました。同研究所は、滑らかな解の存在を証明するか、あるいは有限時間での特異点の発生を決定的に示すか、受理された解決策に対して100万ドルの賞金を提供しています。
10,000エージェントによる証明スプリントの内部
OpenAIは、Navierの問題に取り組むために10,000個のAIエージェントからなるマルチエージェントシステムを導入したと報じられています。このスウォーム（群れ）は、証明と反証の戦略を同時に探索しました。エージェントはキャッシュされた研究を検索し、コードを実行し、中間作業を批判し、高度に並列化されたワークフローで動作しました。
OpenAIの報告によると、この集中的なスプリントにより、約270万件のメッセージと1,300億の出力トークンが生成されました。約88時間以内に、システムは「blowup construction（爆発構成）」に収束し、滑らかな流体の流れにおける有限時間での特異点の可能性を示唆しました。これは、問題の全体的な滑らかさという側面に反証するものです。
次の重要なフェーズには「GPT-6 Astra」が関与しました。このモデルは、165ページを超える議論を、形式証明支援系である「Lean」に翻訳するために17時間を費やしたとされています。Leanはすべての論理ステップを体系的にチェックし、AIが生成した議論の数学的厳密さと妥当性を保証します。これは複雑な証明を検証するための極めて重要なステップです。
重要な注釈付きのブレイクスルーの主張
OpenAIのエージェントは、「finite-time singularity（有限時間特異点）」を構築することで、Navier–Stokes解の全体的な滑らかさを反証したと報じられています。彼らのメカニズムは、タフィーを引っ張るように、内側に渦巻く渦が引き伸ばされ集中し、特定の時点で無限の速度に達する様子を記述しています。これは、システムの全エネルギーが有限のままで発生します。
重要なのは、この構成がClay Mathematics Instituteの正式な問題定義で許可されている「smooth external forcing（滑らかな外力）」に依存している点です。しかし、これは外力のない物理的に現実的な流体の流れが、自発的に「爆発」して特異点になるかどうかを直接解決するものではありません。この区別は、現実世界の流体力学に対するこの結果の意味を理解する上で不可欠です。
最初の発見の後、GPT-6 Astraは17時間をかけて、対話型証明支援系であるLeanで165ページの証明を形式化しました。Leanは形式化された導出のあらゆる論理的ステップを厳密に検証できますが、これは直ちに科学的な承認を意味するものではありません。数学者は依然として、基礎となる仮定、結果の解釈、そしてそれが強制力のないNavier–Stokesの爆発（blow-up）というより広範な問題にどの程度関連しているかを精査する必要があります。詳細については、On Navier–Stokes Millennium Prize Problem - OpenAIを参照してください。
OpenAIは、この問題の解決におけるニュアンスを認め、100万ドルの賞金を請求しないと表明しました。この成果は、人間の数学者であるTristan Buckmaster氏とLevent Alpöge氏が開発した手法に基づいており、高度な数学研究における協力的かつ時に論争を伴う性質を浮き彫りにしています。
この記事が気に入ったら、毎朝同じようなものをメールで受け取れます。
1日1通 · 2クリックで解除 · サードパーティのトラッキングなし
功績をめぐる競争は、計算そのものよりも長く続く可能性がある
功績をめぐる競争は、計算そのものよりも長く続く可能性がある
OpenAIの発表直後、優先権をめぐる論争が起こりました。報道によると、OpenAIは数学者のTristan Buckmaster氏とLevent Alpöge氏による進展の噂を聞いた後、内部での取り組みを開始したとされています。ニューヨーク大学（NYU）のBuckmaster氏は、OpenAIの主張の直前に有限時間特異点に関する関連研究を発表していました。
Buckmaster氏は、初期のLLMが生成した証明に対して懐疑的な見解を示し、ある証明を「これまで読んだ中で最もひどい証明」と評しました。一方、OpenAIは、ユーザーのプライベートなクエリを使用したり、研究者の作業を監視して自社の取り組みに利用したりしたことはないと否定しています。LLM支援による発見のデータ整合性は、科学コミュニティにとって依然として重要な懸念事項です。
このエピソードは、科学的プロセスにおけるより広範なリスクを浮き彫りにしています。独立した査読、適切な帰属表示、そして厳密な再現性が、これが永続的な数学的成果となるのか、それともagentic search capabilities（エージェント型検索能力）の驚異的なデモンストレーションに過ぎないのかを決定づけるでしょう。OpenAIは、Clay Mathematics Instituteからの100万ドルの賞金を請求しないと述べており、焦点は金銭的報酬からAI主導の発見における手法と倫理へと移っています。科学コミュニティは、この前例のない計算スプリントの妥当性と影響を評価するため、詳細な報告を待っています。
よくある質問
Navier–Stokes問題とは何ですか？
3次元Navier–Stokes方程式の滑らかな解が常に滑らかなままであるか、あるいは有限時間内に特異点が発生し得るかを問う問題です。
OpenAIはNavier–Stokesミレニアム懸賞問題を解決しましたか？
OpenAIは、滑らかな外部強制力を含むバージョンについて結果を主張しています。この証明には依然として独立した数学的精査が必要であり、その結果が問題のすべてのバージョンを解決するわけではありません。
Leanは何を検証しますか？
Leanは、証明が提示された定義と仮定から導かれるかどうかをチェックします。形式化された作業における論理的なギャップを見つけることはできますが、それ自体でモデルが意図された数学的問題に対処したことを証明するものではありません。
OpenAIは100万ドルの賞金を請求していますか？
報告によると、OpenAIはClay Mathematics Instituteの賞金を請求しないと述べています。