研究tldr-ai2026-09-09
OpenAIのAIが数学の難問を解決
An OpenAI Model Solved the Navier–Stokes Millennium Problem
OpenAIのAIが、90年未解決の数学の難問「ナビエ・ストークス問題」を解決する証明を発表。AIの高度な思考力が示され、科学分野での応用が期待されます。
OpenAIは、社内のAIシステムが、数学の7つのMillennium Prize Problemsの1つである、およそ90年間未解決だったNavier–Stokes存在と滑らかさの問題を解決する証明を生成したと発表しました。そのモデルは、滑らかな3次元流体力学が有限時間特異点を発生させうることを示し、解析的証明とLean formalizationの両方を作成しました。
この記事について質問
記事の内容に答えます。記事外のことは都度ウェブで調べます。