OpenAI Says AI Model Solved One of Mathematics’ Millennium Prize Problems
OpenAI said its unreleased model used 10,000 AI agents and 88 hours to produce a Lean-verified proof, but outside mathematicians have not checked it.
- 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.
76 Articles
76 Articles
The model developed by the company manages to treat the Navier-Stokes equation in 88 hours while researchers raise questions about a possible proximity to their work
Drama swirls around OpenAI’s legendary mathematical milestone
OpenAI says it found a solution to a major math problem that has remained unsolved for around 90 years, as reported earlier by The New York Times and Wired. In a blog post on Tuesday, OpenAI announced that it discovered a solution to the Navier-Stokes problem - which relates to the flow of liquid and […]
The technology company OpenAI said that one of its artificial intelligence (AI) models has found a solution to the Navier-Stokes problem, one of the six Millennium Problems that remain unresolved.
la Nacion
He declared one of his models of artificial intelligence solved a riddle that has defeated human minds for generations; the company's sayings provoked a dispute with rival researchers on this merit.
Coverage Details
Bias Distribution
- 42% of the sources are Center
Factuality
To view factuality data please Upgrade to Premium
