大数跨境

陶哲轩转发抵制声明,数学界和OpenAI彻底撕破脸

陶哲轩转发抵制声明,数学界和OpenAI彻底撕破脸 APPSO
2026-10-09
5
导读:该怎么证明自己真的不需要 AI

一次性发布 700 多个文件并非学术成就的体现,而是权力的炫耀。

我们敦促数学家们停止与 OpenAI 的合作,回归以人类理解为中心的科学理念。

针对 OpenAI 批量发布数学研究成果一事,人类数学协会(Human Mathematics Society)发表声明回应,称「数学家们并未要求进行这项工作」,并呼吁全球数学家抵制 OpenAI。该声明迅速在社交平台 X 上引发激烈争论。
华人数学家、菲尔兹奖得主陶哲轩虽在个人博客转载了该声明,但随即被网友误传为领衔发起人。事实上,陶哲轩并不在人类数学协会的会员名单中。随着舆论发酵,公众开始质疑该协会的权威性,其宣称的「数学家未要求此工作」被批评为「荒谬且滑稽」。

人类数学协会的立场与争议

值得注意的是,该协会的入会承诺极具排他性:
加入人类数学协会需做出三项核心承诺:
1.不向商业 AI 公司提供技术劳动力、数学知识、咨询或宣传服务。
2.不发表由 AI 模型生成的任何数学文本(含论文、审稿报告、教材等)。
3.反对在研究工作中使用 AI 模型。
简而言之,入会即意味着全面放弃 AI。然而,更具讽刺意味的是,经 AI 检测工具 Pangram 分析,这份反 AI 声明本身被判定为 100% 由 AI 生成。

OpenAI 成果的质量疑云

与此同时,针对 OpenAI 发布的 722 篇数学手稿,批评声从未停歇。数据显示,仅有 162 篇主要结果经过计算机验证。发布次日,OpenAI 撤下 3 篇存在核心论证失效的手稿,修订 14 篇,并更新 13 篇的引用关系。
OpenAI 官方也在 GitHub README 中承认:「一些未形式化的结果可能存在问题,我们将努力尽快修复。」这暗示了大量发布内容可能存在错误。
面对这一局面,数学界陷入两难:是跟随抵制联盟远离 OpenAI,还是拥抱 AI 带来的效率变革,接受「十分钟产生菲尔兹奖级成果」的现状?

抵制背后的深层焦虑:话语权与学术规范

人类数学协会的声明不仅呼吁停止合作,更触及了数学研究的核心伦理:作者是否真正理解证明?谁对结果负责?同行评审机制如何维持?这些议题引发了广泛共鸣。
批评者指出,OpenAI 可能并不理解其发布的结论,只是将 AI 的输出公之于众。更深层的担忧在于「权力转移」:一家商业公司通过不公开的内部模型批量生产成果,并单方面决定发布节奏,这可能使其获得设定数学研究议程的话语权。
网友调侃这份声明将成为未来「AI 介入知识生产史」课程的一手材料。调查显示,人类数学协会成立于 2026 年 8 月,现有 809 名会员,其中近三分之二来自法国和美国,另有 11 人来自中国。成员多以研究生为主,鲜见具有重大影响力的资深数学家。
目前数学界存在多个相关组织,观点各异:
《人工智能在数学领域严重失衡》宣言(mathandai.org):由 28 位菲尔兹奖得主签署,获 8000 多人支持。
数学与人工智能咨询小组(agmai.org):由高等研究院主办,9 位资深数学家组成,就 AI 结果发布提供建议。
人类数学协会(ahmath.org):约 800 名成员,承诺不与商业 AI 公司合作,拒绝发表或使用 AI 生成的数学文本。
上下滑动查看更多内容
尽管立场不同,大多数学者认同 OpenAI 对数学界造成了冲击。社交媒体上有观点认为,OpenAI 出于经济利益,无视署名、投稿及同行评审等传统学术规范,这种行为若持续下去,可能摧毁数学界历经百年积累的结构。
如果 OpenAI 意在摧毁数学界,这确实是绝佳途径。未解决的问题是数学界的宝贵资源,其价值源于社区赋予的意义和衡量进步的标尺。AI 海啸般的输出让学界措手不及,而 OpenAI 似乎为了自身利益,毫不犹豫地冲击现有结构。
图|社区的讨论汇总

722 份草稿:验证困境与新机遇

支持者则认为,这批手稿迫使数学界重新定义工作方式。部分开发者已在社区进行初步核验,如重新运行准黎曼结果的 Lean 检查并通过,或将矩阵乘法结果扩展至更一般域并验证成功。
此前陶哲轩等学者并不否认 AI 的辅助作用,他们担忧的是 AI 公司将「解决开放问题」作为能力指标,从而损害数学所重视的理解、洞见及代际传承。此次抵制事件,已将讨论提升至超越「AI 能否做数学」的层面。
这场争论让人联想到美剧《硅谷》中的情节:科技巨头 CEO 声称要「让世界变得更好」,实则无法容忍他人比自己做得更好。如今,OpenAI 试图证明 AI 能大规模解决难题,而反对者则警惕商业公司凭借技术优势重塑数学研究的规则与节奏。
图|CEO 在批评公司团队时说「我想让世界变得更好,但我更不能接受的是,别人比我做得更好。」
双方均希望数学进步,但对于「如何进步」及「由谁推动」存在根本分歧。OpenAI 可在短时间内发布 700 多份手稿,但数学界无法同步完成阅读、验证与理解。AI 降低了成果生产成本,却未降低验证成本,这种不对称正在深刻改变科学研究的运行方式。
【声明】内容源于网络
0
0
APPSO
AI第一新媒体,「超级个体」的灵感指南。 #AIGC #智能设备 #独特应用 #Generative Al
内容 15816
粉丝 0
APPSO AI第一新媒体,「超级个体」的灵感指南。 #AIGC #智能设备 #独特应用 #Generative Al
总阅读502.2k
粉丝0
内容15.8k