How Terry Tao Became an Evangelist for AI in Math
Summary
Quanta Magazine profiles Terry Tao’s emergence as a proponent of AI-assisted mathematics, tracing his shift from traditional collaboration models to machine-verified proofs. The article covers his work on Equational Theories, the Lean4 formalization effort, and the Polymath-inspired approach to large-scale, modular problem solving, highlighting both the scientific potential and the social implications for credit and workflow in mathematics.