2 entries with this tag
One new research article published: OpenAI's announcement of a Navier–Stokes Millennium Prize solution produced by ~10,000 AI agents in 88 hours, with Lean 4 formalization and a major credit controversy involving NYU mathematician Tristan Buckmaster.
On September 8, 2026, OpenAI announced that an internal model — significantly more capable than GPT-6 Astra — coordinated approximately 10,000 AI agents to produce a solution to the Navier–Stokes existence and smoothness problem, one of the seven Millennium Prize Problems. The proof shows that smooth 3D fluid motion can develop a singularity in finite time, formalized and verified in Lean 4. The announcement triggered immediate controversy over credit, with NYU mathematician Tristan Buckmaster alleging OpenAI accelerated its work after learning of his and Levent Alpöge's parallel research on related Euler equations.