FULL STORY
OpenAI's Math Claims: From Hype to Backlash
OpenAI's claimed math breakthroughs, including a disputed Navier-Stokes result, drew accusations of gaming the Millennium Prize rules and a sharp rebuke from Terence Tao, who compared the approach to strip-mining mathematics.
2026-10-30 ~ 2026-11-01 · 3 episodes · 10 posts
Episode 1 · Researchers Question OpenAI's Navier-Stokes Solution as Rule Exploit (2026-10-30, 2 posts)
Researchers including Gary Marcus argue that OpenAI's claimed Navier-Stokes solution exploits loopholes in the Clay Millennium Prize rules, making it a case of specification gaming with no real physical significance.
- Physicist calls OpenAI's Navier-Stokes solution physically meaningless despite loophole win — GaryMarcus · 2026-10-30
- OpenAI's Navier-Stokes solution accused of specification gaming via unrealistic forcing — dhadfieldmenell · 2026-10-31
Episode 2 · OpenAI Drops 722 Math Breakthroughs at Once, Sparking Debate (2026-10-31, 4 posts)
OpenAI released over 700 mathematical results at once, which some hailed as decades' worth of progress, but critics argue the AI cannot explain its proofs and verification relies entirely on the Lean formal engine.
- OpenAI releases 700+ math manuscripts in one batch; Fortnow says it beats 30 years of progress — kimmonismus · 2026-10-31
- How AI actually does math: Lean verification leads, AI is a blind component — gerardsans · 2026-10-31
- Mathematicians slam OpenAI for dumping half-baked proofs that Lean, not AI, actually verifies — gerardsans · 2026-10-31
- 722 breakthroughs in one OpenAI release; blogger predicts announcement fatigue ahead — Dr_Singularity · 2026-11-01
Episode 3 · Terence Tao slams AI math as "strip mining" that disrupts fields (2026-11-01, 4 posts)
Terence Tao told New Scientist that AI solving math problems resembles "automated strip mining": while proofs may be correct, the approach has thrown the Navier-Stokes field into chaos and harms the math community.
- Terence Tao Slams AI Math as 'Strip Mining': Navier-Stokes Work Now 'In Disarray' — rohanpaul_ai · 2026-11-01
- Full New Scientist Interview: Terence Tao on AI 'Strip Mining' Math Problems — rohanpaul_ai · 2026-11-01
- Terence Tao slams AI math as 'strip mining' — the problem isn't proof correctness — rohanpaul_ai · 2026-11-01
- Terence Tao slams AI math as 'automated strip mining' of problems, citing Navier-Stokes chaos — rohanpaul_ai · 2026-11-01