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

1万エージェントによる88時間の証明

OpenAIは火曜日、社内モデルのひとつがナビエ・ストークス方程式の解の存在問題――クレイ数学研究所が各100万ドルの賞金を用意するミレニアム懸賞問題7問のうちの1つ――に対する機械検証済みの解を導き出したと発表した。証明の内容は、流体方程式が「爆発(blow up)」しうる、つまり流体の速度がある点で無限大になりうることを許すというものだ。物理学はこれを排除しており、証明の全ステップが形式的に検証を行う証明支援言語Leanでチェックされた。審査に耐えれば、ミレニアム問題で解決は史上2例目、かつ人工知能に帰される初の成果となる。同社によれば、証明には88時間と約1万のAIエージェントを要した。これらは次世代モデルの並列コピーで、近年ARC-AGI-3で98.6%を記録し、以前にはOSWorld 2.0で72.6%を達成したGPT-6 Astraより大幅に高性能だと説明されている。AI数学は異例の過熱期にある。数日前にはAnthropicがClaudeモデルでフェルマーの最終定理を計算機検証付きで証明したと報じられ、大規模エージェント運用は日常化しつつある。当デスクも先に、OpenAIのエージェント群が一連の連携キャンペーンでドイツ語版ウィキに1万8,000件の投稿を行った経緯を追った。だが、この流体力学の主張は直ちに人間同士の軋揉みにぶつかった。OpenAIの発表の数時間前、NYUの数学者Tristan Buckmaster氏は4ページの声明を公開し、OpenAIのSébastien Bubeck氏が自身とAnthropic研究者Levent Alpöge氏の未発表の関連研究を事前に知り、発表前に功績をめぐって圧力をかけたと主張した。OpenAI、Bubeck氏、Sam Altman氏はいずれもこの説明を否定しており、100万ドルの答えに誰が先に到達したかを巡る激しい争いが持ち上がった形だ。

Buckmaster氏の声明と反論

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

Altman氏とWorldcoinの接点

その後、2つの新情報が状況をより鮮明にした。OpenAIは、88時間の実行完了後、GPT-6 Astra自体がエージェント群の論理を17時間かけて形式的に検証したと説明し、結果が確定しても100万ドルのクレイ賞を請求しない方針を明示した。一方のBuckmaster氏は発言を軟化させ、OpenAIのモデルが何をどうしたのか分からず、自身のデータが使われたかも分からず、「誰かを告発しているのではない」と表明した。Bubeck氏は記者会見で未発表研究へのアクセスを否定したが、OpenAIは両氏の製品利用が学習に影響した可能性を排除できないとの認識を繰り返した。この対立は、報じられた1兆ドル規模のIPOをOpenAIが準備するなかで展開されており、Anthropicはそれを上回る企業価値評価を追求している。

実行規模に関する詳細も明らかになった。OpenAIによれば、約1万のエージェントが88時間のうちに270万件のメッセージを交換し、約1,300億トークンを生成した。研究責任者のMark Chen氏は、計算コストがクレイ賞の100万ドルの価値を上回ったことを示唆した。クレイ数学研究所はまだこの結果を認めていない。同研究所の規定では、授賞前に認められたプラットフォームでの発表、2年間の公開期間、数学者コミュニティの広範な受容が要件となる――だが同社がすでに賞金を追求しない方針を示している以上、この点は実質的に論争の対象外だ。Bubeck氏はX上で、他人の研究からAlpöge氏を著者から外すよう求めたことは一度もないと公に否定した。一方Alpöge氏は、匿名化された学習データに関するOpenAIの認知について、「正直に認めた点は評価すべきだ」と反応した。

(12:30 UTC時点)Worldcoinプロジェクト(WLD)にとって、過去24時間に4.13%下落し0.4523ドルとなったものの、テクニカルな見通しは建設的に傾いている。当社独自の42指標コンポジットでは、現値直下の0.4368ドルに中程度のサポート(56/100。S1、一目転換線、一目基準線B)が位置し、最強の下値防线は0.3895ドル(57/100。EMA 50、S3、EMA 100、SMA 50)、さらに0.3529ドル(54/100)、0.3057ドル(43/100)、0.1763ドル(39/100)の中程度の層が続く。上値では、現値直上の0.4573ドルに強いレジスタンス(80/100。フィボ0.382、ボリンジャー上限、ピボット、ケルトナー上限)があり、0.4892ドル(67/100。フィボ0.500、HVN、ドンチャン上限)と0.5588ドル(62/100。フィボ0.618、HVN、R2)がこれを支える。デリバティブのポジションは緩やかに強気で、1億1,520万ドルの未決済建玉に対しファンディングレートは0.0054%と、ロングがキャリーを支払う構図だ。RSIは63.75、MACDは強気シグナル、上昇トレンドは維持され、恐怖・強欲指数は66(強欲)。当社が追跡する時価総額2.34兆ドルの市場でBitcoinが68.1%のシェアを占めるなか、0.4573ドルを明確に上抜ければ0.4892ドル、さらに0.6745ドル(50/100)への道が開く。0.4368ドルを割り込めば、より強固な0.3895ドルのフロアが再び視野に入る。