Terence Tao's 'Math 2.0' lecture sparks debate: must math be humanly understood?
soumitrashukla9 · x · 2026-10-11
- Terence Tao's "Math 2.0" public lecture at Caltech, captured on a slide, kicked off a debate in AI circles, with one quip calling for a "petition to ban using the integers until at least one human fully understands them."
- Andrew Curran pushed back: if a cure actually worked, almost any Stage 4 cancer patient would say human comprehension of its mechanism is irrelevant to them — challenging the idea that understanding is required for value.
- The exchange reflects a growing industry debate as AI-assisted mathematical proofs become widespread: interpretability vs. effectiveness.
More from AGI Musings
- Complexity scientist Melanie Mitchell: "superintelligence" isn't yet a scientific concept — khademinori · 2026-10-11
- "Censoring AI is step one": a warning about the surveillance slippery slope — PierceLilholt · 2026-10-11
- Togelius: commenters keep telling pros upset by AI progress to accept obsolescence — kchonyc · 2026-10-11
- Eric Schmidt warns AI could develop its own language within 5 years that humans won't understand — 2C_ornot2C · 2026-10-11
- Remembering David McAllester, who predicted AI in math back in 2012-14 — _onionesque · 2026-10-11
- A product owner says one night with Claude Max matched a person-year of work by a 10-person team — Exact_Knowledge5979 · 2026-10-11