OpenAI Says AI Model Solved One of Mathematics’ Millennium Prize Problems
OpenAI said 10,000 AI agents reached the result in 88 hours, but mathematicians questioned whether unpublished rival work helped the proof.
- 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.
244 Articles
244 Articles
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.
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.
OpenAI’s Navier-Stokes math breakthrough sparks dispute over who gets credit
OpenAI claimed to secure a remarkable breakthrough by solving century-old Navier-Stokes, one of the biggest math-related puzzles. On Tuesday, the ChatGPT maker touted that about 10,000 AI agents...
According to OpenAI, one of his models of artificial intelligence has found the solution to the famous mathematical problem in less than four days. But two researchers evoke a possible plagiarism of their work. "This is a significant step in IA research," said Mark Chen, head of research at OpenAI, in front of the press this Tuesday, September 8. "This is the promise that it will become possible to answer other among the most complex questions,"…
The OpenAI model solved the Navier-Stokes equation, developed by two mathematicians in the 19th century and used in meteorology and aeronautics. The mathematicians Tristan Buckmaster and Levant Alpöge suspect that the works developed by both could have influenced the solution
The information has not yet been officially verified, but a mathematician has come forward claiming that OpenAi benefited from his work.
Coverage Details
Bias Distribution
- 37% of the sources lean Left
Factuality
To view factuality data please Upgrade to Premium
