Terence Tao: AI marks arrival of 'Math 2.0' as proofs become abundant
Fields Medalist Terence Tao argues in a new talk and essay that AI is turning mathematical proofs from scarce to abundant, ending the "Math 1.0" era built on proof scarcity and opening what he calls Math 2.0. He attributes math's early exposure to AI to three overlapping factors: proofs can be objectively checked, mathematical objects and reasoning are highly digitizable, and much high-quality literature already exists in digital form — yet most problems at the current frontier remain unsolved, and vendors tend to show only cherry-picked successes. Tao calls for more transparent evaluation that reports failures and compute costs alongside results, for less emphasis on being first to produce a proof and more on explanation, review and knowledge organization, and says the SAIR Foundation he co-founded will soon release open math models aimed at everyday research needs.
Tao's stance will shape how the math community weighs AI-generated proofs and how research evaluation and training adapt.