Terry Tao Became an Evangelist for AI in Math (quantamagazine.org) AI

Quanta Magazine profiles mathematician Terry Tao’s evolution from embracing large-scale public collaboration (including the Polymath Projects) to advocating computer-assisted proof checking, arguing that automated systems like Lean could eventually let proofs be assembled from smaller verified chunks rather than relying on human referees.