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

菲尔兹奖得主陶哲轩发文宣告数学2.0时代已至：AI正让数学证明从稀缺走向泛滥，建立在证明稀缺之上的数学1.0评价体系即将落幕。他提出数学研究应减少对抢先生成证明的强调，转向解释、评审与知识整理，并透露其参与创立的SAIR基金会将很快发布面向日常研究需求的开放数学模型。