Math 2.0

Mathematician Terence Tao is calling for a rethinking of how mathematical progress is valued in what he terms "Math 2.0", an era shaped by AI-assisted discovery. He argues that formal proofs and published theorems should not be the only measures of contribution, with collaboration, tooling and computer-verified work deserving fuller recognition as mathematics becomes increasingly machine-augmented.

Mathematician Terence Tao has shared slides from a talk titled Math 2.0, delivered at Caltech, laying out how technology, AI tools and large-scale collaboration could reshape mathematical research. The document is drawing wide attention online, with readers debating how AI assistants and formal proof systems might change the way theorems are discovered and verified.