AI-generated solution to the Navier–Stokes Millennium Prize Problem with a Lean formal proof and writeup
Read the original at openai.com→We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
Original headline: "On the Navier–Stokes Millennium Prize Problem"
Coverage timeline
- Sep 8, 10:00 UTC OpenAI lead source On the Navier–Stokes Millennium Prize Problem