陶哲轩：数学2.0时代已至！AI改变数学证明环境

菲尔兹奖得主陶哲轩指出，AI正在改变数学证明环境，从“证明稀缺”到“证明泛滥”，数学1.0时代即将落幕。他呼吁建立更透明和科学的评估机制，并强调数学家在理解、训练和现实世界中的重要性。