陶哲轩发文：数学2.0时代已至，证明稀缺的数学1.0即将落幕

菲尔兹奖得主陶哲轩发文提出数学2.0时代已至，AI正让数学证明从稀缺走向泛滥，建立在证明稀缺之上的数学1.0评价体系即将落幕。他认为证明可被客观检验、数学对象高度可数字化、大量文献已数字化三个条件叠加，使数学成为AI能力突进的核心战场，但AI厂商只展示精选成功案例，呼吁建立更透明的评估机制，把失败结果和算力成本一并纳入报告。