OpenAI mathematicians announced that 10,000 autonomous AI agents found a singularity in the three-dimensional Navier-Stokes equations, resolving a Millennium Prize Problem posed in 2000 by the Clay Mathematics Institute. The result was formally verified in the Lean programming language. The equations apply Newton's second law of motion to fluid behavior, and the finding shows their solutions can become singular, pending further scrutiny.
No score is assigned. Sources and their independence are shown in the citation chain below.