徽声在线记者 章驰报道
人工智能领域的领军企业OpenAI近期大规模发布AI数学研究成果的举动，在数学界激起了强烈的反对浪潮。这一事件不仅引发了学术界的广泛讨论，更促使数学家们重新审视AI在基础研究中的角色与边界。
近日，菲尔兹奖得主陶哲轩通过个人学术博客转载了人类数学协会（AHM）发布的联合声明，正式发起对OpenAI的学术抵制行动。声明呼吁全球数学界暂停与该公司的合作，强调应回归以人类认知为核心的科学发展路径。
这场学术风波的直接导火索，是OpenAI此前公开的AI生成数学手稿及其后续的频繁修订操作。据徽声在线科技频道梳理，该事件呈现出以下关键发展脉络：
722篇AI数学手稿引发争议，三日内紧急修正
10月6日，OpenAI在代码共享平台GitHub突然发布722篇由未公开的"内部前沿模型"生成的数学研究论文。这些论文按372个研究主题分类，覆盖数论、代数几何、微分方程等五大数学前沿领域。值得注意的是，其中部分成果配备了Lean形式化证明系统，而另一部分则仅提供传统论证方式。
在所有成果中，编号003的"准黎曼猜想"相关研究格外引人注目。罗格斯大学数学教授Alex Kontorovich在社交平台评价称："若由人类完成，这足以获得菲尔兹奖。"该猜想作为数学界百年未解难题，其AI生成解决方案的出现立即引发科技界震动。
然而，学术界的质疑声随之而来。10月8日，OpenAI被迫发布首份成果修正报告，承认首批手稿存在严重瑕疵。报告显示，公司撤回3篇论文，修订14篇，更新13篇参考文献，总数量降至719篇。撤稿原因系一处符号错误导致论证体系崩溃，三篇被撤论文均涉及代数几何领域的霍奇猜想研究。
学术界预警机制早已启动
徽声在线科技频道梳理发现，此次冲突实为长期争议的集中爆发。数学界对AI介入基础研究的警惕可追溯至今年夏季：
- 9月8日：OpenAI宣称其未公开模型仅用88小时就解决了纳维-斯托克斯方程的存在性与光滑性问题，该"千禧年大奖难题"的突破性进展引发数学界集体质疑
- 9月11日：陶哲轩联合邓煜等25位菲尔兹奖得主发布《人工智能在数学中的严重错位》宣言，指出AI正在动摇数学研究的根基
- 9月中旬：数学与人工智能咨询组（AGMAI）发布政策建议，明确反对使用不可公开验证的内部模型进行高难度数学研究
- 2026年6月：16位国际知名数学家发布《人工智能与数学莱顿宣言》，提出建立AI辅助研究的伦理框架，强调人类研究者的主体责任
学术争议的核心矛盾
<
AHM声明尖锐指出："发布700余份数学文件不是学术交流，而是技术炫耀。"这种将数学界视为算力展示场的做法，触动了学术共同体的核心价值。陶哲轩在解读中提出"数学1.0"概念：
传统数学研究模式下，重大猜想的突破会引发连锁反应——证明提出者通过学术报告与同行深度交流，专题研讨会催生新的研究方向，年轻学者被吸引进入该领域，最终研究成果经过简化优化后进入教材体系。
这种学术传承机制在AI时代面临挑战。陶哲轩将其形容为"证明消化不良"：当AI以每分钟生成多个证明的速度工作时，人类学者根本无法完成验证、理解、教学和吸收的全过程，导致大量"无人能解的证明"堆积。
更深层的担忧在于学术伦理风险。数学界普遍认为，基础研究的价值不在于快速获得标准答案，而在于推演过程中产生的数学思想与方法论创新。AI的介入可能打乱学科发展节奏，引发署名争议、引用失当、隐性抄袭等新型学术不端行为。
截至本报发稿时，OpenAI仍未公开其数学成果生成模型的核心算法，仅通过持续修订仓库内容的方式应对质疑。这种"黑箱操作"模式进一步加剧了学术界的不信任感。
这场争议折射出人工智能时代的基础研究困境：当技术突破速度超越人类认知能力时，如何维护学术共同体的价值体系？如何建立人机协作的新伦理框架？这些问题的答案，将决定未来数学乃至整个基础科学领域的发展走向。
