Episode Details

タイトル

OpenAIのAIが数学の超難問「ナビエ–ストークス方程式」を解決──歴史的快挙と浮上したアイデアの帰属問題

このエピソードで登場するキーワードを説明します。

ミレニアム懸賞問題 (Millennium Prize Problems): 2000年にクレイ数学研究所が発表した、数学界における7つの未解決問題。各問題には100万ドルの懸賞金がかけられており、これまで解決されたのは「ポアンカレ予想」のみでした。

ナビエ–ストークス方程式 (Navier-Stokes equations): 流体の運動を記述する物理学の基本方程式。ニュートンの運動の第2法則（F=ma）を流体に適用したもので、気象予測や航空機設計などに不可欠ですが、「滑らかな初期状態から出発しても、有限時間内に速度が無限大（特異点）になるような破綻（Blowup）が起き

るか」という点が長年の謎でした。

Lean: 数学的証明が論理的に正しいかをコンピュータ上で機械的に検証するための「定理証明支援言語」。OpenAIのAIは、人間向けの論文（165ページ）だけでなく、このLeanを用いた厳密な形式証明も同時に出力しました。

それでは解説に入ります。

2026年9月8日、OpenAIは自社の未発表の最新AIモデルを用いて、ミレニアム懸賞問題の一つである「ナビエ–ストークス方程式の解の存在と滑らかさ」を解決したと発表しました。約90年間にわたり世界中の天才数学者たちを阻んできた壁を、AIが打ち破った歴史的な瞬間として世界中に衝撃を与えています。

OpenAIの発表によれば、先日リリースされた「GPT-6 Astra」をさらに凌駕する推論能力を持った内部モデルを投入し、約1万ものAIエージェントを並列に協調させるシステムを構築しました。エージェントたちは約88時間にわたって自律的にコードの実行やインターネットのキャッシュ情報の読み込みを行い、最終的に「滑らかに静止した流体であっても、渦が巻き込まれながら有限時間内に特異点（無限大の速度）を発現し得る」という証明（ミレニアム問題における条件Cの確立）を導き出しました。数百万ドル規模の莫大な計算リソースを「数学の証明」という単一のタスクに注ぎ込むことで、AIによる科学的発見が新たなフェーズに突入したことを如実に示しています。

しかし、この歴史的快挙は同時に深刻な論争（ドラマ）を引き起こしています。ニューヨーク大学（NYU）の数学教授であるTristan Buckmaster氏とAnthropicの研究者Levent Alpöge氏のチームが、数週間前に別のAIツールを駆使して関連する流体方程式（オイラー方程式）の特異点問題で重大な進展を遂げていたのです。Buckmaster氏らは、彼らが研究過程でOpenAIの製品に入力したプロンプトやデータを、OpenAI側が自社のモデルの学習や着想に「盗用」したのではないかと異議を唱えました。

これに対しOpenAIは、「特定のユーザーデータにはアクセスしておらず、両者のアプローチは大きく異なる」と反論しつつも、「匿名化された利用データがモデルの改善に寄与した可能性は完全には否定しきれない」と声明を出しており、AI研究における“アイデアの帰属（クレジット）”という極めて現代的な倫理問題を浮き彫りにしています。

いずれにせよ、AIが既存の知識の検索や要約を超え、「人類がいまだ到達していない未知の真理」を自律的に証明できる段階に入ったことは疑いようがありません。この驚異的な「AIエージェントによる推論能力」が、今後どのような学問分野や産業を書き換えていくのか、そしてAI開発企業と人間の研究者との関係がどう再定義されるのか、今後の動向から目が離せません。

今回のエピソードは以上で終了です。また次回お会いしましょう。