2026年9月8日、Hacker Newsのトップページに並んだ2つの投稿がテック界と数学界を揺るがした。ひとつはOpenAIの公式発表である。同社は最新の内部モデルを用い、90年間にわたり誰も解けなかった数学の未解決問題を攻略したと宣言した。もうひとつはニューヨーク大学の数学教授、トリスタン・バックマスター（Tristan Buckmaster）による長文の告発声明だった。彼はOpenAIチームとの一連の接触を時系列順に公開し、同社が自身の未発表の研究成果を横取りしたのではないかという強い疑念を突きつけた。
数学界とシリコンバレーの双方に衝撃を与えたその問題とは、Navier-Stokes（ナビエ・ストークス）方程式の滑らかさと解の存在性である。2000年にクレイ数学研究所が選定した7つの「ミレニアム懸賞問題」のひとつであり、100万ドルの賞金が懸けられている。平たく言えば、この方程式は水や空気の流れを記述するものだ。航空機の主翼をかすめる乱気流から大洋深部をうごめく深層海流まで、自然界の流体現象はこの数理モデルに支配されている。この問題の本質は、流体の振る舞いが理論上暴走し得るのかどうかを問う点にある。数学者に課された使命は、極限状態において方程式の解が破綻し、物理的に説明不能な「無限大」という特異点が出現するか否かを証明することだった。
この90年間、幾多の卓越した数学者がこの難問の前に跳ね返されてきた。突破口を開くには、方程式の深層に潜む数学的構造を見抜く研ぎ澄まされた直観が不可欠だった。しかしOpenAIが示したアプローチにおいて、天才の直観は圧倒的な計算資源とベルトコンベア式の自動推論へと置き換えられていた。
1万体のエージェントが88時間疾走：90年の難問をねじ伏せた計算資源の暴力
OpenAIが公開したリソースの内訳は凄まじい。この難問を解き明かすため、同社は約1万体のAIエージェントを並行稼働させた。起動後の88時間にわたり、エージェント群は休みなく稼働し続けた。巨大なネットワークとして協調しながら、相互検証のために270万通のメッセージを交わし、消費した出力トークンは約1300億に達した。論理の無謬性を保証するため、システムはさらに17時間を費やし、形式検証言語Leanで全コードを行単位で検証しきった。
図：Navier-Stokes方程式の公式問題記述。出典：クレイ数学研究所（claymath.org）
これは、1万人の休むことを知らない極めて忠実な大学院生を擁する巨大工場の稼働に等しい。攻略すべき方向性が定まりさえすれば、彼らは数学者が生涯をかけて書き溜める以上の下書きをわずか4日間で探索し尽くす。攻究の過程で、システムは100体のエージェントを別働隊として割り振り、外力のないEuler方程式の正則性問題までも50時間で副産物として解決してみせた。最終的に工場が吐き出したのは、100ページに及ぶ形式証明の論文だった。
巨大な計算工場の前では、従来数か月を要した研究サイクルが数日へと圧縮される。OpenAIのモデルが提示した数学的推論は驚異的だった。しかしバックマスター教授の目には、その巨大工場が正しい掘削ポイントを見つけ出せたのは、漏洩した設計図を持っていたからに他ならなかった。
9月1日〜8日の攻防：未発表のドラフトはどこへ消えたのか
議論の中心にあるのは、不可視のスタートラインをめぐる食い違いである。バックマスター教授はAnthropicの数理研究者レヴェント・アルポゲ（Levent Alpöge）と数か月前から共同研究を進め、大規模言語モデルを活用して問題攻略を試みていた。先行研究を丹念に洗い直した二人は、過去の「粗い強制法（rough forcing）」を「滑らかな強制法（smooth forcing）」へと拡張することに成功した。これは解法の道筋において最も克服が困難とされていた障壁だった。8月15日に決定的なブレークスルーを掴み、8月22日にはLean上でAI生成による初回の証明検証を完了した。バックマスターはそれを「生涯で読んだ中で最も恐ろしい証明だった」と振り返る。
ゴールテープを切ろうとしたまさにその瞬間、噂が外部へと漏れ出した。
| 節目 | OpenAI公式ブログの説明 | バックマスター教授の公開声明 |
|---|---|---|
| 8月中旬〜下旬 | 8月28日に新モデルのトレーニングを開始 | 8月15日に決定的な進展、8月22日にLeanで初の検証完了 |
| 9月1日〜3日 | 噂を聞きつけた9月1日に取り組みを開始 | 9月3日に噂が広まり、進展がOpenAIに伝わったとの情報が浮上 |
| 9月5日〜6日 | 9月5日に問題を正式解決 | 9月6日に2度の電話協議、OpenAI側の説明が二転三転 |
| データの利用有無 | 特定のユーザーデータは閲覧していないと表明 | プロジェクト期間中にCodexへ草稿を投入、追及に対してOpenAIは明確な回答を避ける |
バックマスターは9月6日に行われたOpenAIとの2度の電話協議の内容を克明に記録している。通話中、OpenAIチームの説明は二転三転した。当初、彼らはモデルには問題の定義文のみを与えたと主張した。しかしその後、チーム全体で膨大な計算資源を動員した事実を認め、最初のプロンプトが投入されたのは噂が届いた数日後であったことを認めた。
モデルがCodex経由で送信された未発表草稿を読み込んでいたのではないかという追及に対し、OpenAI側の回答には重大な逃げ道が残されていた。公式には「特定のユーザーデータは閲覧していない」と回答したものの、「匿名化データがモデルの性能向上に寄与した可能性は排除できない」と認めたのである。この2つの投稿はHacker News上で激しい投票合戦を引き起こした。バックマスターの告発投稿が1053ポイントを獲得したのに対し、OpenAIの技術発表は1010ポイントで頭打ちとなった。コミュニティの視線は数学の証明そのものではなく、タイムラインの不自然さとデータの流用疑惑に集中した。
噂ひとつで計算資源の取り付け騒ぎが起きる時代
フィールズ賞受賞者のテレンス・タオ（Terence Tao）はこの事態の本質を次のように言い当てた。
「今や希少で貴重なのは、有望な問題を見極めることそのものです。誰かがその問題に取り組んでいるという噂が流れるだけで、AIの大規模な計算資源が動員され、それを瞬く間に更地にしてしまうのです。」
かつて数学者たちは、カフェで未熟なアイデアを議論し、黒板に走り書きを残し、お茶の時間に初期の発見を共有し合っていた。そうした気軽な対話こそが創造性の土壌だった。しかし、4日間で長大な証明を自動生成するマシンが稼働する世界では、いかなる噂も計算資源による刈り取りを呼び込むトリガーとなってしまう。
図：渦の内向きスパイラルと軸方向の引き伸ばしを示す模式図。出典：OpenAI
未発表のドラフトがクラウドのコード補完ツールに入力されたり、証明の有望なアプローチが同業者間の噂話として広まった瞬間、それはもはや研究者個人の手を離れる。計算資源が過剰に存在する現代において、正しい解法ルートを見出すことは機械的な数式展開よりも遥かに高価な価値を持つ。数学者が直面している競争相手はもはや同僚の研究者ではなく、工業化された定理証明コード生成器と巨大なサーバークラスターなのだ。
「なぜキャリアを棒に振るのか」：圧倒的な力関係が生んだ不条理な交渉
この対立の中で最も陰鬱な影を落としたのは、巨大テック企業と一介の研究者の間に横たわる圧倒的な非対称性だった。バックマスター教授の暴露によれば、OpenAIの内部チームは二つの施しのような妥協案を突きつけてきたという。案の1は、バックマスターが先に平易なEuler方程式の成果を発表し、翌日にOpenAIが本命のNavier-Stokesの成果を発表するというもの。案の2は、バックマスターが単独著者としてNavier-Stokes論文を執筆することを認める代わりに、共同研究者であるAnthropicのアルポゲを共著者から完全に排除するという条件だった。
OpenAIの担当者は、アルポゲが競合他社に所属していなければすべては円満に進んだはずだと率直に言い放った。バックマスターがこの不当な排除要求を拒絶すると、相手の口調はあからさまな威圧へと変わった。「なぜ自らのキャリアを棒に振るような真似をするのか」「あなたがこちらに敬意を払わないのであれば、こちらも手加減する必要はない」と。
この高圧的な態度は、計算資源を独占した者が抱く傲慢さを露骨に物語っている。深遠な数学定理の発見は、いまやライバル企業を叩き、自らの技術力を誇示するためのチェスの駒へと成り下がった。
数学界の信頼文化が計算リソースの採掘機と衝突するとき
この100万ドルの懸賞金をめぐる騒動が変えたのは、単なる流体力学の歴史にとどまらない。バックマスターはこの事態を「数学界のディープ・ブルー・モーメント」と呼んだ。それは学術界の構造に決定的な亀裂を入れた。研究者が数か月かけて築き上げた知的探索の成果が、週末のわずか数日でAIクラスターによって先回りされ、蹂躙されてしまう。時間をかけて研究を吟味し、ピアレビューを経て発表するという旧来の学術サイクルは完全に機能不全に陥った。
コミュニティからは、もはや数学者同士で偽の証明の噂を撒き餌として流し、OpenAIに数百万ドルの計算資源を浪費させて行き止まりを掘らせるしかないという皮肉めいた提案さえ飛び出した。そうしたブラックユーモアの背景には、計算の覇権に対する研究者たちの深い無力感が横たわっている。
OpenAIが示した証明の数理的ディテールは、やがて世間の関心から薄れていくだろう。だがこの騒動が残した爪痕は消えない。未発表の進行中の研究は、いまや強大な計算資源によって一方的に掘り尽くされる「露出した鉱脈」と化したのだ。巨大な掘削機は、わずかな噂の匂いを嗅ぎつけるだけで、鉱山全体を一晩で掘り崩してしまう。何世紀にもわたって偉大な発見を育んできた自由でオープンな学術共有の文化は、暴力的な計算資源の採掘の前に、その終焉を迎えようとしている。
参考リンク：
- OpenAI公式ブログ
- バックマスター教授の公開声明 (cims.nyu.edu)
- HNディスカッション (item?id=49605915)
- HNディスカッション (item?id=49613262)
