数学界与OpenAI爆发信任危机:抵制声明背后的学术规范之争
人类数学协会发布声明,呼吁数学家抵制OpenAI,指责其批量发布未经充分验证的700多篇数学手稿是“权力的炫耀”而非学术成就。尽管菲尔兹奖得主陶哲轩仅转发该声明而未直接署名,但事件引发了关于AI生成内容在科学研究中责任归属、同行评审机制及研究议程主导权的激烈争论。与此同时,OpenAI部分论文因符号错误被撤回或修订,凸显了AI大规模产出成果时验证成本与生产成本的严重不对称。
事件概述
近期,OpenAI一次性发布了超过700份数学研究手稿,这一举动在学术界引发了巨大争议。由“人类数学协会”(Human Mathematics Association)发布的公开声明强烈批评了这一行为,称其并非真正的学术进步,而是商业公司对科研话语权的垄断。声明敦促全球数学家停止与OpenAI合作,回归以人类理解为核心的科学研究范式。
核心争议点
1. 抵制声明与会员承诺
人类数学协会成立于2026年8月,目前拥有约809名成员,多为研究生。该协会的入会承诺包括:
- 不向商业AI公司提供技术劳动力、咨询或宣传服务。
- 不发表由AI模型生成的数学文本(包括论文、讲义等)。
- 反对在研究工作中使用AI模型。
值得注意的是,该协会的声明本身被AI检测工具判定为100%由AI生成,且著名华人数学家、菲尔兹奖得主陶哲轩虽在个人博客转发了该声明,但他本人并未出现在协会名单中,也未作为领衔签署人。尽管如此,这一转发行为仍被视为数学界对OpenAI行动的重要回应信号。
2. OpenAI成果的可靠性问题
在OpenAI发布的722篇论文草稿中,仅有162篇的主要结果经过了计算机形式化验证(如Lean系统)。发布次日,OpenAI撤回了3篇存在核心论证失效的手稿,并修订了14篇论文,更新了13篇的引用关系。OpenAI在GitHub仓库中承认,“一些未形式化的结果可能存在问题”,这表明大量AI生成的数学内容可能存在错误,且缺乏传统学术出版中的严格同行评审流程。
3. 学术规范与权力结构的冲突
反对者认为,OpenAI的行为破坏了数学界长期建立的规范,包括作者署名、期刊投稿和同行评审制度。批评者指出,OpenAI并不真正“理解”其生成的证明,只是将结论公之于众,这可能导致公司凭借技术优势单方面设定数学研究的议程和标准。这种“生产速度”远超“验证能力”的不对称,正在改变科学研究的运行方式。
值得关注的影响
- AI伦理与责任的界定:当AI能够大规模解决数学难题时,如何界定作者责任、理解深度以及知识传承的价值成为新课题。支持方认为这推动了工作方式的重新定义,而反对方则担忧这会摧毁现有的学术结构。
- 多方组织的反应:除了人类数学协会,还有由28位菲尔兹奖得主签署的《人工智能在数学领域严重失衡》宣言,以及由高等研究院主办的数学与人工智能咨询小组,显示出数学界内部对AI介入程度的分歧和警惕。
- 未来科学生产的模式:这场争论不仅是关于“AI能否做数学”,更是关于“谁有权定义数学进步”。随着AI降低成果生产成本,但无法同步降低理解和验证成本,科学界正面临前所未有的结构性挑战。
