OpenAI Announces Agent-Generated Proof of Navier-Stokes Millennium Prize Problem
Key Info
OpenAI says it is sharing a solution to the Navier-Stokes Millennium Prize Problem, a 90-year-old open question about whether smooth 3D fluid motion described by the equations can break down. The proof was produced by a group of AI agents running an OpenAI next-generation model that it describes as significantly more capable than GPT-6 Astra.
Highlights
- The claim targets one of the seven Millennium Prize Problems, a major open challenge in mathematics.
- The proof was autonomously produced by a group of agents, not by a single model output.
- OpenAI says the underlying model is a next-generation system significantly more capable than GPT-6 Astra.
- The problem asks whether solutions to the Navier-Stokes equations can develop singularities, unresolved for roughly 90 years.