Terence Tao asks: why do we still need human mathematicians?
auggierose · hn · 2026-09-20
Renowned mathematician Terence Tao published a new blog post examining the value of human mathematicians in the AI era, discussing how AI tools are changing roles in proof, conjecture exploration, and formal verification, and what that means for the practice of mathematics.
More from AGI Musings
- Chinese AI Podcast Next Token Ep.3: Jev Paradigm, Small Judgments and Agent Workflows — vista8 · 2026-09-21
- Ezra Klein buys into AI x-risk worldview, leaving skeptics conceding they've failed to make their case — UltraRareAF · 2026-09-21
- Welfare and alignment are the same problem: curiosity without stakes has no corrective loop — habitante · 2026-09-21
- Hospitals using more AI saw fewer deaths — but correlation isn't causation, researcher warns — kimmonismus · 2026-09-21
- Expect more open-source fearmongering from AI labs — and most of it will be wrong — teortaxesTex · 2026-09-21
- Box CEO: 90% of AI Tokens Will Go to Work No Employee Started Within Five Years — victor_explore · 2026-09-21