OpenAI claims 10,000 agents solved Navier-Stokes; mathematicians dispute it

The claim, made September 14, would be a landmark if it holds: the Navier-Stokes existence-and-smoothness problem is one of the seven Clay Millennium Prize problems, unsolved since 2000. OpenAI says it ran 10,000 concurrent agents for 88 hours to produce the result — a demonstration of scaled agentic reasoning as much as a math achievement.

The mathematics community pushed back hard and fast. NYU's Tristan Buckmaster accused OpenAI of 'fighting dirty' on a career-making problem, and Wired reported academics questioning both the credit attribution and whether the proof can be independently verified. The Clay Institute has not accepted the result. The core demand: an open-source, human-auditable proof rather than a press release.

The dispute connects to a broader theme this week — r/MachineLearning surfaced a declaration by 25 Fields Medalists on 'A Severe Misalignment of AI in Mathematics' (451 upvotes), arguing that AI systems are producing plausible-looking but unverifiable or credit-obscuring mathematical output. Whether Astra genuinely closed Navier-Stokes or produced an impressive-but-flawed argument is now the highest-stakes verification question in AI, and it will likely take months of peer review to resolve.