Navier-Stokes Millennium Problem 'Apparently Settled'
The Clay Mathematics Institute stated that the Navier-Stokes existence and smoothness problem — which asks whether smooth solutions to fluid flow equations always exist — has 'apparently been settled' following OpenAI's formal proof submission, opening both celebration and significant mathematical controversy.
- Navier-Stokes describes turbulence and smooth fluid flow; its solution underpins weather modelling, aerodynamics, and biofluid dynamics
- OpenAI used formal proof verification (machine-checkable logic) rather than numerical approximation — a different and contested approach in pure mathematics
- CMI's hedged 'apparently' reflects ongoing community debate over whether machine-verified proof constitutes valid settlement of the analytical problem