OpenAI says 10,000 AI agents produced a proposed solution to the Navier–Stokes Millennium Prize Problem in just 88 hours. But the announcement has sparked a dispute over credit, competing research, and the role of human mathematicians. We break down the math, Tristan Buckmaster and Levent Alpöge’s work, OpenAI’s response, and what this could mean for the future of scientific discovery.
From Euler’s equations and fluid dynamics to Lean proof verification, this is the story behind the headlines—and the questions that still need answers.
______________________________________________
My Links 🔗
➡️ Twitter: https://x.com/WesRothMoney
➡️ AI Newsletter: https://natural20.beehiiv.com/subscribe
Want to work with me?
Brand, sponsorship & business inquiries: wesroth@smoothmedia.co
______________________________________________
SOURCES:
OpenAI — On the Navier–Stokes Millennium Prize Problem:
https://openai.com/index/navier-stokes-solution/
OpenAI — Navier–Stokes and Euler Lean formalizations:
https://github.com/openai/NavierStokesAndEuler
Tristan Buckmaster — Statement on the research and timeline:
https://cims.nyu.edu/~tristanb/statement.pdf
Clay Mathematics Institute — Navier–Stokes:
Clay Mathematics Institute — The Millennium Prize Problems:
Sam Altman — Response:
https://x.com/sama/status/2097385167002415140
Sébastien Bubeck — Response:
https://x.com/SebastienBubeck/status/2097379411691516310
CHAPTERS:
00:00 OpenAI’s Announcement
02:05 Navier–Stokes Explained
09:30 Earlier Research
12:45 Tristan Buckmaster
19:20 The Dispute
22:50 Training Data
31:25 OpenAI’s Response
36:10 AI and Research
#openai #ai #navierstokes