陶哲轩称AI致证明泛滥，数学2.0时代开启

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

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。