openai 用 AI 解决纳维-斯托克斯方程
openai 分享了由 AI 生成的纳维-斯托克斯方程解决方案，包括说明和 lean 形式化证明。
openai 公布了一个由 ai 生成的 navier-stokes 千禧年大奖难题的解决方案，这是数学领域一个长期悬而未决的难题。该解决方案包含一份书面论述以及一个使用 lean（一种证明助手）完成的形式化证明。这一进展凸显了 ai 在攻克复杂数学挑战方面的能力。描述流体运动的 navier-stokes 方程已有一个多世纪的研究历史。openai 的这一成就展示了 ai 为数学领域的重大进步做出贡献的潜力。