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

我们现正公开分享一个由人工智能自动生成的、针对纳维-斯托克斯千禧年大奖问题的解决方案。该方案包含一份完整的书面论述，以及一个以 Lean 语言编写并完成形式化验证的证明。