25位菲尔兹奖得主联名抵制OpenAI批量生成722篇数学手稿

2026年9月至10月，OpenAI密集发布722篇由AI生成的数学手稿，涵盖372个成果系列，宣称解决三维纳维-斯托克斯方程等千禧难题，并在24小时内刷新整数乘法下界纪录。此举引发数学界罕见集体反应：9月11日，陶哲轩、彼得·朔尔策、邓煜等25位菲尔兹奖得主联名致信，批评AI将数学简化为性能Benchmark的“暴力解题”；10月12日，“人类数学协会”（AHM）成立并宣布全面抵制OpenAI。陶哲轩此前曾积极倡导AI协作，但于2026年夏季转向系统性批判，指出AI产出已从提供启发滑向输出不可验证的“黑箱证明”。722篇手稿中仅约42%通过Lean形式化验证，多篇因逻辑缺陷撤回；部分证明依赖非直观构造与跳跃推理，需另一AI辅助阅读，被批为“符号垃圾”，违背数学可复现、可讨论的知识生产机制。学者担忧三重危机：成果可信度下降、学科功能异化（重答案轻思想）、年轻学者能力退化。丘成桐牵头组建“数学与人工智能实验室联盟”，主张AI用于加速计算与搜索，但问题设定、理论建构仍须人类主导。OpenAI虽设独立咨询小组，但学界认为技术迭代远超伦理响应速度。核心分歧在于：AI能否跳过理解直接输出结论？当前模型缺乏学术责任感，生成速度远超验证能力，已致十余篇手稿紧急撤回。数学界共识是反对功利化路径，而非AI参与本身，强调需改革评价体系、强制标注AI使用、强化阐释与教学转化。