陶哲轩：数学2.0时代已至！

菲尔兹奖得主陶哲轩发文指出，AI正导致数学证明泛滥，建立在证明稀缺基础上的数学1.0时代即将落幕。他警告盲目优化“解题”指标将损害数学长期健康，并强调人类在理解、解释及知识整合方面的核心作用不可替代。