2026年9月8日 19:00
OpenAI、ナビエ・ストークス問題にAI解
On the Navier–Stokes Millennium Prize Problem
3行まとめ
- •OpenAI、ナビエ・ストークス問題にAI解
- •Lean言語で形式的証明を公開
- •数学の未解決問題に挑戦
詳細
背景
ナビエ・ストークス方程式は流体の運動を記述する偏微分方程式で、3次元空間における滑らかな解が常に存在し続けるかという問題は、米クレイ数学研究所が100万ドルの懸賞金をかけた7つのミレニアム懸賞問題の一つとして数十年にわたり未解決のままとなっている。数学界でも最難関の問題の一つとされる。
内容
OpenAIは、このナビエ・ストークス問題に対するAI生成の解決策を公式ブログで共有した。発表では、問題へのアプローチをまとめた解説文書に加え、証明支援システムLeanを用いて記述した形式的証明を公開しているとしている。形式的証明とは、コンピュータが自動で検証できる厳密な論理形式で書かれた証明であり、人間による査読とは別の角度から正しさを確認できる手法として近年注目されている。
今後の影響
今回の発表が問題の完全な解決を意味するのか、部分的な進展にとどまるのかは、今後数学者コミュニティによる詳細な検証を経て判断されることになる。AIが人類未解決の数学的難問に取り組んだ事例として、AIの数学的推論能力の到達点を測る試金石になるとみられる。
なぜ重要か
AIが数学の未解決難問に取り組んだ事例で、真偽の検証は今後の数学者コミュニティの反応が焦点となる。
元記事を読む — OpenAI Blog