OpenAIは、自社のエージェントが3次元ナビエ–ストークス方程式の「強制項付き」バージョンで有限時間のうちに解が破綻しうること(「有限時間爆発」)を証明したと述べている。これは、数十年にわたり数学者を悩ませてきた、より難しい完全な「強制項なし」の場合ではない。強制項なしの問題は依然として未解決のままだ。
OpenAIは明示的に、クレイ研究所の100万ドルの賞金を請求していない。 複数のメディアは、これをOpenAIが「間違った問題を解いた」からだと報じた。私たちはクレイ研究所の公式の問題文を直接確認したが、これは誤りだ。本当の理由はほぼ確実に手続き上のものだ。クレイの規定では、賞金の検討が始まる前に、査読付き学術誌への掲載と2年間の学界からの受け入れが必要とされている。
クレジットをめぐる対立は未解決だ。 NYUの数学者トリスタン・バックマスターは、OpenAIの研究者セバスチャン・ブベックが、共同研究者でAnthropicの社員でもあるレヴェント・アルプージェに対し、勤務先を理由に関連論文から名前を外すよう圧力をかけたと主張している。ブベックは不正行為を否定しており、OpenAIは匿名化された利用データが自社モデルの改善に間接的に役立った可能性を「排除できない」と述べている。Anthropic自身は一切声明を出していない。
OpenAIの証明全体を読んだと確認した独立系の数学者は、まだ誰もいない。 3週間が経ったいまも、それは変わっていない。クレイ研究所の会長は、評価は「意図的に急がない」ものになると述べた。
更新(2026年10月1日): この報道の後、テレンス・タオを含む25人のフィールズ賞受賞者が、業界全体の性急なAI数学発表を批判する共同声明を発表し、別の数学者グループがOpenAIの手法を実際の強制項なしの問題に拡張することは決してできないことを示す証明を発表し、ブベックはバックマスターが「婉曲的な脅し」だったと主張する発言について公に謝罪した一方で、バックマスターの説明の内容には異論を唱えている。詳細は以下の通り。
OpenAIが実際に主張していること
OpenAI自身の発表によれば、同社が「GPT-6 Astraよりかなり高性能」としか説明していない次世代モデルを動かす、およそ1万体規模の同時並行AIエージェント群が、2026年9月1日からおよそ9月5日まで(およそ88時間)かけて、3次元ナビエ–ストークス方程式の特定の、注意深く構成されたバージョンが有限時間で特異点を生じうることを示す証明を作成した。さらにおよそ17時間、今度はGPT-6 Astraを使って、証明の論理的なステップを機械で検証可能な形にしたLean形式化を作成した。OpenAI自身の数字によれば、ナビエ–ストークスの実行は、エージェントのメッセージ数がおよそ270万件、出力トークン数はおよそ1300億トークンに上る。独立系の評論家サイモン・ウィリソンは、提供された数字をもとに、(おそらくオイラー方程式に関する関連研究を含む)合計値は3000億トークン近くになると推計し、公開されているAPI料金で計算するとおよそ1500万ドルに相当するとした。どちらの数字も公には整合が取れておらず、OpenAIは総コストが「数百万ドル規模」に達したとしか述べていない。
見出しよりも、具体的にどんな数学的主張なのかのほうが重要だ。ナビエ–ストークス方程式は流体の運動を記述するもので、(重力のような)外力項が流体に働く強制項ありのバージョンと、外力のない強制項なしのバージョンがある。OpenAIの結果は強制項ありのケースについてのものだ。滑らかで物理的に妥当な初期条件と滑らかな外力の組み合わせを示し、その下で流体の運動がしだいに速く回転する渦へと締め上がっていき、有限時間のうちに滑らかでなくなる一方、流体の全エネルギーはその間ずっと有界にとどまる、という構成を記述している。ほとんどの人が「ナビエ–ストークス問題」と聞いて思い浮かべる強制項なしのケースは、依然として未解決のままだ。
「間違った問題」という主張自体が間違っている
Forkast Newsの記事を含め、この件を報じた複数のメディアは、OpenAIが100万ドルの賞金を請求しないという判断を、クレイ研究所の規定の対象外にある、別の、より簡単な問題を解いた証拠として描いた。私たちは、プリンストン大学の数学者チャールズ・フェファーマンが執筆したクレイ研究所自身の公式の問題記述を直接確認した。そこには、(A)から(D)までラベル付けされた、それぞれ等しく有効な4通りの問題の定式化が示されている。そのうち2つ、(A)と(B)は、外力なしで滑らかな解が常に存在することの証明を求めるものだ。残る2つ、(C)と(D)は、明示的に滑らかな外力項を許容し、その逆、すなわち解が破綻しうることの証明(大域的な滑らかさに対する形式的な反例)を求めている。OpenAIが発見したと主張する強制項付きの有限時間爆発は、「別の問題」ではなく、(C)または(D)の文言そのものに当てはまる。
Fefferman's four official problem statements (Clay Mathematics Institute)
---------------------------------------------------------------------
(A) Existence & smoothness on R^3, force = 0 -> prove solutions always exist
(B) Existence & smoothness on the 3D torus, force = 0 -> same, periodic case
(C) Breakdown on R^3, smooth force allowed -> prove a solution CAN break down
(D) Breakdown on the 3D torus, smooth force allowed -> same, periodic case
OpenAI's claim (forced blowup on R^3) matches the shape of (C).では、なぜOpenAIは賞金を請求していないのか。はるかにありそうな説明は、数学的なものではなく手続き上のものだ。クレイ研究所の現行規定では、提案された解が、認められた査読付き数学誌に掲載され、その後最低2年間、数学界からの一般的な受け入れを得るのを待って初めて、研究所の科学諮問委員会が審査委員会を招集する。4日前に発表された、それを作成した企業自身が内部で検証しただけの165ページの証明は、その基盤となる数学が最終的にどれほどの価値を持つとしても、まだそのハードルを越えていない。これは「間違った方程式を解いた」というのとは意味の異なる話であり、一次情報源が実際に裏付けているのはこちらのほうだ。
クレジットをめぐる対立
論争の的は数学だけではない。Axios、Fortune、CNNの報道によれば、OpenAIのセバスチャン・ブベックは、ミレニアム懸賞級の問題が2つ、すでに他所で解かれたという噂を耳にした後、9月1日にこのプロジェクトを開始した。その噂の出所をたどると、NYUの数学者トリスタン・バックマスターと、Anthropicの社員でありながら個人の立場で、Anthropicの公式プロジェクトとしてではなく副次的に取り組んでいたレヴェント・アルプージェに行き着く。アルプージェは、自分たちの未発表の研究の話がすでにOpenAIに伝わっていたことを知り、9月2日の夜にOpenAIに連絡を取った。バックマスターは9月3日にこれに続く形で連絡し、これがAnthropicの公式プロジェクトではなく個人的な取り組みであることを説明した。その後に生じた、急いで進めるようにという外部からの圧力が、2人のオイラー方程式に関する論文の出来が粗くなった一因であり、バックマスターは後にこれを「AI slop」と評している。2人の別個の研究が扱ったのは、関連はあるが異なる問題、すなわち多孔質媒体方程式、ブシネスク方程式系、そして3次元非圧縮オイラー方程式における、滑らかな外力下での有限時間爆発であり、OpenAI自身の投稿もその優先権が2人にあることを明示的に認めている。OpenAIが論文を発表した時点で、arXivに正式なプレプリントとして掲載されていたのは多孔質媒体方程式の結果のみだった。ブシネスクとオイラーに関する論文は、バックマスター自身のサイト上にPDFとLeanで検証済みの証明として存在するにとどまり、2人自身の論文ではこの2つを「近日公開予定」と記していた。
9月6日の通話で、ブベックはアルプージェのAnthropic所属がその関与を厄介にするという理由で、共著者から外すよう働きかけたとされ、バックマスターに対して「なぜ自分のキャリアを台無しにするんだ?」、さらに問い詰められると「私に優しくしてほしくないなら、優しくする必要はない」と語ったとされている。ブベックはこの描写に異論を唱え、こうした主張を「事実に反し、扇動的だ」と呼び、公式に「私たちは彼らのプロンプトや証明を、自分たちのモデルへのプロンプトやエージェントへの指示に使用していない」と述べている。ただし、VentureBeatに対するOpenAI自身の声明は、単なる否定にとどまらない。「彼らが自社製品を利用したことに由来する匿名化データが、私たちのモデルの改善に役立った可能性を排除できない」としつつ、この特定の問題を解くために特定のユーザーデータにアクセスしたことはないと主張している。バックマスター自身の立場は抑制的だ。「私たちのデータが使われたかどうかは分からない。私は誰かを何かで告発しているわけではない」。Anthropicは企業として一切声明を出していない。この対立をめぐる「Anthropic側」とされる発言はすべて、アルプージェ個人の発言であり、彼は自分の研究について、ある時点で「組織的な何かというより、私とClaudeが片隅で好き勝手にyoloして楽しんでいるようなもの」と表現している。
9月8日、TheNextWebの報道によれば、ブベックはXに自身の説明を投稿し、「レヴェントを彼自身の研究の著者から外すよう求めたことは一度もない」と書いたうえで、同じ非公開の通話での特定の発言について謝罪した。その証拠として、彼はアルプージェに宛てた、足並みをそろえた共同発表を提案するメッセージのスクリーンショットを共有し、そこに「最大限の誠意」が表れていることを願うと書いた。バックマスターはこれに対し、ブベックの説明は実際に交わされたやり取りを歪めていると公に反論した。OpenAIのCEOサム・アルトマンは、ブベックの投稿から30分と経たないうちに彼を擁護し、関係者全員が「終始、誠実さと寛大さをもって行動した」と投稿した。さらに、OpenAIがバックマスターとアルプージェはオイラー方程式を解いたがナビエ–ストークス方程式は解いていないと気づいた時点で、2人に先に発表する機会を提供し、2人が賞を受け取るべきだと提案し、さらにバックマスターにOpenAI自身の証明を書き直す際の筆頭著者の座を提示していたと述べた。本稿の更新時点で、どちらの側も自らの説明を撤回しておらず、対立は決着したとは言えず未解決のままだ。
その後の展開:数学界からの批判と、証明そのものへの新たな異論
OpenAIの発表から3週間、最も重要な反応はどちらの企業からでもなく、数学界全体から出てきた。2026年9月11日、テレンス・タオ、ピーター・ショルツ、マリナ・ヴィャゾフスカ、マンジュル・バルガヴァを含む25人のフィールズ賞受賞者が、タオのブログ上に「数学におけるAIの重大な機能不全」と題する共同声明を発表した(署名は現在も追加を受け付けている)。この声明はOpenAIともAnthropicとも名指ししておらず、特定の証明の正しさを問題にしているわけでもない。論点はプロセスにある。見出しを狙ってベンチマーク問題を追いかけるAI研究所が、署名者たちの言葉を借りれば、数学を真偽の「大量生産」に変えてしまい、この分野を本来支えている概念的な理解や帰属、コミュニティによる検証を置き去りにしているというものだ。声明についての報道によれば、このグループは、同種の声明が通常経る、より慎重な草稿プロセスを省略するほど事態が切迫していると判断したという。
これとは別に、OpenAIの構成そのものに対する直接的な数学的異論が9月17日(9月29日に改訂)に浮上した。プリンストン大学のピーター・コンスタンティン、ミハエラ・イグナトヴァ、ヴラド・ヴィコルがarXivに論文を投稿し、「Regularity of asymptotically axisymmetric solutions to the 3D Navier-Stokes equations with analytic forcing」と題した。論文自身の要旨から読み取れる厳密な結果は、全面的な反証というより限定的なものだ。OpenAIの構成が持つ2つの重要な構造的特徴を共有するどのような構成についても、爆発を引き起こす外力は「特異点付近で恒等的に消えることも、空間変数について実解析的であることもできない」ことを証明している。平たく言えば、OpenAIの強制項は、破綻が起きるまさにその点において人為的に働き続け、滑らかでない状態を保たなければならないということであり、これはまさに、現実に存在する力(重力や圧力など、外部の主体がオン・オフを切り替えるようなものではない力)には見られない性質だ。シカゴ大学の数学者ルイス・シルベストレは、サイエンティフィック・アメリカン誌に対してこの結論を「クレイの問題は決着したが、ナビエ–ストークス方程式の本題は決着していない」とまとめた。これは新しい主張というより、この記事がもともと指摘していた点をより鋭く、形式的に証明した版だと言える。すなわち、クレイ研究所の問題記述の文言は強制項ありのケースを確かに許容しており(したがってOpenAIの結果は、正当な定式化に対する正当な解答である)、それでも数学者たちが実際に気にかけている強制項なしの、物理的に直観的なバージョンに向けてこの構成を押し進めることはできないという具体的な技術的理由を、この新しい論文は示している。同じ記事で引用されたディエゴ・コルドバやゴンサロ・カオ=ラボラを含む他の数学者たちはさらに踏み込み、振り返ってみればクレイ研究所の2000年の問題記述が、そもそも強制項のケースを含めたこと自体が起草上の誤りだったのではないかと示唆している。
両ラボの外にいる数学者たちが実際に語っていること
*状況*に対する反応と、*数学*の検証とを分けて考える価値がある。というのも、これまでの公の論評の大半は前者だからだ。クレイ数学研究所の会長マーティン・ブリッドソンは「刺激的な日だ」と述べたが、支持表明には程遠く、Natureに対して評価は「意図的に急がず」「絶対的に厳密」なものになると語った。公式の問題記述の著者であるフェファーマン自身は、「この問題が解かれたことに興奮している」と述べた。Quanta Magazine自身の報道は、誰の証明を検証するものであれ、Lean形式化が持つ本当の限界を指摘している。人間が今なお行わなければならない決定的な検証は、Lean内で真であることが示された命題が、数学者が実際に証明しようとしていたものと論理的に同値であることの確認だ。機械による証明検証器は、一連の論理的ステップが内部的に整合していることは確認できても、その形式化された命題が誰もが気にかけている定理そのものであることまでは、それ単体では確認できない。
テレンス・タオは、OpenAIの証明そのものではなく、バックマスターとアルプージェをめぐる話について論評し、「注目すべき成果だ」としながらも、この機会により大きな懸念を提起した。「答えを得ることと理解を得ることの間に、今年だけでも見られる、この非常に奇妙で前例のない乖離」だとし、その経験を「映画を観に行って、最初の10分からいきなり最後の10分に飛ぶようなもの——形式的にはすべての筋書きが解決しているが、体験の価値の大半は失われている」と例えた。また、噂に駆り立てられた早い者勝ちの発表競争は、数学者たちが有望な部分的成果を早期に共有することを妨げてしまい、この分野が本来あるべき姿とは逆行していると警告した。コロンビア大学の数論学者マイケル・ハリスは、自身のブログSilicon Reckonerで、自分の知識の限界を明示しつつ、この行動についてより率直に語った。「私はOpenAIの証明を見ていない。彼らのモデルが何をしたのか、どうやったのかも知らない」としたうえで、報じられている計算資源の投入量を「数学に対する侮辱だ」と評した。本稿の公開時点で、対立のどちらの側であれ、その外側であれ、OpenAIの165ページに及ぶ証明全体を自ら読んで確認したと述べた数学者を、私たちは見つけていない。
研究にAIを使う人にとって、これがなぜ重要なのか
Gemini NotebookやNotebookLMを使ってミレニアム懸賞問題を証明する人はまずいないだろう。だがここに見られるパターンは、どんな規模であれ認識しておく価値がある。自信たっぷりで、体裁が整っており、たとえ形式的に検証されていたとしても、AIの出力が独立して検証されたものと同じとは限らない、ということだ。Lean形式化は本当に有用なツールであり、たいていのAI生成コンテンツが受けるよりも強力な自己検証の一形態だ。それでもピアレビューではないし、形式化された内容と実際に意図されていた内容とのずれを見抜くことはできない。同じ注意は、リサーチツールが自分の元となるソース文書から出してくる引用や要約にも当てはまる。それをもとに何かを組み立てる前に、具体的な主張を一次情報源に照らして確認すべきだ——このニュース自体が、まさに今も誰かがそれをしてくれるのを待っているのと同じように。
よくある質問
OpenAIはナビエ–ストークスのミレニアム懸賞問題を解いたのか?
OpenAIのエージェントは、3次元ナビエ–ストークス方程式の強制項付きバージョンについて、滑らかな流れが有限時間のうちに破綻する特定の構成を示す証明を作成した。より難しく、より一般に引用される強制項なしのバージョンは依然として未解決だ。本稿執筆時点で、OpenAI以外の数学者で証明全体を読んで確認したと公に述べた者はいない。
なぜOpenAIは100万ドルの賞金を請求していないのか?
OpenAIは明示的には説明していないが、クレイ数学研究所自身の規定では、賞金の審査が始まる前に、提案された解が査読付き学術誌に掲載され、最低2年間の学界からの精査に耐える必要がある。4日前に作られた、内部で検証されただけの証明は、その数学が最終的にどこまで通用するかにかかわらず、まだそのハードルを越えていない。
OpenAIが「間違った問題」を解いたというのは本当か?
いいえ。クレイ研究所の公式の問題記述(チャールズ・フェファーマン執筆)には、外力を許容し破綻・反例を求める定式化が明示的に含まれており、これはOpenAIの主張の形にほかならない。これを無関係、あるいは無効な問題だと描く報道は、実際の規定を読み違えている。
Anthropicとの対立は何をめぐるものか?
NYUの数学者トリスタン・バックマスターは、OpenAIのセバスチャン・ブベックが、共同研究者でAnthropicの社員のレヴェント・アルプージェ(Anthropicの公式プロジェクトではなく個人として取り組んでいた)に対し、勤務先を理由に関連論文から名前を外すよう圧力をかけたと主張している。ブベックは不正行為を否定している。Anthropicは企業として一切公式声明を出していない。
OpenAIの証明を独立に検証した者はいるのか?
本稿の更新時点ではいない。クレイ研究所自身の会長を含め、これまでに公に引用された数学者は皆、この状況、あるいは証明の適用範囲に関する具体的な技術的ギャップに反応しているだけで、文書全体を自ら読んで確認したと述べているわけではない。
OpenAIの証明に問題があると指摘した者はいるのか?
いる。ただし数学そのものの誤りではない。別の数学者グループが9月中旬にarXivに証明を投稿し、OpenAIの強制項付き爆発の手法は、実際の強制項なしのナビエ–ストークス問題について何も言えるように拡張することはできないことを示した。シカゴ大学の数学者ルイス・シルベストレはこうまとめている。クレイの問題の狭い、強制項付きのバージョンは決着したが、数学者が実際に気にかけているより難しい問題は決着していない。
フィールズ賞受賞者たちはこの件について何と言っているのか?
2026年9月11日、テレンス・タオを含む25人のフィールズ賞受賞者が、AI研究所がベンチマーク的な数学の問題を先を争って主張する、より広いパターンを批判する共同声明を発表した。これは数学が依存している概念的な理解や帰属のプロセスを置き去りにするものだと主張している。この声明はOpenAIやAnthropicを特に名指ししておらず、どの証明の正しさも問題にしていない。