OpenAI says it's close to another Millennium Prize problem after beating NYU mathematician on Navier-Stokes
calabi_and_yau · x · 2026-09-10
A New York Times longread by Kenneth Chang details the academic fallout from AI labs racing to solve Millennium Prize problems:
- NYU mathematician Tristan Buckmaster and a collaborator made major progress in August on a Navier-Stokes puzzle
- Rumors that Anthropic had solved one or two Millennium problems spurred OpenAI to attack the same list ($1M per proof, rigorous review required)
- In under a week, OpenAI announced on Tuesday it had solved Navier-Stokes, beating Buckmaster and the world's human mathematicians — and confirmed it is "close to solving another Millennium Prize problem"
- The episode ignited a social media firestorm over perceived threats and dangling prizes; Buckmaster described feeling run over by one of the world's most powerful companies
The milestone signals frontier AI beginning to systematically outpace top human mathematicians on elite proofs.
More from AGI Musings
- Richard Socher: goal setting is the key to controlling superintelligent AI — RichardSocher · 2026-09-11
- Defending AI risk concerns: the marketing-conspiracy theories don't hold up — AndyMasley · 2026-09-11
- AI to cure all diseases in 5 years then end humanity, quip sparks mockery — MaxUnfried · 2026-09-11
- Is quantifying uncertainty arbitrary? A Bayesian ideology debate — NathanpmYoung · 2026-09-11
- Zvi disputes claim that AI lost a live debate against conservatives in Dallas — TheZvi · 2026-09-11
- Matt Turck talks with Richard Socher on recursive self-improvement and AI-driven science — mattturck · 2026-09-11