It is an amazing historic achievement and a new jewel in the crown of transformers, pretraining, reinforcement learning and scaling time compute.
Civilization is being moved forward by AI and it’s not hard to extrapolate how those systems will be driving our progress in coming years.
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.