Latest
OpenAI claims Navier–Stokes Millennium Prize solution via internal AI model
Technology

OpenAI claims Navier–Stokes Millennium Prize solution via internal AI model

08 Sep 2026

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...

Latest stories

New coverage from across AI, software, and hardware.