OpenAIがAI証明でNavier-Stokes方程式を解明

openaiは、数学における長年未解決の難問であるnavier-stokesミレニアム懸賞問題について、aiが生成した解答を公開しました。この解答は、解説文と、証明支援システムであるleanによる形式的証明から構成されています。この進展は、複雑な数学的課題に取り組むaiの能力を浮き彫りにしています。流体の運動を記述するnavier-stokes方程式は、1世紀以上にわたって研究の対象となってきました。openaiの達成は、数学における重大な進歩にaiが貢献できる可能性を示しています。