Clay Mathematics Institute says the Navier-Stokes Millennium Prize Problem has "apparently been settled"
| Source: THE DECODER
Tags: Navier-Stokes, Clay Mathematics Institute, OpenAI, Anthropic, Tristan Buckmaster, AI in mathematics, Millennium Prize
Clay Mathematics Institute officially confirms the Navier-Stokes equations problem — one of 7 Millennium Prize Problems worth $1M each — has 'apparently been settled,' triggering formal review. OpenAI faces accusations from mathematician Tristan Buckmaster of mining his unpublished drafts and blocking his Anthropic co-author Levent Alpoge from authorship credit.
Details
The Clay Mathematics Institute (CMI) has announced that the Navier-Stokes Millennium Prize Problem has 'apparently been settled,' placing the solution under formal review. One of seven problems announced in 2000 — each carrying a $1 million award — the problem asks whether the equations governing fluid motion in 3D space always admit smooth, complete solutions, a question fundamental to physics and engineering. The CMI statement is measured: 'The process is deliberately unhurried, but we will provide updates.' The institute also cited 'the increasing ability of new technologies to accelerate mathematical research' — a clear reference to AI involvement in the claimed proof. The result is entangled in serious allegations. Mathematician Tristan Buckmaster accuses OpenAI of redirecting compute toward Navier-Stokes after details of his in-progress research leaked, and of using his unpublished draft work as training data. He also alleges that his co-author Levent Alpoge — an Anthropic employee — was excluded from authorship credit. If the proof survives formal review, Navier-Stokes becomes only the second Millennium Prize Problem solved, after Perelman's Poincaré Conjecture in 2003. The dispute over IP and credit may set precedents for how AI labs interact with academic research and attribution.