OpenAI Says AI Agents Solved Navier-Stokes, Intensifying Debate Over AI in Mathematics

OpenAI says a nonpublic frontier model, paired with a large swarm of agents and a Lean formalization pass, has produced a solution to the Navier-Stokes Millennium Prize Problem. The claim has become a test case for whether frontier AI systems are moving from assisting researchers to competing for credit at the edge of mathematics.