陶哲轩警示 OpenAI 批量生成证明，数学界面临“证明消化不良”

著名数学家陶哲轩等学者近期对 OpenAI 批量发布 AI 生成的数学证明提出严厉批评。事起 OpenAI 从 GitHub 发布了包含数百项开放难题解答的 719 份数学手稿，但此举被指违背了“数学与人工智能顾问小组”关于提高专有模型透明度与发布规范的建议。

理解机制缺失威胁研究生态

陶哲轩指出，这种工业化批量攻克难题的方式正带来严重的负面效应，导致数学界出现“证明消化不良”现象。传统数学研究中，攻克猜想伴随着学术交流、论文简化及新理论的提炼，而 AI 仅给出答案却缺乏人类可理解的解释与学术互动，破坏了数学社区的健康探索机制。

过度追求指标损伤领域肥力

学界同时警示，将攻克难题的速度作为衡量数学进步的唯一指标属于短视行为。这种大规模的机械“收割”不仅未能带来实质性的洞见积累，反而挤压了传统研究路径的生存空间，使整门学科的创新土壤面临贫瘠化的风险。