physics

OpenAI claims a Lean-verified solution to the Navier–Stokes Millennium Prize problem, and the first objection is about who got there first

OpenAI says 10,000 coordinating AI agents spent 88 hours producing a finite-time singularity proof for the 3D Navier–Stokes equations, with a Lean formalization to back it. The trouble is that a parallel team at NYU and Anthropic posted closely related results 12 hours earlier, and one of them is now publicly asking whether OpenAI's models had access to his work.

AI