Post #231828 2.6K Sep 8, 2026, 17:20 UTC On the Navier–Stokes Millennium Prize ProblemArticle, Comments OpenAI 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. 🤮 25 ❤ 7 🖕 7 🤬 3 🌭 1