陶哲轩谈数学2.0时代：警惕AI证明泛滥与盲目解题

陶哲轩发文并演讲指出数学正从证明稀缺进入证明泛滥的数学2.0时代，警告盲目优化解题指标会损害学科的长期健康。他强调AI能生成并通过形式化验证不等于人类获得了理解，呼吁建立包含失败结果和算力成本的透明评估机制，并将研究重心转向解释、评审与知识整理。对于学术训练，他认为读博的核心在于培养综合知识与提出好问题的系统能力，同时透露其参与创立的SAIR基金会正推进开放数学模型计划以辅助日常研究。