OpenAI、1万エージェントによるナビエ・ストークス証明を発表――功績をめぐる論争がAltman氏のWorldcoin(WLD)に波及

1万エージェントが88時間で導いた証明

OpenAIは火曜日、社内モデルのひとつがナビエ・ストークス方程式の解の存在問題――クレイ数学研究所が各100万ドルの賞金を懸ける「ミレニアム懸賞問題」7問のひとつ――に対する機械検証済みの解を導き出したと発表した。この結果は、流体方程式が「ブローアップ(爆発)」を許すこと、つまり流体の速度がある点で無限大になり得ること(物理学はこれを排除する)を示す証明であり、数学的議論を形式的に検証する証明支援言語「Lean」ですべてのステップが確認されたという。精査に耐えれば、ミレニアム懸賞問題で解決は史上2例目、人工知能に帰結する解決としては初めてとなる。同社によると、証明には88時間を要し、GPT-6 Astraより大幅に高性能だという次世代モデルの並列コピーである約1万個のAIエージェントが協調動作した。GPT-6 Astraは、先日に続きARC-AGI-3で98.6%を記録し、その前にもOSWorld 2.0で72.6%を出したシステムだ。発表は、AI数学にとって異例な時期に重なった。数日前にはAnthropicが自社のClaudeモデルがフェルマーの最終定理を計算機検証付きで証明したと報告しており、大規模エージェント運用は日常化しつつある。当デスクも以前、OpenAIのエージェント群が一連の協調キャンペーンでドイツ語ウィキに18,000件の投稿を行った経緯を追った。ただし、この流体力学の主張は直ちに人間側のトラブルに直面した。OpenAIが公表する数時間前、NYU(ニューヨーク大学)の数学者Tristan Buckmaster氏は4ページの声明を発表し、OpenAIのSébastien Bubeck氏が自身とAnthropicの研究者Levent Alpöge氏の未発表の密接に関連する研究を知りながら、発表前に功績の帰属を迫ったと主張した。OpenAI、Bubeck氏、CEOのSam Altman氏はいずれもこの説明を否定しており、100万ドルの答えに誰が先に到達したのかをめぐる熾烈な争いの構図が生まれている。

Buckmaster氏の声明と反論

Buckmaster氏の説明によれば、自身とAlpöge氏はほぼ1年間、大規模言語モデルを流体のブローアップ証明の方向へ導き、8月22日には解を手にしていたという。9月3日、Anthropicが重大な未解決問題を解いたとのうわさが広まった後、Buckmaster氏はOpenAIの数学者にメールを送り、このプロジェクトが個人的なもので両社に属さないことを強調した。返信は友好的で、OpenAIの計算資源の提供まで申し出たという。続く9月6日(日)の2回の通話で、Bubeck氏が社内モデルがすでに約100ページの「滑らかな強制項を用いた強制ナビエ・ストークス」証明を生成済みだと明かしたとBuckmaster氏は述べる。それはDiego Córdoba氏とLuis Martínez-Ziora氏の研究プログラムに基づく、他がほとんど追っていない同じ狭い経路だった。同氏はさらに、Bubeck氏がAlpöge氏のAnthropic所属を理由に2回にわたり著者から外すよう求め、かつて「なぜ自分のキャリアを台無しにするのか」と問うたと主張する。Bubeck氏はこれらの主張を「虚偽で扇動的」と呼んで否定し、協調的な発表を提案したと示すメッセージを公開したうえ、誠実に対応したと主張する。Altman氏はBubeck氏が「終始誠実さと寛容さをもって行動した」と述べ、相手チームがEuler問題しか解いておらず完全なナビエ・ストークスではなかったとOpenAIが気づいた時点で、先に発表させる提案をしていたと付け加えた。OpenAIは別途、発表前に両氏の研究を目にしていなかったと説明する一方、匿名化された利用データがモデル改善に寄与した可能性は排除できないとしている。Buckmaster氏は、両氏が証明の草稿をOpenAI Codexのセッション内に保管しており、それらのセッションがモデル訓練に使われたかどうかの回答を最後まで得られなかったことも指摘した。フィールズ賞受賞者のTerence Tao氏は、Buckmaster氏とAlpöge氏の根底にある数学を「顕著な達成」と評価した。注目すべきは、OpenAIの100ページの証明も、最終的なLean検証を待つ両氏の最も進んだ結果も、いずれも独立した査読を経ていない点だ。 市場をリアルタイムで追いたい読者は、MEXCで現物・先物価格をライブで確認できる。

Altman氏とWorldcoinのつながり

Worldcoinプロジェクト(WLD)にとって、この件の意味は流体よりも「誰の名前が偉業に付くか」にある。ゼロ知識証明に依拠する虹彩スキャン型のアイデンティティネットワークを手がけるWorldcoinの共同創業者がAltman氏であり、OpenAIのマイルストーンはこれまでも、Altman連動のAI×クリプトトレードをトレーダーが再評価するたびに、トークンの時価総額をめぐるナラティブに波及してきた。直近24時間でWLDは4.4%下落。AI連動のアルトコインがこの論争を注視するなか、WorldcoinエコシステムはAltman氏のもうひとつの会社の「爆発半径」内に置かれ続けている。証明が外部査読に耐えるか、そして功績が誰に帰せられるかが、次のWeb3ポジショニングの行方を左右するだろう。