关于纳维-斯托克斯千禧年大奖难题

OpenAI News表示，正在分享一项由AI生成的纳维-斯托克斯（Navier–Stokes）千禧年大奖难题解决方案，其中包括一份书面说明以及一份使用Lean完成的形式化证明。