摘要：陶哲轩等学者批评OpenAI批量发布数百份AI生成的数学证明，指其绕过顾问小组规范、缺乏可理解解释，导致数学界“证明消化不良”。学界警示，以速度衡量进步属短视，机械收割或将贫瘠学科创新土壤。

OpenAI近日从GitHub平台集中发布了719份数学手稿，涵盖数百项开放数学难题的解答。然而，这一举动并未赢得学术界的掌声，反而招致了以著名数学家陶哲轩为代表的学者群体的严厉批评。争议的核心指向一个关键矛盾：OpenAI的做法被认为背离了“数学与人工智能顾问小组”此前就专有模型透明度与发布规范所提出的建议。

陶哲轩将当前局面概括为数学界的“证明消化不良”。这一比喻精准捕捉了传统数学研究与AI工业化生产之间的根本张力——在过去，攻克一个数学猜想往往需要伴随深入的学术交流、论文的反复简化以及新理论的逐步提炼；而AI的介入方式截然不同，它直接给出答案，却抽离了人类可理解的解释框架和学术互动过程。这种“只交结果、不附过程”的模式，正在侵蚀数学社区赖以健康运转的探索机制。

更深层的忧虑在于评价标准的偏移。学界警告，若将攻克难题的速度奉为衡量数学进步的唯一标尺，实则是一种短视。大规模机械式的“收割”不仅难以为学科带来实质性的洞见积累，反而会挤压传统研究路径的生存空间，长此以往，整门学科的创新土壤将面临贫瘠化的风险。