AIはナビエ–ストークスを解いたのか？OpenAIの主張が実際に示すもの

OpenAIは、同社の内部システムのひとつがクレイ研究所のミレニアム懸賞問題の一つを突破したと主張している。これは驚くべき話であり、これまでで最大級のAI支援による数学的発見となり得る。しかし同時にもう一つの物語がある。誰に本当の功績があるのかという争いだ。

実際に起きたことはこうだ。OpenAIは、競合ラボのモデルが数学で最も有名な未解決問題の一つで進展を遂げたという噂を聞いた。その噂がきっかけで大急ぎの開発が始まった。問題に取り組むため、OpenAIは1万のAIエージェントを並列稼働させ、88時間の計算資源と累計約2,250万ドルのコストを投じた。そして今、彼らは真の証明が得られたと主張している。ではその100万ドルの賞金は？OpenAIは請求するつもりはないという。（資金は必要ないのかもしれない。）

手早い結論: ナビエ–ストークスに関するクレイの100万ドル懸賞は、まだ獲得されていない。OpenAIが証明したとするのは、滑らかな外力のもとでのブローアップという問題の特定の変種であり、独立した数学者による検証は未了。多くの専門家が理解する完全な問題に合致するかどうかは、実際のところ争われている。

ナビエ–ストークス方程式とは？なぜ100万ドルの価値があるのか？

OpenAIの主張を理解するには、まずナビエ–ストークスがなぜ難しいのかを知る必要がある。

ナビエ–ストークス方程式は、水、空気、血液といった流体の動きを記述する。天気予報、航空機設計、循環器医学の根幹をなす。19世紀に定式化され、実践では驚くほどよく機能する。数学的な問いは、それが常に機能するかどうかだ。つまり、滑らかで挙動の良い解が常に存在するのか、それともこの方程式に従う流体が有限時間で速度が無限大になる特異点を生じ得るのか、である。

この問いは「存在と正則性」の問題として知られ、クレイ数学研究所のミレニアム懸賞問題7題の一つであり、それぞれ100万ドルの賞金がかけられている。今日までに解かれたミレニアム懸賞問題は一つだけで、2003年のポアンカレ予想だ。

なぜこの問題を気にするのか：数学の問題の中には純粋に学術的なものもあるが、これは抽象パズルにとどまらない。あらゆる天気モデル、航空シミュレーション、工学ツールは、これらの方程式が良い振る舞いをすることを前提にしているが、その前提が常に成り立つと誰も証明していない。もし有限時間で解がブローアップし得ると判明すれば、我々が依拠する数学と、それが記述すべき物理系との間に現実のギャップがあることを露呈する。

OpenAIが実際に証明したと主張していること

物語の始まりは数学的洞察ではなく噂だった。サム・アルトマンは、Anthropicのモデルが大きな数学の問題を解いたという話を聞いて取り組みを始めたと認め、Xでこう書いた：「うちのモデルでもできるかどうか、気になった。」

1週間のスプリントは複数のミレニアム懸賞問題に及び、合計で3000億の出力量トークンを消費、試行全体で約2,250万ドルの計算コストがかかった。ナビエ–ストークス問題だけで約1300億トークンと270万件のメッセージを使用。1万のエージェントが9月1日から6日まで並列で動いた。そして——ここが注目点だが——OpenAIは100万ドルの賞金を請求するつもりはないと述べ、この結果を自社モデルの進歩の速さを示す証拠として位置づけた。

ナビエ–ストークスに至る前に、OpenAIのエージェントはまず、無外力のオイラー正則性問題を解決した。約100体のエージェントを用い、約50時間で達成した。より単純なオイラー系で先にブローアップ挙動を確立することで、ナビエ–ストークスへのアプローチを扱いやすくする概念的基盤を築いた。

ここで細部が重要になる。クレイによるナビエ–ストークスの正式な定式化にはA、B、C、Dの4つの選択肢がある。AとBは外力なしでの大域的な滑らかな解の存在を問う（通常の3次元空間または周期領域）。CとDは滑らかな外力項のもとでのブローアップ例を許容する。OpenAIの証明はCとDを標的としており、すなわち外力付きの変種は正式にクレイの問題の一部だ。

とはいえ、多くの数学者はAとBこそがより深い問いだと考えている。というのも、外力は外部から加えるもので、ブローアップを起こすためにそれを選ぶからであり、方程式が自発的に破綻し得るかどうかを問うのとは異なる。外力を取り除いてAとBに迫れるかはまだ不明で、その問いはなお大いに未解決だ。示された内容と、多くの専門家が問題の核心とみなすものとの間のギャップこそが、ここでの実質的な要点である。

功績を誰が得るべきかをめぐる争いの内側

何が実際に証明されたかを整理したうえで、人間ドラマを振り返ると、当事者の応酬から一歩引けば筋道は明快に見える。

8月15日、Tristan BuckmasterとAnthropicのLevent Alpögeは、ナビエ–ストークスの摩擦なしの近縁であるオイラー方程式が滑らかな外力のもとでブローアップし得ることを証明し、Diego CórdobaとLuis Martínez-Zoroaが展開したアプローチを拡張した。彼らの結果は、ブシネスク方程式や非圧縮性多孔質媒体方程式にも及んだ。この研究にはおよそ1年を要した。未公刊で、進行中で、静かに積み上げられた。そして噂が広まった。

OpenAIのスプリントは、後にAlpögeとBuckmasterに結び付く噂を聞いた後の9月1日に始まった。Buckmasterは、自身の研究が同社に届いたと聞き、9月3日にOpenAIへ私信を送っている。9月6日にプロジェクトとLeanによる検証を完了した後、OpenAIは同時公開を提案して連絡を取った。続く展開についてのBuckmaster側の説明はかなり辛辣だ。彼の説明では、出版や著者表記をめぐって圧力を受けたとし、Anthropicに所属するAlpögeを除外する提案さえあったとされる通話の様子が語られている。

Buckmasterは、自身がこの懸念を公表する意向を示した際に「なぜ自分のキャリアを台無しにするのか？」や「優しくしてほしくないなら、優しくする必要はない」と言われたと主張している。Bubeckはこれらの主張を「虚偽で扇動的」と評した。OpenAIは、非公開のプロンプトや未公表の研究へのアクセスを否定している。

ここで誰が正しいかを裁定するつもりはない。いずれも私的な会話に基づく食い違う証言で、細部は本当に不明だ。ただし、この構図は白黒がつかなくても名指しに値する。独立研究者が1年かけた未公刊の仕事が、潤沢な資金を持つラボが数百万ドルのスプリントを走るための資源となり、今やその独立研究者が自身のキャリアについて問い詰められている、という構図である。

AIが書いた数学の証明は信頼できるのか？

功績をめぐる争点はさておき、より難しい技術的問題が残る。証明は耐えうるのか？

ナビエ–ストークスはミレニアム懸賞問題であり、証拠の基準は公開され、検証可能な証明だ。OpenAIは9月8日に166ページの原稿とLeanでの形式化を公開し、いずれも一般に精査可能となっている。独立の査読はまだ行われていない。

Leanに不慣れなら、これは形式的証明検証システムで、各論理ステップが前のステップから正しく導かれているかをチェックするものだと知っておいてほしい。Leanで検証された証明は、もっともらしく見せかけることはできない。通れば論理の連鎖は健全だ。ただしLeanは、そのアプローチが概念的に意味を持つか、専門家が理解する問題設定に応えているか、人間の数学者が真の解として認めるか、までは教えてくれない。

おそらく現存する最も著名な数学者であるTerence Taoは、OpenAIの発表前の9月5日に、このダイナミクスについて警鐘を鳴らした。当時流れていた噂に応じてMathstodonに記した投稿で、これは仮説的懸念だと断りつつ、「ナビエ–ストークスの正則性のように歴史的に生産的で動機づけとなってきた問題を、実際に分野を前進させ次世代の問いと研究者を育てる代わりに、単なるベンチマーク進捗を宣伝するバイラルなSNS投稿に変えてしまうことには相当の機会費用がある」と述べた。発表後、TaoはBuckmaster–Alpögeの仕事を「注目すべき偉業」と称え、彼らの議論がLeanで形式化されたことにも言及した。OpenAIの特定の証明主張については、公に支持していない。

なぜこの争いは一つの数学問題を超えるのか

公表も査読もない——ただの噂が、世界で最も資源の豊富なAIラボのひとつを数百万ドル規模のスプリントへと駆り立てるには十分だった。OpenAIはこの結果を最先端システムがいかに急速に進歩しているかの証拠、言い換えればマーケティング資産として位置づけた。これは、上場を控えたベンチマーク実演にミレニアム懸賞問題を用いたということだ。

Axiosは気まずい問いを率直に投げかけた。科学者にAI研究ツールを提供する企業が、その同じ企業力で遥かに大きな資源を動員し、彼らと競合することになったらどうなるのか。BuckmasterとAlpögeは1年の研究期間を通じてOpenAIのCodexを使っていた。研究者が成果へ向けて使うツールを、その研究者を1万倍スケールで上回り得る同じ組織が所有しうる。これは陰謀ではない。現在の構造的特徴であり、OpenAIが何か悪事を働いたかどうかと無関係に、かねてから懸念されてきたシナリオだ。

さらに皮肉な点がある。OpenAIは8月に安全性の懸念から一部のフロンティアRL訓練を一時停止したが、9月には同じ開発プログラムに属する未公開モデルを用い、数学の見出しを狙って88時間フル稼働させた。この対比は不誠実さの証拠とは言えないにせよ、無視できるものでもない。

では、ナビエ–ストークスは解けたのか、そうでないのか？

現時点の本当の状況はこうd:

スプリント型の取り組みは結果を生んだ。だがそれが数学者の意味するところの成果なのかは別問題であり、結論には相応の時間がかかるだろう。