2026年9月8日、OpenAIは約1万体のAIエージェントを用いて、90年にわたり未解決だったミレニアム懸賞問題の一つを解明したと発表した。しかし、これは手放しの賞賛に包まれた技術的突破とはならなかった。クレイ数学研究所（CMI）は直ちに、規則上、100万ドルの懸賞金の審査プロセスは早くとも2029年まで開始されないと表明した。1世紀近く解かれなかった難問がわずか5日間の計算資源によって突破された一方で、人間の学術社会の受容システムはその速度にまったく追いついていない。
90年間放置されてきた流体力学の難問
2000年5月24日、クレイ数学研究所は7つのミレニアム懸賞問題を発表し、各問題に100万ドルの懸賞金を懸けた。ナビエ–ストークス方程式はその中の古典力学に関する問題である。この方程式は流体運動の微視的法則を記述し、航空機の空力設計、気象予測、人体の血流研究に至る基盤を支えている。1934年、数学者ジャン・ルレ（Jean Leray）は同方程式の解が超関数の意味で（弱解として）存在することを証明した。しかし、3次元の非圧縮性流体において、有限時間内に流速が無限大に達する「特異点（ブローアップ）」が発生するかどうかという問いは、90年間にわたって未解決のままであった。この問題のハードルは極めて高い。数学界には3次元流体の急激な変化を追跡する有効な解析ツールが欠けており、長きにわたり手詰まりの状態が続いていた。
図：乱流噴流の偽カラー画像。ナビエ–ストークス方程式が記述するのはまさにこのような運動であり、未解決だったのはこれが有限時間内に滑らかさを失うかどうかである。出典：Wikimedia Commons / C. Fukushima、J. Westerweel、デルフト工科大学
1500万ドルの計算資源がこじ開けた突破口
OpenAIは論文『On the Navier–Stokes Millennium Prize Problem』において、未公開の内部モデルによって駆動される約1万体のAIエージェントを動員し、並列証明探索を行ったことを明らかにした。プロジェクトは9月1日に始動し、わずか88時間で解の候補を導出した。その後、GPT-6 Astraが17時間をかけてLean環境での形式的検証スクリプトの作成とコンパイルを完了させた。
プロジェクト全体で交わされたエージェント間メッセージは490万件、出力された総トークン数は3000億に達した。そのうちナビエ–ストークスの証明部分だけでも270万件のメッセージと1300億トークンを占めた。一般公開されているAPI価格に換算すると、この実行にかかった計算資源のコストは約1500万ドルに上る。莫大なリソースの投入が論理的推論の姿を変容させ、数学の証明プロセスは計算資源主導のエンジニアリング戦争へと姿を変えた。
モデルが導き出した結論は極めて明確である。すなわち、滑らかな外力が加わり全エネルギーが有限であるという条件下において、初期状態で静止している滑らかな流体であっても、有限時間内に特異点を生じさせることができるというものだ。その証明が提示した解は、内側に螺旋を描き、軸方向に引き伸ばされ、急速に細くなっていく渦構造である。OpenAIは報告書の中でこれを「スパゲッティ」に例えている。
生成されたコードはLean環境でビルドを通過したが、これは提示された文の形式が公理系に適合していることを意味するに過ぎない。これが数学的な意味で定理の定式化そのものに瑕疵がないことを保証するわけではなく、証明がLean自身の潜在的なバグを悪用した可能性も排除できない。わずか5か月前にも、形式的検証プロジェクトの基盤欠陥によって偽陽性（誤った検証成功）が露呈したばかりである。機械は高速に解答を出力できるが、証明の妥当性を担保するには、依然として人間による論理的基盤の厳格な再検証が不可欠である。
図：証明に現れる渦構造：内側に螺旋を描き、軸方向に引き伸ばされ、中心部が収縮しながら加速を続けるが、総エネルギーは有限にとどまる。出典：OpenAI
優先権争いが露呈させた制度的脆弱性
この難問の突破は、生々しい優先権争いの渦にも巻き込まれた。ニューヨーク大学（NYU）のトリスタン・バックマスター（Tristan Buckmaster）教授とAnthropicの社員レヴェント・アルポゲ（Levent Alpöge）は、1年をかけて関連研究を進めており、8月15日にはブシネスク方程式およびオイラー方程式に関する予備的成果を得ていた。9月3日、業界の噂を耳にしたバックマスターはOpenAIに直接連絡を取った。3日後、OpenAIのセバスチャン・ブーベック（Sébastien Bubeck）は通話で共同研究案を持ちかけたが、アルポゲを共著者リストから除外するよう2度にわたって要求した。その理由は単に、彼が競合他社に所属しているというものだった。この排他的な要求は、自由な学術的協力の規範に反するものであった。
バックマスターは要求を断固拒否し、通信記録を公開した。OpenAIはその後声明を発表し、チームは9月1日に噂を聞いて初めて緊急プロジェクトを立ち上げたのであり、相手の研究成果を直接入手したことはないと主張した。しかし声明には含みも残されていた。ユーザーとの対話データから派生した匿名化データがモデルの改善に寄与した可能性は完全には排除できないと認めたのである。匿名化データが何らかの発想の契機を与えたかどうかは、現時点で誰にも反証できない。
「解けたという噂」それ自体が、現代の研究における新たなシステム的脆弱性となっている。開発者のサイモン・ウィリソン（Simon Willison）が引用したように、「ある問題が解ける」と知ること自体が、他チームに数百万ドルの計算資源を投じた先行再現レースを走らせる十分な動機となる。計算資源の軍拡競争は、問題を解く手段だけでなく、科学的競争の基本的なルールそのものを塗り替えつつある。
あえて急がない審査委員会の論理
この圧倒的な技術の誇示に対し、学術機関の反応は極めて冷淡だった。クレイ数学研究所が9月11日に発表した告知文には、「OpenAI」の名は一切登場しない。ただその問題が「どうやら解決されたようだ」（apparently been settled）と記されているのみだった。Hacker Newsのコミュニティでは、この「apparently」という一語にこそ、数学界全体の重みと慎重さが凝縮されていると指摘された。
告知文は、評価の手続きが「意図的に時間をかけて行われる」ことを強調している。規則によれば、研究成果は信頼できる査読付き数学誌に掲載されなければならず、自社サイトでの発表やarXivへのアップロードは一切評価の対象とならない。さらに、論文掲載から2年間が経過して初めて、クレイ研究所は正式な審査委員会を設置する。このスケジュールに照らし合わせれば、査読が極めて順調に進んだとしても、受賞資格が得られるのは早くとも2029年になる。
25名のフィールズ賞受賞者が先日共同声明に署名し、著名な数学者テレンス・タオ（Terence Tao）も関連論考を拡散するなど、この事件の影響は単一の証明の成否を超えて波及している。学術界の議論の核心は、もはや「個別の証明が正しいか否か」ではない。工業的計算資源の時代において、誰が数学の問いを定義し、誰が真理を判定する権威を持つのかという点へと焦点が移っている。AIは理工系で最も強固な難問の一つを5日間で解いてみせたが、賞金の授与権は依然として人間の重厚な合議プロトコルの中に留まっている。このタイムラグは、学術共同体が意図して維持している防衛機構でもある。機械が生み出した真理は、人間社会がそれを受け止め理解する能力を獲得するのを待たなければならない。
参考リンク：
- OpenAI On the Navier–Stokes Millennium Prize Problem
- Clay Mathematics Institute Announcement
- Tristan Buckmaster Public Statement
- Hacker News Discussion
- 25 Fields Medalists Open Letter
