人类数学协会近期发布正式声明,呼吁全球数学界暂停与openai的学术合作,反对该公司在github平台集中公开大批由人工智能生成的数学手稿。该组织指出,openai最初上线722份手稿,随后因存在符号性错误主动撤回3份,当前公开存档数量为719份,涵盖约372个不同数学成果族。

该声明措辞强硬,批评此类大规模、非渐进式发布行为“呈现的并非严谨的学术探索,而是一种技术霸权”,并强调数学研究应回归以人类可理解、可复现、可批判为根基的学术范式。菲尔兹奖得主陶哲轩虽未参与声明起草,但他在个人博客中完整转载了全文,迅速引发学界广泛关注与讨论。

此次争议并非孤立事件。早前,陶哲轩曾联合其余24位菲尔兹奖获得者共同签署一封公开信,明确警示AI企业不应将复杂数学问题简化为模型性能比拼的竞技场。与此同时,由普林斯顿高等研究院牵头组建的“数学与人工智能咨询小组”亦提出若干指导原则:前沿AI实验室不得在封闭、不可访问的专有模型上开展高难度数学任务测试;必须公开所用模型名称、完整推理路径及对应算力消耗。然而,OpenAI本次发布的手稿中,仅有极少数附带可追溯的推理链,未能充分满足上述建议。

部分学者对AI产出内容的逻辑连贯性与表达清晰度提出质疑。理论计算机科学家达娜·莫什科维茨评价相关文档“结构松散、推导断裂”,斯科特·阿伦森则将其称为“数学文明的黄昏”。但也有研究者持审慎乐观态度,认为AI仍具备辅助数学发现的潜力,关键在于企业需遵循既定学术伦理与出版规范,以负责任的方式推进成果共享。

截至目前,OpenAI已对相关代码仓库作出调整,正式移除3篇存在问题的手稿,并对若干文档进行了修订更新。这场论战的焦点,早已超越“AI是否能证明定理”的技术层面,深入至更根本的命题:数学研究议程应由谁设定?验证与审查的责任应由谁承担?以及,当算法能力指数级跃升时,技术演进是否依然锚定于人类知识体系的可持续积累?


















