ME Newsの情報によると、9月9日(UTC+8)、OpenAIは、約90年間未解決だったミレニアム懸賞問題の一つであるナビエ-ストークスの存在性と滑らか性の問題を解決したと発表しました。
本証明は、GPT-6 Astra よりもはるかに優れた能力を持つ OpenAI の次世代モデルを用いて、約10,000のエージェントが並列で作業し、約88時間かけて導き出され、その後 GPT-6 Astra が Lean 定理証明器を用いて17時間かけて形式的検証を完了しました。この証明は、三次元流体の運動が有限時間内に特異点を生じることを示しています:渦が内側に収縮し、コアが引き伸ばされて加速し、速度が無限大に達する一方で、システムの総エネルギーは有限のまま保たれます。OpenAI は165ページに及ぶ証明文稿と Lean 形式化コードを公開しており、100万ドルの賞金を申請するつもりはないとしています。現在、クレイ数学研究所は、規則により解決策が適格な学術誌に掲載され、少なくとも2年間維持され、数学界の広範な承認を得た後にのみ賞の対象とされるため、この問題を未解決としています。(ソース:X)

