关于纳维-斯托克斯千禧年大奖难题
OpenAI 分享 AI 生成的纳维-斯托克斯千禧年大奖难题解决方案，包括论文和 Lean 形式化证明。
中文处理结果
我们分享一个 AI 生成的纳维-斯托克斯千禧年大奖难题解决方案，包括一份详细说明和 Lean 形式化证明。
原始正文摘录
On the Navier–Stokes Millennium Prize Problem
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.