Terence Tao: Mathematics Leaves Its Heroic Era for an Industrial Age

Fields Medalist Terence Tao said in a Numberphile interview that mathematics is leaving its heroic, romantic era and entering an industrial age of large-scale collaboration powered by AI and formal proof tools like Lean, a transition the community embraces reluctantly but with excitement.

2026-10-16 ~ 2026-10-16 · 3 related posts

• Terence Tao: math is leaving its romantic 'age of heroes' for an industrial era — haider1 · 2026-10-16
• Terence Tao: the age of math heroes is over, welcome the industrialization of math — SammaVaco · 2026-10-16

1 near-duplicate retellings: haider1