Terence Tao Says AI Has Ended the Era of Scarce Mathematical Proofs

Fields Medalist Terence Tao has declared that artificial intelligence has fundamentally transformed mathematics by shifting it from an age of proof scarcity to one of "proof abundance." Speaking at the International Congress of Mathematicians in July 2026 and at Caltech in October, Tao argues that the mathematical community now faces a foundational crisis comparable to the shock of Gödel's incompleteness theorems, and must decide what the discipline is actually for.