AI Has Solved One of Math's $1M Millennium Prize Problems (www.quantamagazine.org)

On September 8, OpenAI's mathematicians unveiled that a group of 10,000 autonomous AI agents had discovered a singularity in the Navier-Stokes equations, resolving a long-standing Millennium Prize Problem. This achievement, formally verified in the programming language Lean, represents a significant milestone in mathematical proofs generated by AI, potentially reshaping how complex mathematical challenges are approached. The Navier-Stokes equations describe fluid dynamics and have historically posed intricate queries regarding their solutions' behavior, particularly whether they can evolve into singularities—a topic that has perplexed mathematicians for over 150 years. The implications of this breakthrough extend beyond theoretical mathematics, indicating a paradigm shift in the intertwining of AI and mathematical exploration. The work builds upon strategies developed by researchers Diego Córdoba and Luis Martínez-Zoroa, creating a collaborative landscape where AI aids in tackling rigorous mathematical inquiries. OpenAI's agents utilized advanced computational techniques, engaging in significant inter-agent communication over 88 hours, resulting in nearly 5 million messages exchanged. As further scrutiny of these results unfolds, this achievement signals a new era of AI-assisted mathematics, with the potential to unlock deeper understanding and solutions to previously unsolvable equations.