AISimon Willison18 minutes ago
On the Navier, Stokes Millennium Prize Problem
5 min read
OpenAI's 10,000 autonomous AI agents found a singularity in the Navier-Stokes equations, resolving a Millennium Prize Problem. The proof, verified in Lean, was announced September 8, following a related result by Tristan Buckmaster and Levent Alpöge, who credited Diego Córdoba and Luis Martínez-Zoroa.
Level
Hype check
Tap to vote and see what everyone thinks.
Summary by ByteBrief
