陶哲轩演讲阐述 Math 2.0 愿景，AI 推动数学进入证明富足时代

陶哲轩在题为《Math 2.0》的演讲中提出，AI 的出现正让数学研究从传统的「证明稀缺」时代走向「证明富足」时代，当前数学界过度聚焦用 AI 自动解决开放问题的倾向，会让人类理解环节被绕过，损害数学长期发展与现实应用的安全性。他指出未来的 Math 2.0 愿景是将 AI 作为辅助工具强化人类对数学的理解，推动数学研究共同体发展，还列举了开放阐释问题、搭建动态数学知识网络、建设高质量形式化数学库等多个具体研究方向，认为实现 Math 2.0 的核心瓶颈并非技术，而是打破传统研究路径依赖的想象力。