OpenAI's AI Swarm Cracks the Navier-Stokes Millennium Problem: Physics Solved?
OpenAI’s swarm of 10,000 AI agents claims to have resolved a 90-year-old Millennium Prize problem, producing a formal proof in Lean 4 that 3D fluid flow can develop singularities.