“Math 2.0” will need to value mathematical progress more holistically
Summary
评论文章探讨“Math 2.0”应如何更整体地评估数学研究进展，呼吁改变当前以论文为中心的评价体系。
Similar Articles
If math is more than proof, we need to better celebrate the rest of it
The article proposes that 'motivated explanations' in mathematics should be academically credited alongside proofs, particularly as AI-generated proofs challenge traditional measures of contribution.
I'll emphasize: math is not solved
The article emphasizes that mathematics is an ever-expanding field with countless open problems, and AI is a transformative tool that can advance mathematical research faster than ever before, shifting the focus from individual achievements to collaborative progress.
Put yourself in the shoes of a mathematician
评论文章指出，AI 在数学领域造成的影响远比编程或设计等其他领域更为彻底和剧烈——数学问题非解即未解，没有模糊空间，这使得多年培养的数学家技能可能迅速贬值。
Terence Tao on How AI Is Changing Mathematics
Mathematician Terence Tao believes AI is reducing cognitive friction in mathematical research, enabling experimentation and bold ideas, and is expected to become a mainstream tool. He also predicts that future mathematical publications will share exploration paths rather than just final results.
Terence Tao: Math 2.0 [pdf]
Terence Tao presents "Math 2.0" slides from a Caltech 2026 talk, discussing how AI and formal methods are set to transform mathematical research and proving.