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

9 小时前

在《Math 2.0》的演讲中，陶哲轩提出，AI正推动数学研究从“证明稀缺”迈向“证明富足”的新阶段。然而，当前数学界过度依赖AI自动解决开放问题，可能绕过人类理解环节，对数学的长期发展和现实应用的安全性造成损害。他倡导将AI作为辅助工具，以增强人类对数学的理解，并推动数学研究共同体的发展。为此，他提出了开放阐释问题、构建动态数学知识网络、建设高质量形式化数学库等具体研究方向。陶哲轩认为，实现Math 2.0的关键不在于技术，而在于打破传统研究路径依赖的想象力。