陶哲轩发文谈数学2.0：证明泛滥之后数学家还需要什么

菲尔兹奖得主陶哲轩发文提出数学2.0时代已至，认为AI正让数学证明从稀缺走向泛滥，建立在证明稀缺之上的数学1.0评价体系即将落幕。他归纳数学易受AI冲击的三个条件：证明可被客观检验、数学对象与推理高度可数字化、大量高质量文献已数字化，并提醒当前前沿大多数问题仍未解决，呼吁把失败结果和算力成本纳入评估。