FULL STORY
Tao Slams AI Math Proofs, Veteran Coder Fires Back
Terence Tao called AI-generated math proofs 'toxic waste' lacking elegance, prompting a sharp rebuttal from a 50-year veteran developer who argued the tool isn't to blame.
2026-10-24 ~ 2026-10-25 · 2 episodes · 6 posts
Episode 1 · Terence Tao warns AI race is turning beautiful math into "toxic waste" (2026-10-24, 4 posts)
Terence Tao criticized Silicon Valley's race to solve long-standing math problems with AI, saying math's biggest prizes have become mere benchmarks and that the trend turns beautiful mathematics into "toxic waste" by discarding elegant proofs.
- Terence Tao: AI race turns beautiful mathematics into 'toxic waste' — TheObserverUK · 2026-10-24
- Terence Tao: AI turns beautiful mathematics into 'toxic waste' — TheObserverUK · 2026-10-24
- Terence Tao: math is now AI labs' benchmark, and AI proofs are 'toxic waste' — haider1 · 2026-10-24
- Terence Tao: math is almost the only thing left for AI labs to train and benchmark on — haider1 · 2026-10-24
Episode 2 · 50-Year Programmer Fires Back at Terence Tao Over AI Proofs (2026-10-25, 2 posts)
A veteran developer with 50 years of coding experience sharply rebuked Terence Tao's criticism that AI-generated proofs are inelegant, arguing that elegance and readability are mathematicians' own responsibility, not the tool's fault.
- 50-year coder claps back at Terence Tao's 'terrible AI proofs' complaint: elegance is your job — esrtweet · 2026-10-25
- Veteran programmer torches Terence Tao over AI proofs: "Stop blaming the chisel" — esrtweet · 2026-10-25