AI Apparently Cracks Navier-Stokes Millennium Prize
The Clay Mathematics Institute stated that the Navier-Stokes existence and smoothness problem — a 124-year-old description of how fluids flow that underpins weather modelling, aerodynamics, and climate simulation — has 'apparently been settled' following OpenAI's proof submission, though peer-review controversy continues.
- CMI's 'apparently settled' language is deliberate caution: independent peer review is still ongoing
- OpenAI used formal proof verification (machine-checkable logic), not numerical approximation
- Navier-Stokes equations describe turbulence and smooth flow — foundational to physics, biology, and engineering