陶哲轩在SAIR演讲中呼吁AI公司放缓数学研究速度

2026年10月，数学家陶哲轩在SAIR（国际人工智能与数学研讨会）上发表演讲，公开呼吁AI公司放缓在数学研究上的推进速度。他表示，AI公司在无休止地加速生成数学证明，但对这一进程可能带来的后果缺乏评估，"必须慢下来"。

陶哲轩提出，一个数学证明的完整生命周期通常包含五个环节：提出解答、机械验证（如通过Lean等形式化证明语言检查）、阐释工作、同行评审以及写入教科书。他认为，当前AI模型在生成解答和Lean形式化验证这两个环节上实现了高度加速，但在后续的理解、消化和教科书编写环节，人类参与的进度几乎为零，由此造成了一种他称之为"Proof Indigestion（证明消化不良）"的知识拥堵现象。

他进一步警告，这种失衡可能带来两大隐患。其一，数学家创造力的丧失——AI直接给出最终答案，可能抹杀人类在漫长探索过程中产生的偶发灵感与洞见。其二，数据污染风险——如果未来学术界充斥大量AI生成却无法被人类理解的证明，下一代AI基于这些数据训练，其后果尚不可知。

值得注意的是，陶哲轩此前长期对AI持积极态度，曾在多个场合推广AI工具在数学研究中的应用。此次演讲标志着他个人立场的一次明显调整，也折射出数学界对AI加速研究的普遍担忧。