智能AI None 陶哲轩:千年数学规则被AI按下重启键 新智元报道 编辑:定慧 【新智元导读】 菲尔兹奖得主陶哲轩在斯坦福演讲后宣布改变个人工作习惯:不再试图实时跟进所有新证明。AI生成证明的速度已经远超人类消化能力,数学正在被自己的产出撑爆。陶哲轩,公开演讲承认AI已彻底改变数学工作流。周三, 数学正在 陶哲轩在 Lean 2026-05-16 新智元