OpenAI announced today that their (unreleased) swarm of AI agents solved a Millenium Prize problem, proving a negative resolution to Navier–Stokes.