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
Institute for Advanced Study
- Mentions · 7d0
- Mentions · 30d1
- All mentions8
- First seenSep 21, 2026
- Last mentioned25d ago
Timeline
8 articles · newest firstSome mathematicians call for OpenAI boycott after AI-generated proofs flood their field
Mathematicians including Terence Tao urge an OpenAI boycott after hundreds of AI proofs flood the field.
52
OpenAI’s math solutions aren’t meeting the field’s standards yet
Mathematicians say OpenAI's hundreds of claimed hard-problem proofs miss standards for human understanding.
62
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
OpenAI published 372 AI-generated math proofs on GitHub, including Lean formalizations and claimed progress on open problems.
67
[AINews] Quasi-Riemann-Hypothesis: OpenAI publishes 722 math papers solving 90 of the top 500 open math problems; “the most significant moment” in >100 years of mathematics
OpenAI published 722 math manuscripts from an unreleased model, claiming progress on many open problems including a quasi-Riemann result.
78
Sharing AI progress in mathematics
OpenAI shared math results from an internal frontier model, with Lean proofs and compute details.
58
OpenAI wants to consult elite mathematicians about how to not fumble again
OpenAI backs independent nine-mathematician advisory panel (AGMAI) at IAS to guide how AI math results are reviewed and released.
25
OpenAI forms math advisory group as its AI resolves more than 100 open problems
OpenAI formed an IAS-hosted math advisory group after claiming its model solved over 100 open problems.
55
Appears with
- OpenAIorganization · 7
- OpenAIvendor · 6
- Leanproduct · 4
- ChatGPTproduct · 2
- Anthropicorganization · 2
- AGMAIorganization · 2
- EPFLorganization · 1
- GitHubproduct · 1
- Harvard Universityorganization · 1
- Martin Hairerorganization · 1
- Advisory Group on Mathematics and Artificial Intelligenceorganization · 1
- Mistral Large 4product · 1
- University of Cambridgeorganization · 1
- ChatGPT Proai model · 1
- ChatGPTai model · 1
- King's College Londonorganization · 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.