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 proof, while mathematicians say it still needs review.
- On Tuesday, OpenAI announced its unreleased internal model solved the Navier-Stokes existence and smoothness problem using about 10,000 AI agents over 88 hours, producing a Lean-formalized proof of this Millennium Prize Problem.
- Mathematicians Tristan Buckmaster, New York University professor, and Levent Alpöge, Anthropic researcher, had independently researched related fluid equations for nearly a year before OpenAI's announcement, triggering a dispute over methodology and credit.
- Buckmaster alleges OpenAI pressured him to exclude Alpöge from authorship after learning of their progress; OpenAI researchers deny these claims, stating they did not access the pair's private work or Codex logs.
- OpenAI's proof remains private, precluding independent verification required for the $1 million Clay Mathematics Institute prize, though the company stated it does not intend to claim the award.
- Defining authorship and verification standards for AI-generated proofs presents significant challenges for mathematicians as corporate-driven discovery increasingly replaces traditional academic inquiry in the field.
289 Articles
289 Articles
And now experts are arguing whether the company has illegally exploited the preparatory work of other mathematicians, but if the solution to the Navier-Stokes problem persists, this proof could be the end of mathematics as we know it.
A smooth liquid can form a singularity: researchers in San Francisco want to have proven this with an AI system. What does that mean – and can you believe it?
OpenAI says it solved the 90-year-old Navier-Stokes math problem in 88 hours. Now it faces accusations of stealing researchers’ work - Tech Startups
OpenAI says that it solved the 90-year-old Navier–Stokes mathematics problem in just 88 hours, using 10,000 AI agents and a new artificial intelligence model to crack one of mathematics’ most famous unsolved problems. What should have been a victory lap for […] The post OpenAI says it solved the 90-year-old Navier-Stokes math problem in 88 hours. Now it faces accusations of stealing researchers’ work first appeared on Tech Startups.
The Navier—Stokes equations are considered one of the most complex unsolved problems in modern mathematics.
Open AI Claims To Have Solved Math Problem Which Has Stumped Humanity For Decades
NEW YORK (VINnews) — OpenAI says an artificial intelligence system has solved one of the most famous unsolved problems in mathematics, producing a proof of a finite-time “blow-up” in the equations used to describe the motion of fluids such as water and air. Join our WhatsApp group Subscribe to our Daily Roundup Email The company […]
Coverage Details
Bias Distribution
- 35% of the sources lean Left
Factuality
To view factuality data please Upgrade to Premium
