Published 2 hours ago • loading... • Updated 1 hour ago

OpenAI Says AI Model Solved One of Mathematics’ Millennium Prize Problems

On Tuesday, OpenAI announced its internal AI model generated a solution to the Navier-Stokes existence and smoothness problem, releasing a 165-page proof and Lean formalization while declining the $1 million prize.
The internal model deployed roughly 10,000 AI agents working in parallel over 88 hours, describing a finite-time blowup where fluid speed becomes infinite at specific points—a phenomenon impossible in nature.
Mathematicians Tristan Buckmaster and Levent Alpöge disputed the timeline, alleging OpenAI rushed the project after learning of their related research on the forced Euler equations, though OpenAI denied accessing their work.
The company verified the proof using Lean, a programming language ensuring logical validity; OpenAI stated no specific user data was accessed, though it could not rule out de-identified data from product usage improved model training.
This development positions AI as a powerful tool for solving complex mathematical physics, though lingering questions regarding provenance and training data remain unresolved as the Navier-Stokes problem stands as one of mathematics' most famous unsolved questions.

Insights by Ground AI

36 Articles

Anadolu Ajansı

Lean Right

OpenAI says AI model solved one of mathematics' Millennium Prize Problems

Unreleased model took 88 hours, used up to 10,000 AI agents to solve Navier-Stokes problem

in 1 hour·Ankara, Türkiye

Read Full Article

The Washington Post

Lean Left

OpenAI claims solution to one of math’s $1 million Millennium Prize problems

OpenAI on Tuesday released a technical paper for its result that will now be closely read by mathematicians around the world.

1 hour ago·Washington, United States

Read Full Article

yle

Center

Open AI Claims to Have Solved One of the Mathematical Mysteries of the Millennium

Chat GPT 6 has solved a significant and open mathematical question, according to Open Ai. The solution has not been confirmed.

1 hour ago·Helsinki, Finland

Read Full Article

Business Insider

Lean Left

You should care about the AI math breakthrough drama even if you're not a nerd

The math community is heated over questions about credit and AI training data after a mathematician's allegations against OpenAI went viral.

1 hour ago·New York, United States

Read Full Article

Newser

Lean Left

This Might Be a Huge Day for Field of Math

A math problem with a $1 million bounty may have just met its match—and the solver apps to be artificial intelligence. OpenAI says one of its models not yet available to the public solved the "Navier-Stokes existence and smoothness problem," reports the New York Times. It's one of the...

1 hour ago·Miami, United States

Read Full Article