On the Navier–Stokes Millennium Prize Problem
中文摘要
AI生成了纳维-斯托克斯千禧年难题解法，含书面报告与Lean形式化证明。
English Summary
An AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
Original Excerpt
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.