陶哲轩：数学2.0时代已至，证明泛滥后数学家该做什么

菲尔兹奖得主陶哲轩发文提出数学2.0时代已至，AI正让数学证明从稀缺走向泛滥，建立在证明稀缺之上的数学1.0评价体系即将落幕。他认为AI解题门槛降低后，判断解答是否正确、贡献多大以及与已有研究衔接仍需认真处理，否则会出现解出题却不增加人类理解的错位，并呼吁建立更透明的评估机制，把失败结果和算力成本一并纳入报告。