1万のAIが88時間かけて解いた証明、ADNOCが託した仕事はそれとは異なる

1万のAIエージェントが88時間にわたって270万件のメッセージをやり取りした末に生み出した証明に対し、ケンブリッジ大学とキングス・カレッジ・ロンドンの研究チームが、「m+4ではなくm+5と記述されている」という一行の相違点を指摘し、原文と整合していないことを発見しました。そして約2か月後、11月2日、同じAIプラットフォームを導入しているアブダビ国営石油会社（ADNOC）は、その証明とは関係なく「油田開発計画を数か月から数時間へ」という成果を期待しています。

読者は2つの事象を並べて「AIが数学的難題を解いたのだから、まもなく油田でも活用されるだろう」と結びつけがちですが、実際には同じ技術を同じやり方で用いているわけではありません。証明はナビエ-ストークスという流体方程式そのものの数学的限界を明らかにする成果であり、ADNOCがエージェントに委ねることになったのは、油田開発計画や原油1バレルの価値算定という業務です。コーネル大学のドナルド・コフ教授（化学工学）は、現時点でこの証明の工学的応用は存在しないと評価しています ¹。同じプラットフォームという接点は存在しますが、その結び付きは証明の数学的結論からではなく、マルチエージェント協働という汎用的な能力から生まれています。

証明が意味すること：流体方程式の崩壊の可能性

ナビエ-ストークス方程式は、水や空気のように連続的に流れる流体の運動を記述する式です。航空機設計、気象予報、血流研究など、流れを計算する必要がある分野で用いられています。OpenAIの発表文によると、ナビエ-ストークス問題（ミレニアム賞問題）の核心は、密度が一定で圧縮性のない3次元流体が滑らかに動き始めても、有限時間で速度が限界なく大きくなる「特異点」が生じ得るかという問いです ²。流体の速度が無限大に達すると、実在する流体ではあり得ない現象となるため、その瞬間に方程式は物質を記述することに失敗します。

OpenAIは当初、静止状態から滑らかな外力を受ける滑らかな流体において、有限時間で特異点が生じ得ることを示す証明を提示したと明らかにしました。この結果は、クレイ数学研究所の公式仕様書において命題CおよびDを満たすものです ²。流体運動がどのように崩壊し得るかを記述する具体的なイメージも公開されました。回転する流体の渦がスパゲッティのように内側へ螺旋状に引き伸ばされ、細長く伸びる形状です。中心領域では速度が増大し体積が小さくなる一方で、全エネルギーは有限に保たれ続けます ²。重要な点は、速度の増大が人為的に無限の力を加えた結果ではなく、流体運動そのものの中で加速度、圧力勾配、運動量伝達、粘性がすべて増大しつつも精密に相殺されるバランスによって生じるという点です ²。

ただし、この成果が流体力学分野の計算式を直接的に改善するか否かは別の問題です。コーネル大学のブライアン・カーカビー教授（機械工学）は、ナビエ-ストークス問題は流体力学から着想を得た数学問題であり、実際の物理世界では生じない無限大の速度領域まで扱う問いだと説明しました ¹。コフ教授は、OpenAIが公開した160ページに及ぶ成果物だけでは実際の適用可能性を判断できず、数学者が結果を理解した上でエンジニアに伝えるプロセスが必要だと指摘しました ¹。

88時間、270万件のメッセージ、そして欠落していない人間の介入

OpenAIが公開した規模は大きいものです。8月28日に同社の独自ベンチマークで前例のない性能を示した新しい内部モデルの訓練を開始し、9月1日にミレニアム賞問題の2問が解かれたという噂を聞いた後に評価を開始しました。この内部モデルはGPT-6 Astraよりも大幅に高性能だと紹介されています ²。ナビエ-ストークス問題の解決には約1万個のエージェントが参加し、初回起動後約88時間で解答が得られました。その後、形式的検証のためさらに17時間かかりました。この問題だけでも約270万件のメッセージと約1300億個の出力トークンが消費され、ミレニアム賞問題とより易しい問題を含めると、合計で約490万件のメッセージと約3000億個のトークンが使用されました ²。

11月2日にアブダビのエネルギー展ADIPECの開会式で、OpenAIのサム・アルトマンCEOは、この事例について「階層構造も上司もありませんでした。完全に分散型でした」と紹介しました。エージェントが探索方向を決定し、進捗を共有し、互いに学び合い、何をすべきか自ら決定したという説明でした ³。

OpenAIの公開記録には「自律性」だけが残されているわけではありません。研究チームはナビエ-ストークス問題の複数の変種を異なるエージェントグループに割り当て、「A・B」は証明へ、「C・D」は反証へ繋がり得る形態を別のグループに提示しました ²。オイラー方程式では、外力のない形態の問題を約100個のエージェントが約50時間で解決した後、研究チームはナビエ-ストークス問題を最も有望な目標と見なし、他の問題からエージェントを転用してその解答を伝えました ²。Codexを用いて各グループの洞察を集約し、中間成果を次の指示で活用しており、この方法で解答を見出した1万個規模のグループも同様に指示を受けました ³。

OpenAI社内でも、協働構造の貢献度について異なる見解が出されました。The Decoderによると、OpenAIの研究者ノウアム・ブラウンは、ドワルケッシュ・パテルとの9月のインタビューで、マルチエージェント構成が今回の成果に寄与した割合は10%未満だと捉え、成果の主要因は協働構造よりもモデル自体にあると評価しました ³。1万個という数字は実際の同時参加規模を示していますが、その数字だけをもって「人間なしで独力で達成した」と読むのは困難です。問題変種の選択、リソースの再配置、中間成果の伝達といったステップが、OpenAIの作業記録に残されています。

「解決」発表と公式認定は別の文書である

ミレニアム賞問題という表現は比喩ではありません。クレイ数学研究所は2000年5月24日にパリで7つのミレニアム賞問題を公表し、問題ごとに100万ドルの賞金を設定しました ⁴。このうち現時点まで公式に解決が認められているのは、ポアンカレ予想のみです ³。賞金規定では、提案された証明は査読付き学術誌に掲載された後、最低2年間の検証を経る必要があります ³。

OpenAIは賞金の請求をしない意向を明らかにし、今回の成果をAIモデルの顕著な進展を示すマイルストーンと位置付けました ²⁵。クレイ数学研究所は9月11日の声明で、OpenAIの提案に対する数学的な関心を認めつつ、評価と功績認定のプロセスは意図的に急がないという既存の原則を確認しました ³。11月4日時点で、クレイ研究所のニュースページには判定結果は掲載されていません ³。

内容自体にも検証が必要です。ケンブリッジ大学のアンデシュ・ハンセン氏、ファビアン・ツィルケル氏、キングス・カレッジ・ロンドンのアレクサンダー・バスティニス氏から成る研究チームは、10月6日に提出した論文において、OpenAIの自然言語証明とLean 4形式証明が一致しないと主張しました ⁶⁷。具体的には、補題8.6の部分で、自然言語証明はある特定の値がm+4より小さいことを要求していますが、Lean証明はm+5より小さいことを要求しているというものです ⁷。m+5の条件はm+4よりも数学的にはより弱い条件です ⁷。研究チームは、Leanコードがコンパイルされるようにするために、自動形式化のプロセスが自然言語の論理とは異なる方向へ変更されたものだと分析しました ⁷。

OpenAIは不一致の事実を認めつつ、自然言語証明の誤りを修正し、形式化プロセスを継続する意向をNew Scientistに対し明らかにしました ⁷。この議論は、ナビエ-ストークス問題が解けていないという主張とは異なります。ハンセン氏は、自然言語証明が誤りだとも正確だとも断定していないと説明しました ⁷。インペリアル・カレッジ・ロンドンのケビン・バジャー教授も、ナビエ-ストークス問題が正しく解けたことは確信しているものの、PDF文書内の自然言語証明が正確であることについては確信度がかなり低いと評価しました ⁷。

外力の条件も区別しなければなりません。クレイの公式仕様には4つの命題があり、OpenAIが解決したと主張しているのは、外力が作用するCとDです ³。外力のないAとBは未解決のままです ³。ただしOpenAIは、外力のないオイラー方程式の正則性に関する反証を、約100個のエージェントで導き出したという別の成果を併せて公開しています ²。

ADNOCが委ねるのは数学的証明ではなく計画最適化である

11月2日に発表された契約は、OpenAIの企業向けエージェントプラットフォーム「Frontier」をエネルギー業界で初めて導入する事例として紹介されました。ADNOCのスルタン・アル・ジャーベルCEOは、このパートナーシップが油田開発、油井管理、商業運営を変革するものであり、ADNOCが世界初のOpenAI Frontierを導入するエネルギー企業になると述べました ⁸。システムはUAE国内のG42インフラ上で稼働し、重要な決定は人間の専門家が監督する構造で導入されると説明されました ³。

最初の適用領域は2つです。1つ目は油田開発計画です。これまで別々に行っていた研究を統合し、数千本の油井、複数の層からなる貯留層（原油が蓄積した地下地層）、数百の地上施設、費用および商業条件を同時に考慮しながら、ADNOCは数か月かかっていた開発計画を数時間以内に策定できると期待を寄せて発表しました ³。2つ目は原油1バレルの価値算定です。生産、販売、取引を一体化し、エージェントが原油の需給、価格、利益を予測して、まだ地下にあるバレルの価値を評価する手法です ³。

アルトマンCEOは、AI業界がエネルギー産業の支援を受けてきたのだから、今度は報いる番だとし、新材料、タービン設計、運営改善など、AIに複雑な工学的課題を任せられるようになると説明しました ⁸³。ただし、この展望と1万個のエージェントによる証明事例を結び付けた瞬間、役割は変化します。油田開発計画には、油井、貯留層、地上施設、費用などの変数を同時に評価する計算が必要ですが、公開された契約内容にナビエ-ストークス特異点定理が組み込まれるという説明はありません。

コフ教授の見解は、この差を明確にします。同教授は現在、この証明の工学的応用は存在しないと述べ、応用を判断するためにはまず証明の内容を理解し、そのアイデアが工学的に利用可能か確認する必要があると説明しました ¹。つまり「AIがミレニアム賞問題を解いた」という発表と、「ADNOCが油田計画を数時間で立てる」という期待は、同じ証明の同じ結論を共有していません。

2つの事象を繋ぐのは、エージェントが複数のタスクを分担した後にメッセージをやり取りしながら複雑な課題に取り組むという能力、すなわち汎用的な能力です。その能力の証明事例として挙げられたナビエ-ストークス問題の解答は、まだ公式に認定されておらず、仮に認定されても、コフ教授が述べた理解と伝達の手続きを経て、初めて工学的適用の可否を判断できる状況にあります ³¹。したがって「エネルギー産業はすでにAI証明の恩恵を受けている」という表現よりも、「エネルギー産業は同じエージェントプラットフォームを用いて業務計画を迅速に立てようとしており、その根拠となったミレニアム賞問題の証明は別途検証段階にある」という説明の方が、事実に近いと言えます。