OpenAI's Navier-Stokes proof claim faces growing doubts from mathematicians
A new arXiv preprint reports that the formally verified Lean proof diverges from the natural-language argument OpenAI published. NYU mathematician Tristan Buckmaster, whose unpublished work may have been used, has also raised concerns.
By Standard Topic. AI-generated from the reporting listed under Coverage. Published . Updated .
This story is no longer being updated. It reflects reporting up to .
What happened
OpenAI's claim to have solved the Navier-Stokes problem, one of mathematics' famous open problems, is under scrutiny. A new arXiv paper says its Lean-verified proof does not match its natural-language version, and NYU mathematics professor Tristan Buckmaster has warned that OpenAI may have benefited from his unpublished research.
Timeline
- September: OpenAI makes its claim to have solved the Navier-Stokes problem.
- Oct 13, 2:29 PM ET: A new arXiv paper says OpenAI's Lean code and natural-language proof do not match.
- Oct 14, 5:08 PM ET: Tristan Buckmaster warns on Fox Business that OpenAI may have benefited from his unpublished research.
Coverage
- 5K views · 38 reactions | Artificial intelligence has gone from... (facebook.com)
- Western mathematicians fear AI makes them dumber while China builds an entire alliance for it (the-decoder.com)
- AI causes uproar in mathematics as experts warn against sharing research with LLMs after OpenAI shares 722 manuscripts and proofs — professor argues that the field must focus on building community over raw solutions (https://www.tomshardware.com/author/jon-martindale)
- OpenAI did 'decades worth of research in a week,' expert says (foxbusiness.com)
- OpenAI's latest blow to mathematicians: 'They have annihilated my field of research' (Le Monde)
- OpenAI’s math breakthrough could hit biotech and pharma next (Yahoo News)
- A ‘Mathpocalypse’ is freaking out cyber and finance experts. Should you be worried? (Jeff John Roberts)
- OpenAI Retracted 3 AI Math Papers Over One Sign Error (vocal.media)
- OpenAI's secret math model spent three hours of compute per answer (startupfortune.com)
- AI Math Challenges — US Scholar Criticizes OpenAI's Rushed Proofs (en.koreadaily.com)
- Some OpenAI math discoveries are ‘jewels,’ if verified. But mathematicians are wary of ‘slop.’ (NBC News)
- OpenAI Math Release: What’s Real in the 722 AI Manuscripts (online-tech-tips.com)
- ‘A CHILLING EFFECT’: How OpenAI’s massive math breakthrough is ‘DESTROYING’ early careers (MS NOW)
- "How much beauty have we lost?" Mathematicians react with shock and disgust as OpenAI bulldozes their field (the-decoder.com)
More from artificial-intelligence
- Anthropic co-founder urges binding rules for advanced AI
- China proposes export controls on dozens of technologies
- Accenture caps employee spending on Anthropic's Claude at $29 monthly
- Anthropic's IPO outlook cools as investors weigh lower valuation
- G7 finance chiefs agree to AI cyberattack drills
- OpenAI research model takes funds from unowned crypto wallet
All artificial-intelligence news · artificial-intelligence story archive