曾被视为硅谷“AI课代表”的菲尔兹奖得主陶哲轩，近日在SAIR演讲中公开呼吁AI公司放缓数学研究节奏，直言“完全没理由这么快”。这一表态与其数月前积极推广AI工具、称数学正经历“哥白尼革命”的立场形成鲜明反差。

陶哲轩指出，当前AI模型在“生成解答”和“Lean形式化验证”环节飞速推进，但后续的理解、消化与教科书编写几乎停滞，导致大量证明无人解读、无人发表，形成“证明消化不良”（Proof Indigestion）。他警告，这可能导致数学家创造力丧失，并引发数据污染——下一代模型若训练于人类无法理解的AI生成证明，后果未知。

这一担忧并非孤例。菲尔兹奖得主Cédric Villani在OpenAI攻克千禧难题后称“如世界末日”，而陶哲轩已联合Peter Scholze、邓煜等25位菲尔兹奖得主发表公开信，批评AI公司将数学研究简化为基准测试，忽视推导过程中的“认知摩擦”。

面对数学界的集体抗议，OpenAI宣布成立设在普林斯顿高等研究院的“数学与人工智能顾问小组”，成员包括Edward Witten、Timothy Gowers等顶级学者。但官方声明明确，该小组“不负责就数学上的内部进展提供建议”，引发外界对其实际效力的质疑。