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