Brand New AI Solves a Millennium Prize
Zvi (Don't Worry About the Vase) 1 month ago 16 ● 21 sources
OpenAI’s internally run AI agent efforts led to a reported solution of the Millennium Prize problem on Navier–Stokes and triggered disputes about what was learned, verified, and who should get credit. The effort solved Navier–Stokes in 88 hours, after an internal run that used about 130 billion output tokens for Lean formalization and verification taking an additional 17 hours for Astra. The aftermath shifts the focus to how AI-assisted mathematical research was produced and accounted for, including resource use and contested authorship and data-use claims, rather than to prize eligibility.