Terence Tao says the age of math 2.0 has arrived as AI floods math with proofs

Fields Medal winner Terence Tao says AI is making mathematical proofs abundant, ending the math 1.0 era built on scarce proofs.

He argues that solving open problems does not by itself add human understanding, and calls for reporting failures and compute costs alongside AI results.

The article also reports Tao's warnings about overly fast AI development and his proposed five-stage path from proof generation to integration into standard theory.