OpenAI Says AI Model Solved One of Mathematics’ Millennium Prize Problems
- 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.
257 Articles
257 Articles
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 […]
The artificial intelligence company OpenAI claims to have achieved a major breakthrough in solving one of the seven famous ‘millennium problems’ of mathematics. Using 100,000 AI agents and 88 hours of computing power, the model claims to have found a solution to the complex Navier-Stokes problem. In the mathematical world, the claim has been met with a mix of admiration and skepticism.
Whoever cracks it gets a million dollars: AI developer OpenAI claims to have solved one of the seven famous »millenium problems« of mathematics – supposedly in just 88 hours.
OpenAI announced that its artificial intelligence model has solved one of the seven Millennium Challenges in mathematics. Approximately 10,000 AI agents worked on the Navier-Stokes equations.
Lietuvos Radijas ir Televizija
lrytas.ltTechnology giant OpenAI announced on Tuesday that one of its previously unreleased artificial intelligence (AI) models has solved a math problem that has eluded generations of mathematicians.
Coverage Details
Bias Distribution
- 37% of the sources lean Left
Factuality
To view factuality data please Upgrade to Premium
