OpenAI、ナビエ・ストークス千年紀問題を解決
Judul asli: On the Navier–Stokes Millennium Prize Problem
Mengapa Ini Penting
AIが90年来の未解決数学問題を解決し、科学研究への応用可能性を実証した。
OpenAIは2026年9月8日、約90年未解決だったNavier–Stokes存在と滑らかさ問題の解を発表。AI内部システムが有限時間内に特異点が発生することを証明した。
OpenAIは、7つある「ミレニアム懸賞問題」の一つであるNavier–Stokes方程式の存在と滑らかさ問題の解を発表した。同社の内部AIシステムが、滑らかな初期状態から有限時間内に特異点（流体速度が無限大に発散する状態）が発生することを示す解析的証明を生成し、Lean言語による形式的証明も公開した。
Navier–Stokes方程式は流体の運動をニュートンの第二法則に基づいて記述するもので、航空機設計・天気予報・血流解析などに広く使われている。1934年にJean Lerayが広義の解の存在を証明して以来、解が常に滑らかであるかどうかは約90年にわたり未解決だった。
今回の証明では、外部から有限のエネルギーを持つ滑らかな力を加えた流体が、渦（vortex）を形成しながら内側に螺旋状に収縮・細長く伸びることで特異点を形成することが示された。OpenAIはこの証明にGPT-6 Astraより大幅に高性能な内部モデルを使用したと説明しており、「AIの進歩の速度を社会に伝えることが重要」と述べている。