RecodeX 重构消息，数学家陶哲轩在题为《Math 2.0》的演讲中提出，AI正让数学研究从传统的“证明稀缺”时代走向“证明富足”时代。他警告，当前数学界过度聚焦用AI自动解决开放问题，会让人类理解环节被绕过，损害数学的长期发展与现实应用的安全性。

他描绘的Math 2.0愿景是把AI作为辅助工具强化人类对数学的理解，并列举了开放阐释问题、搭建动态数学知识网络、建设高质量形式化数学库等具体研究方向，认为核心瓶颈并非技术，而是打破传统研究路径依赖的想象力。