Ep.1493 OpenAIのAIが数学の超難問「ナビエ–ストークス方程式」を解決──歴史的快挙と浮上したアイデアの帰属問題（2026年9月9日配信）

名古屋ではたらく社長のITニュースポッドキャスト · Sep 8, 2026 · 4m

タイトル

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

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

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

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

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

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

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