📖 AI 总结

陶哲轩近期公开呼吁AI公司放缓数学研究步伐，态度从积极拥抱AI转向谨慎，引发关注。他提出“证明消化不良”概念：AI在生成解答和形式化验证环节飞速推进，但人类理解、同行评审、写入教科书等后续环节几乎停滞，导致大量证明无人消化，形成知识拥堵。他警告两大隐患：一是数学家创造力可能因AI直接跳向答案而萎缩，二是AI生成的不可理解证明将污染训练数据，类似克隆小鼠的累积缺陷。菲尔兹奖得主Cédric Villani等人也表达强烈危机感，25位菲尔兹奖得主联名致信批评模型公司。OpenAI随后宣布成立独立顾问小组回应。这一转向折射出顶尖数学界对AI加速冲击基础研究生态的深层忧虑。