2026年9月8日、OpenAIは声明を発表した。同社の内部モデルが約1万のAIエージェントを動員し、88時間で三次元ナビエ-ストークス方程式の有限時間爆発（blowup）の証明を完成させたというものだ。発表と同時に、166ページの数学論文と対応するLean形式化検証プロジェクトが公開された。研究責任者のMark Chenはメディアの取材に対し、計算コストだけで「数百万ドルに達した」と明かした。
ナビエ-ストークス方程式は流体運動を記述するもので、航空工学、気候シミュレーション、乱流研究の数学的基盤となっている。その解の存在性と滑らかさの問題は、1845年に方程式が完全に定式化されて以来、未解決のままである。クレイ数学研究所はこれを七つの「ミレニアム懸賞問題」の一つに挙げ、100万ドルの懸賞金をかけている。本稿執筆時点では、クレイ研究所の公式ウェブサイトは依然としてナビエ-ストークス問題を未解決として掲載している。
まず数学を整理する：OpenAIが証明したこと、しなかったこと
OpenAI自身も重要な詳細を認めている。この証明が対象としたのは外力項を加えたナビエ-ストークス方程式（forced Navier-Stokes）、すなわち方程式に外部強制項を導入したバージョンである。OpenAI公式ブログはミレニアム懸賞への申請を行わない意向を明示しており、その理由はまさにこの点にある——懸賞が要求するのは、自由に発展する外力なしのバージョンの解決だからだ。
この違いは数学者のこだわりではない。外力項の追加は流体に持続的な「ポンプ」を設置するようなもので、方程式のエネルギー構造を根本的に変え、外力なしの場合とは技術的難度が全く異なる次元となる。OpenAIの証明が示したのは、人為的に外力を加えた条件下において、初期に滑らかな流速場が有限時間内に無限大の速度に達する——すなわち「爆発（blowup）」現象が生じるということだ。これは本物の数学的進展だが、「ナビエ-ストークスを攻略した」と表現するには、精確さの面で明らかな飛躍がある。
エージェント集団の運用規模自体は印象的だ。報道によれば、88時間で約1万のエージェントが計270万件のメッセージを送信し、約1,300億の出力トークンを消費した。使用されたモデルは「GPT-6 Astraを大幅に上回る能力を持つ」内部バージョンと説明されている。OpenAI開発者のNoam Brownはある比較を引用した。2025年の数学オリンピックではOpenAIとGoogle DeepMindが膨大な計算リソースを要したが、2026年には月額20ドルのChatGPTサブスクリプションユーザーでも同等の水準に達せるようになる、というものだ。
もう一つのチーム：1年先行し、独自の道を切り開く
OpenAIの発表前日、9月7日に、ニューヨーク大学の数学者Tristan Buckmasterとアンソロピックの研究員Levent Alpögeが一連のプレプリントを公開した。内容は三次元オイラー方程式（外力項あり版を含む）の有限時間爆発の証明で、112ページの論文とLean形式化検証コードも公開されている。オイラー方程式はナビエ-ストークス方程式と密接に関連しており、後者は粘性項を加えることで前者に退化する。この研究の完成には約1年を要し、全過程でClaude、OpenAI Codex、AstraなどのAIツールが補助的に活用された。
両チームが選択した数学的アプローチは極めて類似しており、Buckmaster自身はこのアプローチを「ほとんど他に誰も歩んでいない道だ」と述べている。OpenAIも発表の中で、アンソロピック側の方向性に関する「噂」を聞いてから研究を加速したと認めている。報道によれば、OpenAIの数学チームリーダーであるSébastien Bubeckは、同社が8月28日に新たな高度数学モデルのトレーニングを開始し、関連の噂を聞いた後にナビエ-ストークス問題へのリソース投入を増やし、最終的に「日曜の朝にLean形式化の完全な解を得た」と述べたという。
真の嵐：署名をめぐる圧力とデータの出所
論争の核心は数学そのものではなく、研究過程で起きた出来事にある。
Buckmasterは公に明かした。9月6日、OpenAIが彼に連絡し、同社の内部モデルが約100ページの証明を生成しており、その手法がBuckmasterとAlpögeの研究と「驚くほど似ている」と告げたという。その後、Bubeckは共同発表を二度提案したが、AlpögeがAnthropicの従業員であることを理由に著者リストから除外するよう明示的に求めた。Bubeckはこうした状況を「本当に腹立たしい」（so annoying）と表現したという。Buckmasterが拒否すると、Bubeckは「なぜ自分のキャリアを台無しにしようとするのか？」および「善意で接してほしくないなら、そうしなくてもかまわない」と発言したとされる。
これらの発言に対し、BubeckはWIREDのインタビューで次のように説明した。自分が議論していたのは、BuckmasterにOpenAIのナビエ-ストークス証明の書き直しを主導するよう招くことであり、競合するAnthropicの従業員であるAlpögeがそのプロジェクトに参加することは不適切だと考えた。「キャリア」という言葉を使ったことは認めて謝罪し、すぐにその発言を撤回したとも述べた。OpenAIの公式声明は、同社の研究者が「いかなる手段によっても、昨夜公開されるまで彼らの研究を目にしたことはなかった」と述べた。
しかしこの弁明は、Buckmasterが公に提起した技術的な疑問に直面している。BuckmasterとAlpögeは研究過程を通じて、すべての草稿をOpenAI Codexの会話にアップロードしていた。これらの会話データがその後のモデル訓練に使用されたのか？OpenAIは問い合わせに対して「不明」と答えており、外部を完全に納得させるには至っていない。OpenAI公式はこれらの会話データの取り扱いについて正面から説明していない。
構造的矛盾：インフラ提供者であり、競争者でもある
この論争は単なる二チーム間の先後争いではなく、現在のAI支援科学研究における根本的な矛盾を露わにしている。AIラボが互いに相容れない二つの役割を同時に担っているという矛盾だ——研究インフラの提供者と、科学研究に積極的に参入する競争主体である。
BuckmasterとAlpögeがCodexを研究ツールとして使用したことは、今日では合理的で正常な選択であり、物理学者が計算クラスターを使い、統計学者がRを使うのと変わらない。しかしツールの提供者が同時に知的財産の潜在的受益者でもある場合、研究データの境界は曖昧になる。草稿は「ユーザーデータ」なのか「訓練データ」なのか？会話記録は利用規約の下でモデル訓練に流れ込む可能性があるのか？これらの問題はOpenAIの現行ユーザー契約の枠組みの下でも争いの余地がなくはなく、学術界にはこうした場面に対応した明確な規範が長らく欠けている。
BubeckがAnthropicの従業員の共同署名を外すよう求めた行為は——動機がいかなるものであれ——この矛盾を表面に押し出した。数学論文の著者資格がAI企業の競争利益と結びつく時、「研究成果の帰属は学術的貢献によって決まるべき」という学術コミュニティの基本原則が直接的に揺らぐことになる。AnthropicなどOpenAIの競合企業の従業員が、OpenAIのツールを使って完成させた数学的証明に共同著者として名を連ねることができないのか？この問いに現在の業界コンセンサスはないが、明らかに、あるラボのリーダーが圧力をかける電話の中で一方的に決定すべきことではない。
計算競争の論理と代償
純粋なビジネスの論理から見れば、OpenAIの行動には内的一貫性がある。数百万ドルの計算リソース投入、1万エージェント規模の集群運用の背後には明確なシグナルがある——AI支援科学研究という新たな戦場では、先に声を上げることが価格決定権を持つということだ。OpenAI開発者Noam Brownの言葉は熟考に値する。解題コストを膨大な計算リソースから月額20ドルのサブスクリプションへと圧縮していく趨勢を、「能力の民主化」という肯定的な物語として描いたのだ。これは確かに真実だが、この具体的な出来事において、その物語は同時に一つの進行中の事実を覆い隠している。大規模な計算リソースの優位性が、ある一社が極めて短期間に他者の研究方向を「追随」し、先んじて発表できる状況を生み出しているという事実だ。
BuckmasterとAlpögeは約1年をかけ、OpenAIは噂を聞いてから2週間足らずで——この時間差そのものが、計算リソースの不均衡の直接的な表れである。数学的発見の速度が「人間の研究者の年」から「エージェント集群の日」へと圧縮されるにつれ、先後の認定はますます機関の発表タイミングに依存するようになり、研究が実際に完成した順序には依存しなくなるだろう。
独立した評価
OpenAIが今回発表した数学的成果は本物の数学的進展だが、「ナビエ-ストークスのミレニアム懸賞問題を攻略した」という物語の枠組みには誤解を招く要素がある——同社自身もそれを知っているからこそ、クレイ懸賞への申請を行わないと積極的に表明したのだ。より深刻な問題は数学そのものではなく、競争の過程にある。
Buckmasterの陳述が事実であれば、今回の出来事が意味するのは次のことだ。あるAI企業の研究リーダーが、外部競争者の進展に関する噂を聞いて緊急に追随し、公開発表前にキャリアへの脅しによってコミュニティの規範への譲歩を引き出そうとした。最終的な法的・倫理的判断がどうなるにせよ、こうした行動パターン自体が、学術研究におけるAIツールへの信頼を長期的に損なうことになる。研究者は今後も作業中の草稿を商業AIプラットフォームにアップロードし続けるだろうか？
OpenAIの現時点での回答——「われわれは彼らの研究を見ていない」——は技術的には真実かもしれないが、より核心的な問いを回避している。なぜCodesの会話データの訓練への利用状況について、今も明確な答えが出されていないのか？データの出所に関する沈黙は、いかなる声明よりも警戒に値する。
独立した数学コミュニティが完遂すべき作業は、両チームの166ページと112ページの証明それぞれに対する厳格な査読を行うことだ。それ以前には、「誰がナビエ-ストークスを解いたか」という問いに答えはない——しかし「AI科学研究競争における倫理的境界はどこにあるか」という問いは、今回の出来事によってもはや避けることのできないものとなった。
© 2026 Winzheng.com 赢政天下 | 转载请注明来源并附原文链接