Brand New AI Solves a Millennium Prize
Don't Worry About the Vase
Read full postAn AI model trained by OpenAI solved the Navier-Stokes Millennium Prize problem within eight days of training, marking a significant breakthrough in AI-assisted mathematical research. The solution builds on prior human work by Diego Cordoba and Luis Martínez-Zoroa, with researchers Tristan Buckmaster and Levent Alpoge using large language models to advance the proof. This rapid progress has sparked discussions about the pace and implications of AI development.

- AI companies must work with the research community to protect attribution· Nature
- OpenAI’s 88-Hour Math Proof Shows Where Enterprise AI Savings Go· Forbes
- How to use GPT-6 Astra when it rolls out to you· Engadget
- OpenAI just wants to win· The Verge
- OpenAI spent millions to solve this famous math problem — mathematicians are furious· 2 sources
- OpenAI puts Pro subscriptions on hold due to Astra demand· 2 sources


