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

菲尔兹奖得主陶哲轩发文提出数学2.0时代已至，认为AI正让数学证明从稀缺走向泛滥，建立在证明稀缺之上的数学1.0评价体系即将落幕。他归纳数学易受AI冲击的三个条件，包括证明可被客观检验、数学对象高度可数字化、大量高质量文献已数字化，并呼吁建立更透明的评估机制，把失败结果和算力成本一并纳入报告。他还提出解题五阶段，主张减少对抢先生成证明的强调，增加对解释、评审和知识整理的重视。