Terry Tao Leads an AI-Driven Reform of Mathematical Collaboration
Tao is promoting AI-assisted, computer-verified mathematics, shifting from solo work to massively collaborative, proof-checked research. Through Polymath-inspired projects and the Equational Theories initiative, he envisions solving thousands of subproblems with AI and Lean, creating a new, experimental era of mathematics where proofs are machine-checked for correctness.