陶哲轩：数学2.0时代已至，AI让证明从稀缺走向泛滥

菲尔兹奖得主陶哲轩发文宣告数学2.0时代已至，认为AI正让数学证明从稀缺走向泛滥，建立在证明稀缺之上的数学1.0评价体系即将落幕。他提出数学研究应拆分为生成证明、验证、解释、被共同体接受、融入标准理论五个阶段，并警告盲目优化“解题”指标会损害数学长期健康。他参与创立的SAIR基金会开放数学模型计划将很快发布。