AI targets Navier–Stokes with a formal finite-time blowup proof
The hardest part is not writing equations. It is showing that smooth three-dimensional fluid motion can become singular without the proof quietly breaking. OpenAI says an internal system constructed exactly that scenario, with velocity becoming unbounded in finite time while kinetic energy stays bounded, then formalized the result in Lean. The paper and code are public, giving mathematicians something concrete to audit rather than another opaque AI claim.