陶哲轩谈数学2.0时代：AI证明泛滥后的理解与护城河

陶哲轩发文称AI正在让数学证明泛滥，数学1.0的证明稀缺前提正在改变，获取解答的门槛降低，但判断正确性、贡献和衔接仍需认真处理。他以癌症疗法思想实验说明，通过形式化验证和临床测试的答案仍需人类理解其机制，并把解题分为生成证明、验证、解释、共同体接受和融入标准理论五个阶段，主张减少抢先生成证明、重视解释评审和知识整理。