Alex(@odagius):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.

2026.09.08 18:14

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.

OpenAI@OpenAI

2026.09.08 17:20

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.