OpenAI 1万AIが数学難問「ナビエ・ストークス」を証明　Anthropic研究者との衝突と賞辞退の経緯

「AIの無差別な使用が、数学を無意味な生産量クォータのゲームに変えつつある」。フィールズ賞受賞者でUCLA数学者のTerence Taoは2026年9月8日、Fortune誌の取材にこう語った（出典：Fortune、2026年9月8日）。

その日、OpenAIは1万個のAIエージェントが88時間をかけて、流体力学の「ナビエ・ストークス方程式」の有限時間崩壊を証明したと発表した。Sam Altmanは「最も驚異的な瞬間の一つ」と称えた（出典：CNBC、2026年9月9日）。

だが同日、NYU数学教授のTristan Buckmasterは全く異なる声明を発表した。競合他社Anthropic所属の数学者Levent Alpögeと1年近くかけて取り組んできた成果が、OpenAIによって突然先回りされた、と。より深刻なのは、OpenAIから受けたとされる「取引の提案」だ。

ナビエ・ストークス問題とは何か

1822年に定式化されたナビエ・ストークス方程式は、水や空気などの流体の動きを記述する偏微分方程式だ。天気予報から航空機設計、血流シミュレーションまで、現代のあらゆる流体力学の土台をなしている。

未解決なのは「3次元空間でこの方程式が常に滑らかな解（物理的に意味のある解）を持つか」という問いだ。クレイ数学研究所は2000年、これを「ミレニアム問題」の一つに指定し、解決した者に100万ドルの賞金を提供すると発表した。

数学的に重要なのは「blowup（有限時間崩壊）」の問題だ。流体の速度が有限時間内に無限大になる（＝方程式が破綻する）ケースが存在するのかどうか。今回OpenAIが証明したのは、「このようなblowupが起こり得る」という有限時間崩壊の存在だ。

ただし条件がある。OpenAIの証明は「外部から滑らかな力（smooth force）が加えられている」条件下のものだ。クレイ研究所の問題設定では外力がない「自由な」ナビエ・ストークス方程式が対象であり、この差異が後の論争の核心になる。

OpenAI、1万エージェント×88時間の挑戦

OpenAIの内部モデル（未公開）は、9月1日から9月6日にかけて10,000個のAIエージェントを並列で動かし、88時間にわたって証明探索を行った（出典：Quanta Magazine、2026年9月8日）。

得られた証明はLean（形式的定理証明支援システム）で機械検証済みだ。Leanは人間が「正しそう」と判断するのではなく、コンピュータが論理的完全性を確認できる言語であり、証明の形式的有効性は保証されている。

なぜ100万ドルの賞を辞退したのか

OpenAIは証明を公開したと同時に、クレイ数学研究所への賞金申請を見送ると表明した（出典：The Next Web、2026年9月8日）。

理由は「smooth force条件」にある。クレイ研究所のミレニアム問題は「外部の力なしに、初期条件だけから出発した流体が崩壊するか」を問う。今回の証明は外力を前提としており、厳密な意味でのミレニアム問題の解答ではないとOpenAI自身が認識している。

数学ライターのBrian Hayesはこれを「解答への重要な一歩だが、山頂ではなくベースキャンプの到達だ」と表現した（出典：forkast.news、2026年9月9日）。

Sam Altmanは「one of the most amazing moments」と絶賛しつつも、賞の要件を満たしていないことは明示した。証明の形式的有効性と、ミレニアム賞の条件を満たしているかどうかは別の問題だ。

Anthropicの研究者が取り組んでいた同じ問題

発表の前夜、Tristan Buckmaster（NYU数学教授）がXに投稿した。Anthropic所属の数学者Levent Alpögeとともに「オイラー方程式のblowup証明」を完成させたという内容だった（出典：TechCrunch、2026年9月8日）。

二人は約1年間、AIモデルを使いながら流体方程式の崩壊証明を追いかけてきた。8月22日に成果を得たという。彼らが選んだアプローチは「Feffermanの問題設定のオプションcとd」と呼ばれる特定の手法だった。

「私が知る限り、ほぼ誰もこのルートを攻めていなかった」とBuckmasterは述べた（出典：Scientific American、2026年9月8日）。

OpenAIは9月1日から証明探索を開始したと説明している。しかしその「9月1日」はBuckmasterらの進捗に関する噂を聞いた日と一致する、とBuckmasterは指摘した。

「Anthropicの人を共著から外せ」という提案

Buckmasterが公表した最も衝撃的な部分は、OpenAI社員から受けたとされる「取引」だ。

OpenAI側はBuckmasterに2択を提示したという（出典：Yahoo Finance、2026年9月8日）。

選択肢A: 今すぐ自分たちの成果を投稿すれば、OpenAIはその翌日にナビエ・ストークス証明を公開する。

選択肢B: OpenAIのナビエ・ストークス論文に共著として参加できる。ただし、共著者リストからLevent Alpöge（Anthropic社員）を除く条件で。

BuckmasterはAlpögeがAnthropicに所属しているためにOpenAIが共著を認めないという立場を、「career-making math problem（キャリアを決定づける数学問題）でフェアに戦わなかった」と表現した（出典：TechCrunch）。

OpenAI側の反論は二段構えだ。まず、自社モデルはBuckmasterらとは「全く異なる手法でオイラー方程式を独立に解いた」と主張。ナビエ・ストークスへの適用において類似した手法になったのは事実だが、独自の発見であると主張している。さらに「我々のサービスを使用したデータから、匿名化された情報がモデルの改善に貢献した可能性を完全に否定できないが、それは可能性が低い」とも述べた（出典：Axios、2026年9月8日）。

この「完全に否定できないが可能性は低い」という表現は、Buckmasterらが過去にOpenAIのモデルを使って研究していたことを示唆し、さらに論争を複雑にした。

数学界の反応：Terence Taoの批判

世界最高の数学者の一人とされるTerence Tao（UCLAフィールズ賞受賞者）のコメントは、AIと数学研究の関係についての根本的な疑念を示していた。

「AIの無差別な使用が数学を、世界にも数学にもほとんど利益をもたらさない無意味な生産量クォータのゲームに変えつつある」（出典：Fortune、2026年9月8日）。

Taoが問題視しているのは、AIによる証明探索の大規模化が「数学的深さ」を犠牲にして「問題解決数」を競う競争に変えてしまうことだ。10,000エージェントを88時間並列で動かせば、人間の数学者が数年かけて到達する境地に「力ずく」で到達できる可能性がある。だがそれは数学的理解を生むのか、という問いだ。

一方、Nature誌の報道では「証明の形式的正確さは認められる。これは本物の数学的進歩だ」という楽観的な意見も紹介されている（出典：Nature、2026年9月8日）。

「光と影」の整理

光（評価できる点）

• 1万エージェント×88時間という規模のAI協調が、数学の最前線で意味ある成果を生んだ事実は重要だ。Lean形式検証まで行った点は数学的誠実さの証でもある
• 「smooth force条件付きblowup」は本物の数学的成果だ。ミレニアム問題の完全解決ではないが、研究の方向性を示す
• OpenAIが賞を辞退したことは、自社の主張に対する誠実な自己評価だといえる

影（批判として残る点）

• Levent AlpögeがAnthropicの社員であることを理由に共著から排除しようとした（とされる）提案は、研究倫理の観点から深刻だ。競合企業への所属が学術的功績を否定する根拠にはならない
• OpenAIのモデル探索開始が「競合の進捗を聞いた日」と一致するという指摘は、情報利用の透明性に疑問を残す
• 「Smooth forceあり」の証明を「Navier-Stokes問題を解いた」と大々的に発表したコミュニケーションは、数学的正確さよりPR効果を優先しているとTaoらが批判するのも理解できる
• AIサービスの利用履歴が研究者のアプローチを「学習」した可能性を「完全には否定できない」という発言は、科学的手法としての独立性への不安を残す

---

関連記事

• OpenAI Astraが数学10問をLean 4で証明した意味 — 今回の発表の前段となるAstraの数学証明実績
• Anthropic Claude Science AI Workbench — Anthropicが科学研究にAIを応用する取り組み
• AIエージェント時代の開発者の役割変化 — 1万エージェントが示す大規模AI協調の時代背景

---

免責事項: 本記事は公開情報（TechCrunch、Axios、Scientific American、Fortune、Nature、Quanta Magazine、CNBC等）に基づいて執筆しています。BuckmasterとOpenAI間のやり取りの詳細は現時点でBuckmaster側の主張のみが公開されており、OpenAIはこれを一部否定しています。本訴訟・紛争はまだ解決しておらず、今後の経緯によって内容が更新される可能性があります。