陶哲轩发文谈数学2.0：证明泛滥时代数学家何为

菲尔兹奖得主陶哲轩发文提出数学2.0时代已至，认为AI正让数学证明从稀缺走向泛滥，建立在证明稀缺之上的数学1.0评价体系即将落幕。他把解题拆成生成证明、验证正确性、解释清楚、被共同体接受、融入标准理论五个阶段，指出AI主要加速前段，后段可能出现证明消化不良，并呼吁评估机制把失败结果和算力成本一并纳入报告。