AI Has Solved One of Math’s $1 Million Millennium Prize Problems
Mathematicians at OpenAI showed that the Navier-Stokes equations, which describe how fluids flow, can sometimes “blow up.” But the massive result is not without controversy. The post AI Has Solved One of Math’s $1 Million Millennium Prize Problems first appeared on Quanta Magazine
Résumé
AI solves math prize
On September 8, 2026, OpenAI announced that a team of 10,000 autonomous AI agents had solved one of the six remaining Millennium Prize Problems, a set of unsolved math challenges first posed by the Clay Mathematics Institute in 2000.
Each problem carries a $1 million prize.
The solved problem involves the Navier-Stokes equations, which describe how fluids like water or air move.
The AI’s solution was formally verified using the programming language Lean, a tool used to check mathematical proofs with absolute certainty.
This marks the first time an AI model has produced a proof of this significance in mathematics.
The result, if confirmed, could represent a major shift in how mathematicians approach complex problems using artificial intelligence.
Lire l'analyse complète en 6 points →
Commentaires (0)
Connecte-toi pour commenter
Se connecterAucun commentaire pour le moment.
Voir aussi
Plus de contenus dans cette catégorie →Découvre plus de contenu sur Napseflow
