陶哲轩：数学2.0时代已至，AI冲击下的数学研究护城河在哪里？

菲尔兹奖得主陶哲轩指出，AI正在使数学证明变得泛滥，标志着“证明稀缺”的数学1.0时代落幕。他认为AI虽能降低解题门槛，但盲目追求自动化证明可能损害数学的长期健康，并呼吁建立更透明的评估机制。陶哲轩强调，人类数学家的核心价值在于对证明的理解、解释及与现实世界的连接，而非单纯的解题产出。