陶哲轩谈数学2.0：AI证明泛滥与评估机制重构

陶哲轩近期发文讨论AI对数学研究的影响，提出数学2.0时代已至。他认为AI正在让数学证明泛滥，数学1.0时代证明稀缺的前提正在改变，获取解答的门槛显著降低，但判断证明正确性、学术贡献以及知识衔接仍需认真处理。他以癌症疗法思想实验为例说明，即使答案通过形式化验证和临床测试，人类仍需理解其机制。陶哲轩将解题分为生成证明、验证、解释、共同体接受和融入标准理论五个阶段，主张减少抢先生成证明，重视解释评审和知识整理，并呼吁建立更透明的评估机制。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。