Terence Tao's 'Mathematics 2.0' paper argues AI investment is moving math from scarce proofs to abundant ones (community report)

What happened

Terence Tao's 'Mathematics 2.0' PDF was shared on GeekNews. According to the summary, the paper argues the following. Traditional mathematics developed on the premise of 'proof scarcity,' meaning correct proofs are hard to obtain. With large-scale investment in AI, however, mathematics is entering an era of abundant proofs. Mathematical results can be checked objectively, are easy to digitize, and come with plenty of high-quality data. The paper says this is why solving math problems has become a good fit for AI.

Why it matters

The paper follows the recent controversy over OpenAI's mass release of math proofs and the later retractions and corrections. In it, a leading mathematician sets out how mathematical research may work in the AI era. It could serve as a reference point for discussions on proof verification, the role of the research community, and how to credit contributions.

Sources

• Community Terence Tao: 수학 2.0 [PDF] GeekNews