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.
61 Articles
61 Articles
AI solves one of math’s hardest problems in 88 hours, says OpenAI
OpenAI said Tuesday that one of its unreleased artificial intelligence models had solved the Navier-Stokes problem, one of the world’s most difficult mathematical puzzles, after just 88 hours of work involving 10,000 AI agents and millions of dollars in computing power. The claim concerns one of the seven Millennium Prize Problems established by the Clay Read More: https://punchng.com/ai-solves-one-of-maths-hardest-problems-in-88-hours-says-open…
OpenAI says AI solved one of math’s hardest problems in days
OpenAI said Tuesday that one of its unreleased artificial intelligence models had solved a mathematical puzzle that has eluded mathematicians for generations, in a claim which also drew a fight with rival researchers over credit.
The model would have found a solution to the Navier-Stokes problem after working with thousands of AI agents for 88 hours.
Mathematician suspects AI of stealing his designs to solve the "millennium challenge"
The mathematician suspected AI of stealing its developments to solve the "millennium problem. "OpenAI recently announced that their neural network has solved the Navier-Stokes equations. However, Professor Tristan Buckmaster of New York University...
Coverage Details
Bias Distribution
- 35% of the sources lean Left, 34% of the sources lean Right
Factuality
To view factuality data please Upgrade to Premium
