Navier–Stokes is one of the Millennium Prize Problems posed by the Clay Mathematics Institute in 2000, with a one-million-dollar prize for work on the existence and smoothness of solutions to the three-dimensional fluid equations. In September 2026 OpenAI said its AI produced a solution with a Lean formal proof; the Clay institute called the problem "apparently settled" and began a formal review, which is not final. A Guardian editorial questioned the claim's reliance on prior human work, and mathematician Tristan Buckmaster raised concerns about use of his Codex data.
OpenAI's Math Results Leave Mathematician Saying Field 'Annihilated'OpenAI posted over 719 manuscripts in 372 families claiming to solve open math problems, 16 tied to Fields Medalist Hugo Duminil-Copin's work; he said his field was 'annihilated.' In September OpenAI claimed to solve the million-dollar Navier-Stokes problem posed in 2000.
Guardian: mathematicians still vital, but AI firms won't see itA Guardian editorial criticises OpenAI's claim that its AI agents solved the Navier-Stokes problem, arguing LLM results rely on prior human mathematical work without adequate credit or compensation. Mathematician Tristan Buckmaster raised concerns about OpenAI's use of his Codex data; OpenAI denied directly accessing it but could not rule out the data helping improve its model.
OpenAI reportedly close to solving Hodge conjectureReports say OpenAI is working on the Hodge conjecture, its second Millennium Prize Problem, and employees expect a solution soon though any announcement may be delayed. After controversy over its unconfirmed Navier–Stokes claim, OpenAI is treating messaging more cautiously.
HN: Preprompt Migration and Inference Privacy RisksHacker News covers gotchas migrating preprompts from Opus to self-hosted Ollama and warns that running inference on frontier providers can leak session metadata and be used for training; the thread references the Navier–Stokes episode and distrust of OpenAI and Anthropic.
Clay Institute says Navier–Stokes problem 'apparently settled'The Clay Mathematics Institute said the Navier–Stokes Millennium Prize Problem has "apparently been settled" and a formal review is now underway. The announcement indicates the claim has moved into verification but is not yet finalized.
Align AI and Mathematics—to Something ElseThe piece reviews a letter signed by 25 Fields Medalists arguing that AI companies' goals diverge sharply from mathematics’ pursuit of conceptual understanding. It critiques how the math community nurtures students and ideas, using OpenAI's announcement about a Navier–Stokes solution as a prompting example.
AI-generated Navier–Stokes solution with Lean proofOpenAI shared an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean. The release demonstrates AI application to mathematical problem solving and machine-checked proofs.
The A.I. Daily