I studied applied math as an undergrad. The 3D Navier–Stokes existence-and-smoothness problem always felt out of reach.
Now
@OpenAI reports a proof of finite-time blow-up. If it holds up (looks like it), this feels like a post-AGI world, the opening innings of ASI.
Next frontier: turn the same model + formal-verification machinery toward nonlinear plasma physics, including Vlasov–Maxwell. Let’s see which mathematical barriers fall next.
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
Show more