What OpenAI’s latest controversy tells us about the future of math
OpenAI says its agents solved the Navier–Stokes Millennium Problem using an internal model, amid uncredited-work accusations from mathematicians Buckmaster and Alpöge.
OpenAI announced that its AI agents produced a proof that the full Navier–Stokes existence and smoothness problem can break down, using an internal model that outperforms the recently released Astra. NYU's Tristan Buckmaster and Anthropic's Levent Alpöge had posted a proof for a simplified version the previous day after nearly a year of work with public OpenAI and Anthropic models. OpenAI denies using their transcripts or training on them; chief research officer Mark Chen reiterated the denial, and the company says it will not claim the $1 million Clay Mathematics Institute prize. The episode fuels debate over attribution norms as frontier labs concentrate mathematical breakthroughs.
- Both proofs use the Córdoba–Martínez-Zoroa approach, raising questions of independent discovery versus influence
- Sébastien Bubeck said the team pursued the problem after hearing a rumor about Buckmaster and Alpöge
- Buckmaster says OpenAI offered either next-day publication or collaboration excluding Alpöge for his Anthropic affiliation
- Article argues frontier-scale compute may concentrate major mathematical breakthroughs at a few AI labs
- Products
- Astra
- Organizations
- Clay Mathematics InstituteNYUBrown University
- AI models
- Astra
From the original article
6 min read at technologyreview.com
OpenAI’s latest mathematical milestone has quickly become mired in controversy. Today, the company announced that its agents have solved one of the Millennium Prize Problems, some of the most important open problems in mathematics. Under normal circumstances, that solution would be a huge feather in OpenAI’s cap.
By Grace Huckins · technologyreview.com
A short excerpt; the article and its images belong to the publisher. Summary, key facts and assessment above are AI-written from the article and can be wrong.