OpenAIがナビエ・ストークス問題を解決と発表、1万エージェント並列とクレジット論争

OpenAIがミレニアム懸賞問題の一つ、ナビエ・ストークス方程式の存在と滑らかさの問題を解いたと発表し、賞金は請求しない方針を示した
証明には約1万のエージェントを同時実行し、数百万ドル規模の費用がかかった一方、所要日数は数日だったとされる
その前日に簡略版の方程式で成果を公表していたNYUのTristan Buckmaster氏が、先行研究の扱いを巡る経緯を文書で公開した

何が発表されたのか

OpenAIは、クレイ数学研究所が掲げるミレニアム懸賞問題の一つであるナビエ・ストークス方程式の存在と滑らかさの問題について、AIエージェントが証明に到達したと発表しました。同社は賞金100万ドルを請求しない方針を明らかにしています。

この問題は流体の運動を記述する方程式が、ある条件下で解が滑らかさを失う、いわゆる特異点を生じるかどうかを問うものです。物理現象と直結しながら100年以上決着がついておらず、数学における未解決問題の象徴的な存在として扱われてきました。

MIT Technology Reviewは、この発表を成果として報じる一方で、証明そのものよりも到達の手段と先行研究の扱いに議論が集中していると伝えています。

約1万エージェントの並列実行

OpenAIによれば、完全な方程式を扱う今回の証明には約1万のエージェントを同時に走らせる必要があり、費用は数百万ドル規模に達しました。逆に言えば、その計算資源を投入できれば所要期間は数日で済んだことになります。

対照的に、NYUの数学者Tristan Buckmaster氏とAnthropicに所属するLevent Alpöge氏は、一般公開されているモデルを使って約1年をかけ、簡略化した方程式が破綻しうることを示していました。両者の差は着想の質ではなく、動員できる計算資源の量にあります。

項目	OpenAI	Buckmaster氏ら
対象	完全な方程式	簡略版の方程式
使用モデル	社内のエージェント約1万を並列実行	一般公開されているモデル
期間	数日	約1年
費用	数百万ドル規模	公表なし

大量のエージェントを並列に動かして探索する手法は、研究開発の現場で広がりつつあります。OpenAI自身も、社内エージェント利用データで研究者1人あたり1日600ドル分の消費という数字を公開していました。

先行研究のクレジット問題

争点になっているのは、OpenAIが発表に至るまでの経緯です。Buckmaster氏はOpenAIの従業員とのやり取りをまとめた文書を公開し、そこで先に自分たちの成果を公表するか、Alpöge氏をAnthropic所属を理由に外したうえで共同研究に加わるか、という2つの選択肢を提示されたと説明しています。

Buckmaster氏は前者を選び、月曜日に簡略版の証明を公表しました。OpenAIが完全な方程式の証明を示したのは、その翌日です。

図1に示したこの経緯に対し、OpenAI側は無断利用を否定しています。最高研究責任者のMark Chen氏はエージェントも従業員も両氏のやり取りの記録にアクセスしていないと述べ、Sébastien Bubeck氏は両氏の取り組みに関する噂を聞いてこの問題に着手したと認めつつ、実際の作業内容は参照していないと説明しました。

数学界が懸念する構造

問題提起は個別の帰属争いにとどまりません。UCLAのTerence Tao氏は、純粋数学の難問は答えそのものが欲しくて設定されるのではなく、人間が解こうとする過程で分野全体を前進させる新しい手法や着想が生まれるからこそ価値があると指摘しています。AIによる方法で早期に解かれると、その過程が損なわれ、数学全体の進歩にとって差し引きでマイナスになりかねないという見方です。

ブラウン大学のJavier Gómez-Serrano氏は、AI企業がどの問題に資金を投じるかは予測できないとしたうえで、その規模の資源を持てる数学者はごく少数だと述べました。難問の解決が、社外に公開されない強力なモデルを抱えるフロンティア企業の領分になれば、個人の研究者は競争の外に置かれます。