Terence Tao: the age of math heroes is over, welcome the industrialization of math
SammaVaco · reddit · 2026-10-16
Fields Medalist Terence Tao tells Numberphile that 'the age of [mathematical] heroes has ended — this is the era of industrialization of math.' He discusses how AI and formal proof tools like Lean are shifting mathematics from lone-genius breakthroughs toward large-scale, modular, machine-verifiable collaborative workflows — changing how mathematical research itself is produced, with AI acting as a powerful collaborator.
Related event: Terence Tao: Mathematics Leaves Its Heroic Era for an Industrial Age(3 posts)→
More from AGI Musings
- Testing alongside an agent in a p2p room feels oddly real, says dev — sull · 2026-10-16
- Yudkowsky's 2008 takeoff scenarios resurface as AI-advances-AI takes hold — jd_pressman · 2026-10-16
- Guardrails can make risky delegation work — but it takes a full-time team, says iandanforth — iandanforth · 2026-10-16
- e/acc founder: agentic models are autocomplete for digital actions — beffjezos · 2026-10-16
- What can you truly delegate? Only tasks with unambiguous, verifiable results — iandanforth · 2026-10-16
- Casper: Understanding 90% of neurons ≠ understanding the network — StephenLCasper · 2026-10-16