陶哲轩：数学2.0时代已至，证明泛滥后数学家护城河在哪

菲尔兹奖得主陶哲轩发文提出数学2.0时代已至，建立在证明稀缺之上的数学1.0时代即将落幕。他认为AI让获取解答的门槛降低，但判断解答是否正确、贡献多大以及与已有研究衔接仍需认真处理，否则会出现解出题却未增加理解的错位。他呼吁建立更透明的评估机制，把失败结果和AI算力成本一并纳入报告，并主张减少对抢先生成证明的强调，增加对解释、评审和知识整理的重视。