OpenAI solved the Navier-Stokes Millennium Prize Problem

Accelerating scientific discovery using machine learning and AI methods.

The September 2026 controversy over whether AI systems solved the Navier-Stokes Millennium Prize Problem, including a dispute over credit between OpenAI and mathematicians Tristan Buckmaster and Levent Alpoge.

AI in Mathematics explores the application of artificial intelligence techniques — including machine learning, neural networks, and automated reasoning — to mathematical research, problem-solving, and theorem proving.