Technology
OpenAI claims Navier–Stokes Millennium Prize solution via internal AI model
OpenAI says an internal model produced a Navier–Stokes Millennium Prize proof and Lean formalization — ~10,000 agents over 88 hours. It is not claiming the Clay prize.