OpenAI claims its AI systems solved the Navier-Stokes problem, one of the seven Millennium Prize Problems published by the Clay Mathematics Institute, which has stumped humans for nearly a century. Th…
OpenAI announced on 8 September that it has generated a solution to the Navier-Stokes equations, showing they can break down, which is one of the seven 'Millennium Problems' posed by the Clay Mathemat…
OpenAI reported on September 8, 2026, that an internal AI model running 10,000 agents over 88 hours produced a proof of finite-time blowup for the forced 3D Navier-Stokes equations, but the result doe…
OpenAI announced that a multi-agent system, coordinated by an unreleased internal model and involving up to 10,000 sub-agents, has solved the Navier-Stokes Millennium Prize Problem by proving conditio…
OpenAI said Tuesday that an unreleased model and roughly 10,000 coordinating AI agents produced a solution to the Navier-Stokes existence and smoothness problem in about 88 hours, a claim that would r…
OpenAI deployed roughly 10,000 concurrent AI agents on September 1 that produced a 165-page proof of the Navier-Stokes existence and smoothness problem in 88 hours, a $1 million Millennium Prize quest…
NYU mathematician Tristan Buckmaster and Anthropic mathematician Levent Alpöge released papers on Monday claiming new results on the Navier-Stokes equations, a problem tied to a $1 million Clay Mathem…
OpenAI announced it has solved the Navier-Stokes existence and smoothness problem, one of the Clay Mathematics Institute's Millennium Prize Problems, using an unreleased internal model it says is sign…
OpenAI did not prove the Navier–Stokes existence and smoothness conjecture, but it did prove alternatives (C) and (D) of the Clay Mathematics Institute's official problem description, which include a …
OpenAI published a 2,486-file Lean code repository that headlines claimed solved the Navier-Stokes Millennium Problem, but every theorem backing the claim is closed with the Lean placeholder keyword `…
Anthropic's unreleased research version of Claude improved the guaranteed proportion of Riemann zeta function zeros on the critical line from 41.6% to 67.2%, a decades-old result, though it did not pr…
Anthropic's unreleased Claude AI model increased the proven lower bound for the proportion of nontrivial zeros of the Riemann zeta function on the critical line from 41.6% to 67.2%, the largest single…