Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof
Mathematicians dispute OpenAI's Navier-Stokes Lean proof, saying it differs from the cited approach and agent credit is unclear.
50
Organization
Clay Mathematics Institute
- Mentions · 7d0
- Mentions · 30d1
- All mentions6
- First seenSep 8, 2026
- Last mentioned25d ago
Timeline
6 articles · newest firstOpenAI just wants to win
OpenAI says roughly 10,000 agents and tens of millions in compute solved the Navier-Stokes Millennium Prize problem in 88 hours, amid controversy.
78
OpenAI’s sly mathematical breakthrough sends a chill through academia
OpenAI claims an unreleased model solved the Navier-Stokes Millennium Prize problem in 88 hours using ~10,000 agents, sparking academic scooping controversy.
72
OpenAI's millennium proof dispute raises the question of whether researchers can trust AI labs
Mathematician Tristan Buckmaster accused OpenAI of pressuring him and possibly training on his drafts amid OpenAI's race to claim a Navier-Stokes millennium proof.
48
What OpenAI’s latest controversy tells us about the future of math
OpenAI says its agents solved the Navier–Stokes Millennium Problem using an internal model, amid uncredited-work accusations from mathematicians Buckmaster and Alpöge.
78
On the Navier–Stokes Millennium Prize Problem
OpenAI announced an AI-generated solution to the Navier-Stokes Millennium Prize Problem, including a writeup and a formal Lean proof.
72
Appears with
- OpenAIvendor · 6
- Anthropicvendor · 4
- OpenAIorganization · 3
- New York Universityorganization · 2
- Anthropicorganization · 2
- NYUorganization · 2
- Leanproduct · 2
- OpenAI Codexproduct · 1
- EPFLorganization · 1
- Astraai model · 1
- OpenAI internal modelai model · 1
- Institute for Advanced Studyorganization · 1
- Astraproduct · 1
- Brown Universityorganization · 1
- Codexproduct · 1
Entities are extracted by the model from each article. First seen , last mentioned . Watching keeps it in this browser only (no account); the watchlist page and dashboard alerts use it.