Math 2.0

Mathematician Terence Tao argues that the next era of mathematics, which he calls “Math 2.0”, should measure progress more holistically than traditional metrics allow. His remarks, shared on Mathstodon, have drawn strong engagement, with hundreds of mathematicians and enthusiasts debating how tools like AI-assisted proof and collaborative online work should change what counts as genuine mathematical achievement.

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.