Models1 min read
OpenAI Announces Navier–Stokes Solution
OpenAI has released an AI-generated solution to the Navier–Stokes Millennium Prize Problem, complete with a writeup and a formal proof in Lean. This provides a verifiable solution for complex fluid dynamics.
From OpenAI news