9月9日、Latent Spaceが「[AINews] OpenAI reports Navier-Stokes singularity find in 88 hours using Astra-next, roughly 10,000 agents and 130B tokens (>$40M), a contender for second ever Millennium Prize awarded」と題した記事を公開した。OpenAIが約1万のAIエージェントを用いてミレニアム懸賞問題の一つ、Navier-Stokes問題の解を生成したと発表したのだ。なお、タイトルに含まれる「88時間」という数字はOpenAIの公式声明ではなく風刺投稿に由来しており、実態が公式情報と大きく乖離しているにもかかわらず広まっている点が、この発表をめぐる混乱を象徴している。
OpenAIが「Navier-Stokes問題の解」を発表
2026年9月8日、OpenAIは公式Xアカウントで、ミレニアム懸賞問題（クレイ数学研究所が2000年に設定した7つの未解決問題群。各問題に100万ドルの賞金が懸かっている）の一つである**Navier-Stokes方程式の存在・一意性問題**に関する解を、複数のエージェントが協調して生成したと発表した。
OpenAI社員のEthan Knightによると、この取り組みの概要は以下の通りだ。
- 約1万のエージェントが協調して動作
- マルチエージェント強化学習（multi-agent RL）を約1年間かけて訓練
- 大規模な並列テスト時計算（parallel test-time compute）を活用
- エージェント同士が自律的に役割分担を決定する「自己組織化」型アーキテクチャ
投稿では「GPT-6 Astraよりも大幅に高性能な次世代モデルを使用した」とも述べられており、モデル名は明示されていないが、記事タイトルでは"Astra-next"と表現されている。コスト試算ではトークン消費量130B超、費用は4,000万ドル以上とされる。
何が主張されていて、何が未確認なのか
記事は事実と未確認情報を丁寧に区別している。
確認されている事項：
- 約1万エージェントが関与したという公式に近いアカウントからの発言
- 訓練期間は約1年、手法はmulti-agent RL
- 並列テスト時計算による推論が中心的な手法
確認されていない事項：
- 頻繁に引用される「88時間」という数字は、元記事によれば風刺投稿に由来しており、OpenAI側の公式声明には登場しない
- 定理の具体的なステートメント、証明の全文、プレプリント、形式検証の結果はいずれも未公開
- 人間がどの程度関与したか（問題分解、補題の選別、検証作業など）は不明
- 「solution（解）」の意味も曖昧で、完全証明なのか、候補となる証明戦略なのかは不明
また、Navier-Stokes問題の標準的な定式化では、3次元非圧縮Navier-Stokes方程式の大域的正則性が問われる。今回の主張が有限時間特異点（blow-up）の存在を示すものであれば、「大域的正則性が成立しない」という爆発的な結論となり得るが、その詳細は未公開であり、数学界における検証ハードルが極めて高いことは変わらない。
技術的に重要なのは「流体力学」より「システムアーキテクチャ」
記事が最も強調するのは、流体力学の結果そのものではなく、研究システムとしてのアーキテクチャ設計だ。
1万エージェントを動かすシステムには以下のような要素が必要になる。
- タスク分解
- エージェント間通信
- メモリ・状態の永続化
- 探索木管理
- 報酬設計またはプロキシスコアリング
- 証明候補パスの集約・選択
「エージェントに働き方を決めさせる」という記述は、完全に手動でオーケストレーションされるのではなく、部分的に創発的な協調ポリシーが生まれていることを示唆している。
記事はこれを「モノリシックなモデルのスケールアップ」から「エージェント集合体による並列探索とテスト時計算のスケールアップ」へのパラダイム転換と位置づけている。
反応：楽観論と懐疑論が真っ二つ
楽観的な見方：
「科学界が『AIは本当にはコーディングできない』と言っていたときと同じような崩壊が起きている」
— Theo Jensen（X）
「私たちは完全に高計算量レジームに入った。それに応じて計画を見直すべきだ」
— hrishioa（X）
懐疑的な見方：
定理ステートメントも証明も公開されていない段階で「解いた」と言うのは時期尚早、という立場は数学コミュニティを中心に根強い。再現可能なアーティファクトがない以上、独立した検証は不可能であり、「一発勝負の成果だったのか」も判断できない。
同日の他ニュース：それでも埋もれなかった発表
この発表と同じ日には、AI業界で以下の大型ニュースが重なっていた。
- Cognitionが480億ドル規模の資金調達を実施
- Mistralが240億ドル規模の資金調達を実施
- GPT Image 2.5が公開
- Dreamer（旧称）がMeta Museエージェントとしてリローンチ
これだけの大型ニュースが同日に並んでもなお、Navier-Stokes発表の方が話題をさらった。記事はこの事実を「それだけAIへの期待バーが上がった証拠だ」と評している。数十億ドル規模の資金調達よりも「数学の未解決問題を解いた」という主張の方が注目を集める時代になったという文脈として、この並列は記録しておく価値がある。
