飛行機の翼をかすめる気流から、大気圏を巡る巨大な渦、心臓から拍出される血液の流れに至るまで、流体の運動は連続体として捉えられ、微分方程式の枠組みで記述されてきた。19世紀初頭にClaude-Louis Navier、そしてGeorge Gabriel Stokesが導出した方程式系は、現代工学と地球科学の骨格を成している。だが、この極めて実用的な数式には、およそ90年にわたり数学者たちを阻み続けてきた根本的な問いが埋め込まれていた。
滑らかな初期状態から出発した流体は、粘性という摩擦の働きによって永遠に滑らかに動き続けるのか。それとも、ある瞬間に速度が無限大へと跳ね上がり、連続体としての記述そのものが破綻するのか。
2026年9月8日、OpenAIはこの問いに対して独自の回答を出したと発表した。同社が開発中の未公表内部モデルが、3次元非圧縮性ナビエ–ストークス方程式において有限時間内に特異点（ブローアップ）が発生することを解析的に証明し、対話型定理証明支援系Leanによる形式化検証を完了したという。対象となったのは、クレイ数学研究所が定めるミレニアム懸賞問題のうち、滑らかな外力が加わった条件下で解の滑らかさが破綻することを示す「主張C」および「主張D」である。
しかし、この発表は純粋な数学的祝祭として迎えられたわけではなかった。ほぼ同時期に先行成果を準備していた数学者グループとの優先権を巡る摩擦、検証の透明性、そして機械が生成した長大な証明を人間が「理解」することの価値を巡り、数学界とAI研究の境界線上で激しい議論が巻き起こっている。
クレイ研究所の定式化が問う「滑らかさの破綻」という限界点
ナビエ–ストークス方程式の存在と滑らかさの問題は、2000年に米クレイ数学研究所（CMI）が指定した7つのミレニアム懸賞問題の一つである。Charles Feffermanが執筆した公式規定によれば、100万ドルの懸賞金の対象となるのは、以下の4つの言明（A、B、C、D）のうちいずれか1つを証明または反証することである。
| 言明 | 空間設定 | 外力項 $f(x,t)$ | 主張の本質 |
|---|---|---|---|
| (A) | 3次元ユークリッド空間 | 0（外力なし） | 滑らかな大域解が常に存在する |
| (B) | 周期境界条件（トーラス ） | 0（外力なし） | 滑らかな大域解が常に存在する |
| (C) | 3次元ユークリッド空間 | 滑らかで減衰する外力が存在 | 有限時間で滑らかな解が存在しなくなる（破綻） |
| (D) | 周期境界条件（トーラス ） | 滑らかで周期的な外力が存在 | 有限時間で滑らかな解が存在しなくなる（破綻） |
歴史を振り返れば、1934年にフランスの数学者Jean Lerayが「弱解（weak solutions）」と呼ばれる一般化された意味での解が時間大域的に存在することを示した。だが、その弱解が一意であり、かつ無限回微分可能な滑らかさを保ち続けるのかという問題は未解決のまま残された。
ここで留意すべきは、言明AおよびBが「外力なし（$f=0$）」の状況下での永遠の滑らかさを問うているのに対し、言明CおよびDは「物理的に妥当な滑らかな外力」を加えた系における破綻の存在を許容している点だ。物理的に妥当な解とは、速度場 $u$ と圧力 $p$ が 級であり、流体の総運動エネルギー（ における の積分）が時間を通じて有限に保たれることを意味する。
- 外力なし (f=0)
- 滑らかな外力あり
データを表で見る
| 外力なし (f=0) (言明の区分) | 滑らかな外力あり (言明の区分) | |
|---|---|---|
| 主張A (大域滑らかさ) | 1 | 0 |
| 主張B (トーラス滑らかさ) | 1 | 0 |
| 主張C (有限時間破綻) | 0 | 1 |
| 主張D (トーラス破綻) | 0 | 1 |
OpenAIが主張する証明は、まさにこの言明CとDを対象としている。静止した滑らかな流体に滑らかな外力を印加し続けた結果、有限の時間内に速度が無限大へと発散する特異点が生じることを構成したという。
同社の解説資料によれば、構成された解の構造は、流体が内側へ向かって渦状に巻き込まれ、スパゲッティのように軸方向へ引き伸ばされていく渦糸のダイナミクスを持つ。中心領域が急激に収縮しながら回転速度を加速させる過程で、流体の総エネルギーは有限にとどまる。ナビエ–ストークス方程式を構成する加速度項、圧力勾配、運動量輸送（移流項）、そして粘性散逸の各項が極めて大きな値を取りながらも、お互いを精密に打ち消し合い（キャンセルし）、外力項自体は終始滑らかに保たれたまま速度勾配のみが無界に達するというメカニズムだ。
流体の速度が無限大に達するという結果は、現実の気体や液体が無限の速度で動くことを予言するものではない。OpenAI自身も認めている通り、現実の流体は分子の集まりであり、速度勾配が極限まで増大した領域では流体を連続体として扱う近似そのものが妥当性を失う。分子運動論や統計力学の視座に戻らなければ系の挙動を記述できなくなる境界線を、方程式が数学的に露呈させたことを意味している。
1万のエージェントと1300億トークンが描いた88時間の探索
OpenAIが公開したブログ記事によれば、今回の証明を導出したのは、2026年8月28日から学習が開始された「GPT-6 Astraよりも大幅に高い能力を持つ」とされる未公表の内部モデルである。同モデルの訓練は現在も継続中であり、社内ベンチマークにおいて極めて高い数学的推論能力を示していたという。
同社の説明によると、探索プロジェクトが本格始動したのは2026年9月1日火曜日のことだった。ミレニアム懸賞問題の2つが解決されたという噂を耳にした研究チームは、この新型モデルの能力を測定するため、未解決のミレニアム問題や関連する重要課題へモデルを投入することを決定した。
システムは、キャッシュされたウェブの閲覧権限やコード実行環境を備えた自律型エージェント群によって構成された。エージェントは複数のグループに分けられ、グループ内での相互通信を行いながら作業を進めた。ナビエ–ストークスの解決に最終的に関与したグループでは、最大で1万エージェントが同時に並行稼働したとされる。
| 探索フェーズ | 投入エージェント規模 | 所要時間 | 取り組んだ数学的課題 |
|---|---|---|---|
| 初期探索（オイラー方程式） | 約100エージェント（社内ブログ） | 約50時間 | 外力なし非粘性オイラー方程式の正則性破綻 |
| ナビエ・ストークスへの転換 | 最大約10,000エージェント | 約88時間（開始から積算） | 粘性項を含むナビエ–ストークス方程式の特異点構成 |
| 形式検証（Lean） | GPT-6 Astra利用 | 約17時間 | 証明全体の構文チェックおよび公理的一貫性の検証 |
探索の初期段階において、チームはナビエ–ストークス方程式の粘性項を取り除いた極限に相当する「非圧縮性オイラー方程式」の正則性問題をテストケースとして設定した。この段階で、約100のエージェントが約50時間にわたって協調作業を行い、外力のないオイラー方程式において特異点が発生するという解を導き出した。
この成功を受けて、研究チームは他のミレニアム問題に割り当てていたエージェント群をナビエ–ストークス方程式の解析へと再配置した。その際、Codexを用いて各エージェントグループの中間知見を集約し、有用なアプローチを別のグループへと交差的にプロンプトとしてフィードバックする運用が取られた。さらに、探索の過程で追加学習が進んだ最新版の内部モデルへと順次エージェントの更新が行われた。
その結果、探索開始から約88時間が経過した9月5日土曜日、エージェント群はナビエ–ストークス方程式の有限時間破綻の解析的証明に到達した。その後、GPT-6 Astraを用いて対話型証明支援系「Lean」による形式化と検証が進められ、17時間後に作業が完了したとされる。
全試行を通じてエージェント間で交わされたメッセージ数は490万件、出力トークン数は約3000億トークンに達した。そのうちナビエ–ストークス問題の解決に費やされたのは270万件のメッセージと約1300億トークンであった。
ただし、これらの運用数値には社内ブログの記述と外部報道との間で一部差異が存在する。英ポピュラー科学誌New Scientistが報じたOpenAIの記者説明会の内容によれば、オイラー方程式に約1,000エージェントが50時間投入され、その後のナビエ–ストークスへの拡張には約1万エージェントが約11時間で完了したと説明されている。また、顧客向けの利用料金に換算した計算コストはおよそ1500万ドル規模に相当するという。インドの経済メディアMoneycontrolの報道でも、OpenAIのMark Chen副社長が計算コストについて「確実に数百万ドルの規模（emphatically in the millions of dollars）」と言及したことが伝えられている。また、Sébastien Bubeckが過去の数学的成果と比較して「およそ1,000倍のスケールアップ」と表現したことが報じられているが、この比較元・比較先となる具体的な計算量やトークン数の絶対値は確認できた公表資料では示されていない。
なお、OpenAIは今回の成果について、同社が目指す「高度なAIの進捗度合いを示すスナップショット」であると位置づけており、クレイ数学研究所の100万ドルの懸賞金を請求する意向はないと明言している。
先行研究との交錯と「ディープ・ブルー対カスパロフ」の再来
OpenAIの華々しい発表の裏側では、純粋数学の最前線で研究を進めてきた研究者たちとの間で、複雑な優先権と情報接触を巡る問題が浮上していた。
発端となったのは、ニューヨーク大学（NYU）クーラント研究所の数学教授であるTristan Buckmasterと、AI企業Anthropicの社員である数学者Levent Alpögeの共同研究である。両名はOpenAIの発表に先立ち、非圧縮性多孔質媒体方程式（IPM）、2次元ブシネスク方程式、そして3次元非圧縮性オイラー方程式という3つの流体モデルにおいて、滑らかな外力のもとで有限時間内に特異点が形成されることを示した一連のプレプリントを公開した。
この研究の基礎には、スペインのマドリード自治大学および高等科学研究院（ICMAT）のDiego CórdobaとLuis Martínez-Zoroaが切り拓いたプログラムが存在する。両名は粗い外力（rough forcing）を用いた特異点形成を示していたが、BuckmasterとAlpögeは大規模言語モデル（LLM）を活用することで、外力を滑らかな関数にまで洗練させ、3次元オイラー方程式へ拡張することに成功した。
Buckmasterが公開した個人声明文（statement）によれば、彼らの取り組みは雇用主や所属機関を通さない個人的な共同研究であり、AnthropicのClaudeやOpenAIのCodex（GPT-5.6 Sol、のちにAstra）が利用されていた。Astraの用途は主に論文執筆と監査の補助に限られていたという。彼らはさらに、粘性が標準より弱い「準散逸ナビエ–ストークス方程式」の破綻についても解を得ていたとされるが、Leanによる形式化が完了しておらず、提示可能な水準の論文草稿が未完成であったため公開を見送っていた。
タイムラインは緊迫した様相を呈している。Buckmasterは9月3日、OpenAIの数学研究者に個人的な電子メールを送信した。その後、9月6日にBubeckを含むOpenAIのスタッフと協議を行った際、OpenAI側から「内部モデルが および における滑らかな外力下のナビエ–ストークス破綻（Feffermanの言明CおよびD）を示す約100ページの証明を生成した」と知らされたという。
Buckmasterの声明によれば、当初OpenAI側は「人間の介入はほとんどなかった」と説明したものの、詳細を問う過程でその説明の整合性に疑問が生じたと記している。また、OpenAIから成果の同時発表や単独著者扱いの提案を受けたが辞退したという。Buckmasterは声明文の中で次のように慎重に言葉を選んでいる。
「私はOpenAIの証明を見ていない。彼らのモデルが何をしたのか、どのように機能したのかも知らない。我々のデータが利用されたかどうかも分からない。私は誰に対しても何の告発もしていない（I am not accusing anyone of anything）。」
一方、OpenAI側もブログおよび記者会見で経緯を説明している。同社は9月1日に「ミレニアム問題が解かれたらしい」という噂を聞いてプロジェクトを開始したとし、9月6日にLean検証が完了した段階で、相手方もナビエ–ストークス方程式を解決したと推測して同時発表を持ちかけたと主張する。その協議の場で初めて、Buckmasterらの成果がナビエ–ストークスではなく外力付きオイラー方程式に関するものであることを知ったという。
OpenAIは、自社の研究者およびエージェントが公開前に相手方の草稿や証明を目にした事実は一切なく、特定のユーザーデータにアクセスしたこともないと否定している。ただし、製品利用を通じて匿名化されたデータがモデルの性能向上に寄与した可能性までは完全には排除できないとした。さらに、オイラー方程式に関して自社が示したのは「外力なし」のケースであり、Buckmasterらの「滑らかな外力あり」とは証明の構造も定理の対象も根本的に異なると反論している。記者会見においても、Bubeckは「相手方のプロンプトや証明をモデルの誘導に用いたことはない」と否定し、Mark Chenも進行中の作業データへのアクセスを否定した。
Buckmasterはこの一連の出来事を、1997年にチェス世界王者が計算機に敗北した「Deep Blue対Garry Kasparovの瞬間」に例えている。同時に、自身が公開したオイラー方程式のプレプリントの記述品質について、AIが出力した粗削りな文章が混在していることを認め、「AIスロップ（AI slop）」と自嘲交じりに表現した。そして数学コミュニティに対し、モデルの学習データ、貢献の帰属（クレジット）、査読制度、そして数学という学問の優先順位について、拙速を避けた深い議論を始めるよう呼びかけている。
形式化の確からしさと人間による「理解」の懸隔
OpenAIが公開した証明PDFとLeanコードは、数学的な真実の確定においてどのような位置を占めるのか。ここで重要となるのは、形式証明支援系（Lean）が何を保証し、何を保証しないのかという論理的な境界線である。
Leanによる検証が保証するのは、「定義された公理と推論規則に基づいて、記述された定理のステートメントが論理的に導出されているか」という構文的・演繹的な正しさである。しかし、Lean自身は「形式化されたステートメントが、Feffermanが規定した物理的・数学的なナビエ–ストークス問題の要件と厳密に合致しているか」までは判断しない。もし初期条件の減衰条件や外力の滑らかさの定義、あるいは解の属する関数空間の設定に微小な齟齬や不自然な仮定が含まれていれば、Leanのコンパイルが通過したとしても、ミレニアム問題を真に解決したことにはならない。
フィールズ賞受賞者であるカリフォルニア大学ロサンゼルス校（UCLA）のTerence Taoは、2026年9月7日のブログ投稿において、BuckmasterとAlpögeの成果を「IPM、2次元ブシネスク、3次元オイラーという3つの簡易化されたモデルにおけるブレイクスルー」と高く評価しつつも、彼ら自身はナビエ–ストークス方程式そのものの破綻には達していないと指摘した。
Taoは、原理的にこれらの手法をナビエ–ストークスへと拡張することを阻む決定的な障害は見当たらないとし、将来的に外力項を除去できる可能性も無視できないと述べながらも、そこには依然として膨大な技術的困難が横たわっていると論じた。さらにTaoは、こうした数学的研究の主たる価値は、単に「問題が解かれた」という事実そのものよりも、解法の背後にある人間が消化可能な数学的洞察（digestible insight）にあると強調する。深い構造理解を伴わない解決は、一般メディアで騒がれるほど数学にとって内在的な重要性を持たないという立場だ。
Taoは発表直前の9月5日にもSNS上で、ナビエ–ストークスにおける目立った進展は認識していないとした上で、仮に自律型AIがこの問題を完全に解いたとしても、その探索過程がブラックボックス化されたままであれば「数学に対する価値はほとんどゼロに等しい」と警告していた。
| 比較項目 | OpenAI発表（2026年9月8日） | Alpöge & Buckmasterプレプリント | クレイ研究所（Fefferman規定） | 独立した第三者による検証状況 |
|---|---|---|---|---|
| 対象方程式 | 3次元非圧縮性ナビエ–ストークス方程式 | IPM、2次元ブシネスク、3次元オイラー（準散逸NSは未公開） | 3次元非圧縮性ナビエ–ストークス方程式 | Alpögeらのオイラー結果は数学者が確認中。OpenAIのNSは未検証 |
| 外力項の扱い | 滑らかな外力あり（言明CおよびD） | 滑らかな外力あり | 言明A・Bは外力0。言明C・Dは滑らかな外力許容 | OpenAIの構成がFefferman規定の減衰条件を満たすか精査が必要 |
| 証明の形態 | 自社サイト公開PDFおよびLean形式化コード | arXivプレプリントおよびLean形式化コード | 査読付き学術誌への掲載と2年間のコミュニティ検証 | クレイ研究所による公式な承認や審査報告は一切存在しない |
| AIの関与度 | 1万規模の自律エージェント群が自動導出 | 人間の数学者が主導し、LLMを執筆や一部導出の補助に利用 | 規定なし（人間の理解可能性が実質的な前提） | 機械可読な形式化と人間による概念把握の間にギャップが残る |
オランダのテクノロジーメディアThe Next Webが報じたところによれば、発表直後の段階でBuckmasterらは機械検証可能なLeanコードとともに論文を公開していたのに対し、OpenAIは記者発表の時点では論文の詳細を一般公開していなかった。その後、OpenAIの公式インデックスページに論文PDFとLean formalizationへのリンクが追記されたものの、数学界による査読や独立した検証作業は緒に就いたばかりである。
当然ながら、現時点でクレイ数学研究所がこの証明を承認したり、ミレニアム懸賞問題を解決済みと認定した事実はない。懸賞金の授与規程では、高水準の査読付き数学ジャーナルに論文が掲載され、その後2年間にわたって数学コミュニティの広範な検証に耐えることが必須条件として定められている。
未解決の方程式が問いかける知性の輪郭
今回の発表が突きつけているのは、流体力学の物理的解釈と、AIによる科学的発見の評価という二重の課題である。
第一に、物理的な流体記述としての意味合いだ。今回のOpenAIの構成は、特定の巧みに設計された滑らかな外力を加え続けることで、数学的な方程式系を特異点へと追い込む存在証明（existence proof）である。マンチェスター大学のDavid SilvesterがNew Scientistに対してコメントしたように、Buckmasterらの結果や今回の試みは完全な解決に向けた「重要な踏み石」ではあるものの、工学的に最も関心が高い「外力のない孤立系において、自然な流動から乱流が生じ、自発的に特異点が発生するのか（言明AおよびB）」という問いは、依然として手つかずのまま残されている。航空機の設計や日々の気象予測で用いられるナビエ–ストークス計算が、明日から破綻するわけではない。
第二に、AIモデルの能力評価に関する透明性の問題である。OpenAIが報告した「未命名の内部モデル」の性能、ベンチマーク結果、計算資源の投入規模は、現時点ではすべて同社の一方的な主張に基づくものであり、外部の独立した研究者が同一環境で再現することはできない。
今後注視すべき論点は明確だ。公開されたLeanコードが、Feffermanの定式化した言明CおよびDの公理的条件を漏れなく再現しているか。そして、出力された証明の論理展開を数学者たちが読み解き、新たな数学的道具立てや概念として咀嚼できるかである。
特異点において無限大に発散したとされる流速の彼方に、真の物理的洞察が存在するのか、あるいは計算資源の力任せの探索が生み出した長大な論理の迷宮が横たわっているのか。その判定は、アルゴリズムではなく、生身の数学者たちによるこれからの厳密な読解に委ねられている。
