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.

Azeem Azhar's Exponential View newsletter leads with three themes: new mathematical approaches underpinning AI development, Pakistan's growing reliance on solar power as an energy hedge, and ongoing battles over who controls global computing capacity. The Pakistan angle is drawing particular attention, as the country scrambles to stabilise its strained power grid amid economic pressure, with cheap solar imports accelerating a shift away from fossil fuels.