陶哲轩在 SAIR 演讲转向 AI 减速派：称模型公司无休止加速"简直是疯了"

陶哲轩在 SAIR 最新演讲中公开喊话模型公司"别解数学问题了"，称 AI 公司无休止加速却对后果一无所知，必须慢下来。他提出 Proof Indigestion（证明消化不良）概念，指 AI 只在生成解答和 Lean 形式化验证两步加速，理解、同行评审、写入教科书三步几乎为零，并警告数学家创造力丧失与数据污染两大隐患。