OpenAI、ナビエ＝ストークス千年賞問題を解決
Original : On the Navier–Stokes Millennium Prize Problem
Pourquoi c'est important
AIが最高難度の数学問題を解決し、科学研究における役割が根本的に変わる可能性を示す。
OpenAIは2026年9月8日、数学の7大未解決問題「ミレニアム賞問題」の一つ、ナビエ＝ストークス方程式の存在と滑らかさ問題を解決したと発表した。内部AIシステムが解析的証明とLean形式化証明を生成し、有限時間内に特異点が発生することを示した。
OpenAIは2026年9月8日、ナビエ＝ストークス方程式の存在と滑らかさ問題の解決を発表した。同社の内部システム（GPT‑6 Astraより大幅に高性能とされる）が、滑らかな初期状態にある三次元非圧縮流体が有限時間内に「特異点」、すなわち流体速度が有界でなくなる状態を発展させ得ることを証明した。Clay Mathematics Instituteが2000年に指定したこの問題は、約90年間未解決のままだった。証明では、有限エネルギーを保ちながら渦（vortex）がらせん状に内向きに縮小し、パスタのように引き伸ばされる様子が示される。OpenAIは解析的証明の論文とLean形式化証明の両方を公開し、AIによる科学研究加速の一例として位置づけている。同社はこの成果をAI進歩の速度を世界に示す目的でも共有すると述べた。