OpenAI says one of its models has produced a solution to a long-unsolved Millennium Prize problem in mathematics, presenting it as a landmark result. The claim has left many mathematicians uneasy, with some criticising the announcement as premature and boastful rather than a settled proof. It lands amid a string of recent cases where AI systems have contributed to mathematical research.
OpenAI said it had solved one of the seven Millennium Prize problems in mathematics, a result the company framed as a major research achievement. The announcement, rather than being widely celebrated, triggered unease and doubt among academics, who questioned the claim. The episode highlights growing tension between fast-moving AI labs and the slower verification norms of the research community.
OpenAI stated on Tuesday, September 8, that one of its models produced a proof tied to the Navier-Stokes equations, one of the seven Millennium Prize Problems carrying a $1 million award. The claim concerns a longstanding set of partial differential equations describing fluid flow, whose general smoothness and existence questions remain unresolved. It is unclear from the report how much of the underlying mathematical problem the work actually addresses.
OpenAI says a system of 10,000 agents produced a proof addressing one of the Millennium Prize problems, Navier-Stokes. The result was published alongside a Lean repository to support independent verification and concerns a particular case covered by the official problem statement. The validity of the proof remains under scientific review.
A disagreement has escalated over claims that an AI system produced a valid proof for one of mathematics' Millennium Prize problems. Mathematician Tristan Buckmaster has accused OpenAI of academic misconduct, a charge CEO Sam Altman rejects. Terence Tao cautioned that such disputes risk undermining centuries-old norms of open scientific inquiry.
OpenAI says its AI has produced a solution to the Navier–Stokes problem, one of the Clay Mathematics Institute's seven $1 million Millennium Prize challenges. The release includes a technical writeup together with a machine-checked formal proof written in the Lean proof assistant. Whether the argument constitutes a complete, correct solution will depend on scrutiny from the mathematics community.
WHY IT MATTERS ↘Pairing a frontier-model claim with a machine-checked Lean proof shifts verification from trusting the lab to auditing a formal artifact, a template that could become standard for evaluating AI reasoning claims. It also escalates competitive pressure among labs to target landmark open problems, though expert scrutiny of the argument remains the real bottleneck before any practical or prize implications follow.