OpenAI AI Swarm Solves Navier-Stokes Math Problem

OpenAI announced a major breakthrough in fluid dynamics, claiming its AI system solved the Navier-Stokes existence and smoothness problem ^[1]. This challenge is one of the seven Millennium Prize Problems in mathematics ^[1]. The achievement utilized a swarm of 10,000 AI agents and required 130 billion output tokens ^[1][2]. Developers confirmed the solution through formal verification using the Lean programming language ^[1].

The claim has triggered a research priority dispute with mathematicians from New York University and Anthropic ^[1]. Critics suggest the AI may have benefited from a researcher’s private codex data ^[3]. OpenAI has not ruled out the possibility that private data influenced the agents' performance ^[3]. Despite the controversy, the company describes the result as a milestone for automated reasoning ^[1].