陶哲轩发表《数学2.0》演讲，提出 AI 推动数学进入证明丰裕时代

陶哲轩在 2026 年 10 月的《数学2.0》演讲中提出，数学因证明可客观验证、高度数字化且拥有大量高质量数据，正从证明稀缺时代进入证明丰裕时代。他认为 AI 能力在数学任务上表现出明显的锯齿状特征，单纯优化解题会削弱数学的长期健康，Math 2.0 应把 AI 用于增强人类理解、开放讲解问题、论文网络、形式化数学库、实验数学和可解释开源数学模型。