Open AI announced today that their AI technology had solved one of the seven Millennium Problems in mathematics: the Navier-Stokes problem.
(The work of the AI bots leaned heavily on breakthroughs highly related to the Navier-Stokes problem, done by New York University mathematician Tristan Buckmaster and Anthropic mathematician Levent Alpöge. So it did not start with a clean slate.)
Google AI Mode explains in broad terms how it was done:
The computational proof demonstrating a finite-time breakdown in fluid motion was achieved through the coordination of 10,000 autonomous AI agents operating continuously for 88 hours.
This swarm engineered an inward-spiraling vortex where competing physical forces precisely neutralized each other, resulting in a self-driven singularity whose logical steps were formally verified using the Lean programming language.
Below is the answer to my request to Google AI state to state the Navier Stokes millennium problem in simple terms.
