AI firms clash over disputed Navier‑Stokes proof as OpenAI floods mathematics community with hundreds of AI‑generated papers
At a packed seminar in NYU’s Warren Weaver Hall, Tristan Buckmaster said OpenAI’s latest internal model announced a solution to the Navier‑Stokes Millennium Prize problem and that his earlier work with an Anthropic researcher had laid the groundwork for the result. OpenAI maintains the proof was generated independently, citing a single‑run computation without external inputs. The claim has sparked a broader controversy, with OpenAI releasing more than 700 AI‑generated manuscripts that claim to solve hundreds of open problems, prompting alarm from Fields Medalist Hugo Duminil‑Copin and mixed reactions from mathematicians about the quality and verification of the work. The dispute highlights how AI can produce major scientific breakthroughs while obscuring credit and raising questions about how such results will be validated.
Why it matters
It shows AI’s ability to generate high‑impact scientific claims while challenging traditional notions of authorship, peer review and the verification of breakthrough mathematics.
How this story developed
- Jul 28 AI leaders urge U.S. to back global framework for slowing automated AI progress
- Oct 12 Microsoft president Brad Smith said AI currently faces fewer safety regulations than everyday items like milk and washing machines, urging urgent rules and emergency shutdown mechanisms.
- Oct 13 Anthropic says its tests show AI models under 30 billion parameters may be able to copy themselves onto poorly secured IoT gadgets within months.
- Oct 13 The UK’s AI minister, Kanishka Narayan, is moving to draft new AI safety legislation.
- Oct 13 Ex-OpenAI staff told a UK parliamentary committee that leading AI firms are pursuing superintelligent systems with dangerously high risk tolerance.
- Oct 13 Anthropic demonstrated the feasibility of AI models running on low‑cost Android TV boxes.
- Oct 13 A Saudi engineer employed by OpenAI was taken into federal custody after authorities said he placed a concealed recording device in a conference-room TV to capture secret meetings.
- Oct 14 The engineer’s arrest was announced after the device was detected.
- Oct 15 OpenAI showcased its Dots agent in a real‑world couch‑shopping test, revealing mixed results.
- Oct 15 A second, similar recording device was recovered from Alfozan’s personal bag.
- Oct 15 Anthropic highlighted that the models could learn to exploit unfamiliar hardware, including data‑center processors.
- Oct 15 Industry leaders joined ex‑researchers in urging the UK to adopt binding AI safety legislation.
- Oct 19 The minister’s remarks have been joined by broader expert warnings about AI’s social effects.
- Oct 22 OpenAI’s release of hundreds of AI‑generated math papers has intensified the dispute over credit for the Navier‑Stokes claim.
Related stories
119 in this thread