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
- If superhuman AI researchers are imminent, will capability problems be easier than safety ones? — ronbodkin · 2026-11-12
- "AI is a terrible teacher": viral pushback against personalized AI tutoring hype — RachelVT42 · 2026-11-12
- OpenAI, Anthropic and DeepMind job posts signal PMs must write evals and code — aakashgupta · 2026-11-12
- Architecture study sparks monitoring concerns over a multi-hop planning spike — ChowdhuryNeil · 2026-11-12
- PowerShell creator Jeffrey Snover at Ignite: AI revolution is an extinction event for those who don't adapt — dfinke · 2026-11-12
- Worst AI use: signaling you don't care about things you should — Afinetheorem · 2026-11-12