openai 用 AI 解決納維-斯托克斯方程
openai 分享了由 AI 生成的納維-斯托克斯方程解決方案，包括說明和 lean 形式化證明。
openai 已公開一個由 ai 生成的 navier-stokes 千禧年大獎難題解法，這是數學中長期懸而未決的難題。該解法包含一份書面論述，以及一份以證明助理 lean 撰寫的形式化證明。這一進展凸顯了 ai 在應對複雜數學挑戰方面的能力。描述流體物質運動的 navier-stokes 方程，一個多世紀以來一直是研究的課題。openai 的成就展現了 ai 為數學的重大進展做出貢獻的潛力。