“Math 2.0”需要更整体地评估数学进展
摘要
评论文章探讨“Math 2.0”应如何更整体地评估数学研究进展，呼吁改变当前以论文为中心的评价体系。
暂无内容
相似文章
数学不止于证明，我们应更好地颂扬其他方面
文章提出，数学中的'动机性解释'应与证明一同获得学术认可，尤其是AI生成的证明对传统贡献衡量标准构成挑战之际。
强调：数学远未被解决
文章强调，数学是一个不断扩展的领域，拥有无数未解之谜，而人工智能是一个变革性工具，能够以前所未有的速度推进数学研究，将焦点从个人成就转向协作进步。
设身处地想想数学家的处境
评论文章指出，AI 在数学领域造成的影响远比编程或设计等其他领域更为彻底和剧烈——数学问题非解即未解，没有模糊空间，这使得多年培养的数学家技能可能迅速贬值。
Terence Tao on How AI Is Changing Mathematics
数学家陶哲轩认为AI正在降低数学研究中的认知摩擦，使实验和大胆想法成为可能，并有望成为主流工具；他还预测未来数学发表将分享探索路径而非仅最终结果。
Terence Tao：Math 2.0 [pdf]
Terence Tao 分享了题为「Math 2.0」的 Caltech 2026 演讲幻灯片，探讨 AI 与形式化方法将如何改变数学研究与证明的未来。