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.
原文：https://www.a8q9.cn/en/article/on-the-navier-stokes-millennium-prize-problem-76ff46.html