陶哲轩：数学2.0时代已至

菲尔兹奖得主陶哲轩发文指出，AI让数学证明趋于泛滥，数学1.0以证明稀缺为核心的评价体系正在失效。他警告盲目卷解题会损害数学长期健康，认为数学家护城河在于理解、训练和连接现实世界。