OpenAI Says 10,000-Agent AI Swarm Produced a Navier-Stokes Proof, but a Credit Dispute Clouds the Claim

OpenAI says an internal system of roughly 10,000 concurrent AI agents produced a proposed proof for the Navier-Stokes Millennium Prize Problem in just 88 hours, though the announcement has quickly become entangled in a dispute over whose ideas the model actually used. The company disclosed the result after a project that began on September 1, 2026, saying the agent swarm — groups of coordinated model instances with access to a cached version of the internet and code-execution tools — exchanged about 2.7 million messages and generated roughly 130 billion output tokens while searching for a resolution to one of the Clay Mathematics Institute's seven Millennium Prize Problems, most of which remain unsolved and carry a $1 million reward each.