Critique: Terence Tao's Math 2.0 vision contains two fundamental contradictions
layer07_yuxi · x · 2026-10-14
The author criticizes Terence Tao's Math 2.0 vision of AI-assisted mathematical understanding, arguing it is internally incoherent: if human understanding has utilitarian value, big tech would already pursue it, leaving mathematicians nothing to gripe about; if it lacks utilitarian value, outsiders would have no reason to care. Either way, the justification collapses.
More from AGI Musings
- Reading books while your agents work: AI is giving users their attention back — martyamark · 2026-10-14
- Richard Socher says p(doom)=0 and explains how close Recursive SI is to automating science — jeremyakahn · 2026-10-14
- Andrew Ng blasts AI extinction fears, says 'made-up safety arguments' stifle competition — JHochderffer · 2026-10-14
- Biologist pushes back on 'automate all labs': only ~20% of assays make sense — anshulkundaje · 2026-10-14
- AI Bubble Check: Most People Still Don't Know Who Claude Is — RachelVT42 · 2026-10-14
- Timnit Gebru resurfaces Michael Jordan's 2018 essay debunking machine-god hysteria — AlexTensor · 2026-10-14