15:49
2026-09-13
thezvi.wordpress.com
artificial-intelligence
Brand New AI Solves a Millennium Prize
OpenAI used an internal model stronger than Astra to solve the Navier-Stokes Millennium Prize problem in 88 hours, plus 17 more hours for Astra to complete the Lean verification, according to the comp…