Applications & products
On the Navier–Stokes Millennium Prize Problem
OpenAI reports that an internal system produced a proof of finite-time singularity for three-dimensional Navier–Stokes flow, plus a Lean formalization; the capture does not include those linked artifacts for inspection.
Why it matters: A singularity would mark a limit of the continuum model: the article says that continuing to model the system would then require tracking individual particles rather than treating the fluid as continuous.