OpenAIがナビエ・ストークス問題の解法を公表、次は独立検証が焦点
OpenAIは9月8日、流体を記述するナビエ・ストークス方程式の難問について、内部AIシステムによる解法と形式化した証明を公開しました。同社は有限時間で特異点が生じることを示したと説明しています。注目すべき成果ですが、公表や機械的な証明確認と、数学界での評価が確定することは分けて読む必要があります。
流体の方程式が破綻する条件を提案
問題は、滑らかな状態から始まる三次元の流体運動が、方程式の上で破綻しうるかというものです。OpenAIが示したのは滑らかな外力がある条件での結果で、ミレニアム懸賞問題の定式化に対応するとしています。現実の液体が無限の速度になると発見したわけではありません。
内部モデルで探索し証明を公開
利用したのは、公開済みのGPT-6 Astraより高性能だと同社が説明する内部モデルです。9月1日に取り組みを始め、5日に解法へ到達し、6日にLeanによる形式化と確認を終えたと報告しています。通常のChatGPTに一度質問して解決したという話ではありません。
公表と数学界の検証を分ける
AIが既知の知識の説明だけでなく、新しい数学的な候補を作り、検証可能な形で共有する段階へ進んでいる可能性を示します。研究での価値を判断するには、結論だけでなく仮定、証明の定義、再確認できる資料がそろっているかを見ることが重要です。 本記事はOpenAIの発表内容を紹介するもので、証明の正しさを独立に認定していません。形式化の対象が元の問題と一致するかも専門家の検討点です。同社は懸賞金を請求しない方針で、受賞や最終的な承認が決まったとはしていません。