This website uses cookies
Read our Privacy policy and Terms of use for more information.
AI
+2

Sep 10, 2026
•
2 min read
OpenAI says an internal AI model with roughly 10,000 coordinating agents produced a Lean-verified proof that the Navier-Stokes equations can form a finite-time singularity, resolving a Clay Mathematics Millennium Prize Problem.
