智能AI None 陶哲轩12年前的预言，现在AI帮他兑现了 陶哲轩12年前的预言，现在AI帮他兑现了 闻乐 2026-06-20 19:56:57 来源： 量子位 全球最聪明的人之一，成了AI最狂热的布道者 闻乐 发自 凹非寺 量子位 | 公众号 QbitAI 事实证明，菲尔兹奖得主有时候也兼职预言 Lean Polymath 闻乐 2026-06-20 闻乐
智能AI None 陶哲轩：千年数学规则被AI按下重启键 新智元报道 编辑：定慧 【新智元导读】 菲尔兹奖得主陶哲轩在斯坦福演讲后宣布改变个人工作习惯：不再试图实时跟进所有新证明。AI生成证明的速度已经远超人类消化能力，数学正在被自己的产出撑爆。陶哲轩，公开演讲承认AI已彻底改变数学工作流。周三， 数学正在 陶哲轩在 Lean 2026-05-16 新智元