陶哲轩：数学2.0时代已至，AI让证明泛滥，人类数学家护城河在于理解

菲尔兹奖得主陶哲轩发文称，AI正在让数学证明变得泛滥，数学1.0时代即将落幕，数学2.0时代已至。他认为，AI降低了获取解答的门槛，但判断解答是否正确、贡献多大仍需人类认真处理，否则会导致解出题却没有增加理解的错位。