陶哲轩带头宣战，人类数学家联合抵制OpenAI
冲突全面升级。
数学界最具影响力的人物之一、菲尔兹奖得主陶哲轩，代表人类数学协会（AHM）发表了一份重磅联合公告——
公开抵制OpenAI。
一次性抛出超过700份文档，这根本不是学术研究，纯粹是在炫耀计算资源上的统治力。 我们呼吁所有数学工作者立即终止与OpenAI的协作，回归以人类智慧为核心的科学方向。
全球数学家为何在一夜之间集体站到了这家AI企业的对立面？
原因在于OpenAI的行动太过极端。
此前OpenAI声称攻克了千禧年难题，陶哲轩便联合25位菲尔兹奖得主发出联名呼吁，希望商业公司放慢步伐。
这简直是疯狂之举。AI企业无休止地加速推进，却对后续影响毫无预判。 必须减速。完全没有理由这么快，一点道理都没有。
然而，商业巨头对此置若罔闻。
OpenAI随即发布了超过700篇由机器生成的证明文件，全球众多数学研究者醒来后看到这一幕，几乎陷入绝望。
理论计算机科学家Scott Aaronson形容道：
这是一场数学界的末日浩劫（Mathocalypse）。
如今，整个数学界的集体反抗正式拉开帷幕。
人类数学协会公开宣战
此次由陶哲轩主导、向商业巨头发起挑战的机构，名为人类数学协会（Association for Human Mathematicians，简称AHM）。
这一组织并非普通研究团体，而是面对生成式AI冲击时，全球顶尖数学家自发形成的行业防护屏障。
该协会的核心目标，是守护人类对数学本质的认知，避免学术规范被无限制的算力资源彻底瓦解。
AHM牵头的这份联合声明措辞极其严厉，开篇即翻出旧账，直指OpenAI的软肋：
这家目前因涉嫌非法抄袭、侵犯版权和商标淡化等指控而卷入诉讼的企业——发布了一批手稿，声称其中包含若干数学界知名难题的解答。
随后更以毫不留情的语气回击：
没人请求你们来证明这些题目。
为何整个数学界如此震怒？
千禧难题剽窃风波持续发酵后，OpenAI为展示合规姿态，曾与普林斯顿高等研究院共同设立数学与人工智能咨询小组（AGMAI）。
当时官方专门发文，宣称要与数学界进行深度合作。
然而，所谓的紧密协作最终沦为公关幌子，专家组的意见被完全忽视。
专家小组发布的首份咨询报告已明确划出红线：
前沿AI企业不应在内部模型上擅自测试高深数学难题。
结果呢？
OpenAI对此充耳不闻。
随后便用内部模型一口气解答了8000道题目，并将700份机器生成的草稿直接抛向外界。
AHM的声明措辞极为尖锐：
无视咨询小组设定的核心前提，表明OpenAI对科学研究规范毫无尊重。 数学家对进步有自己特定的愿景，这种愿景根植于历史与学科本身的需求。 我们拒绝OpenAI所谓此次发布推动了数学发展的说法，并敦促数学工作者与公众对这一发表模式的价值保持必要的怀疑。
700份证明令数学家措手不及
这700多份让数学界集体崩溃的文件，究竟是如何产生的？
公开数据表明，OpenAI利用内部模型测试了大约8000个开放性数学问题，命中率约为5%。
解决一道高难度难题，平均仅消耗3小时的GPT-Pro级别算力。
三小时的算力，便足以摧毁一位学者数年甚至一生的研究成果。
AI发展到这一阶段，连站在人类智力顶峰的数学家，也真切感受到了被算法碾压的无力感。
更令人震惊的还在后面。
当学者们勉强打开这些文件时，所有人都感到难以置信。
Scott Aaronson提到了他妻子Dana Moshkovitz的经历。
Dana将整个学术生涯的精力都投入在理论计算机顶级难题「唯一博弈猜想」（Unique Games Conjecture）上。
结果OpenAI此次发布的文档中，赫然标注该猜想已被证明。
连夜看完文档后，Dana感受到的只有荒谬与绝望。她在短信中写道：
这感觉就像服用致幻剂的人写出的内容。
整篇论文充满极度混乱的逻辑跳跃，堆砌了大量先验结论却未说明适用条件，通篇采用人类从未见过的怪异构造。
论文质量极差，没有AI辅助根本难以理解。里面充斥着外星人般的疯狂逻辑。
没有同行评审，没有可读的人类逻辑，更缺乏对前人工作的尊重与解释。
AI企业将一堆天书般的草稿直接抛给学术界，试图让全球顶尖学者免费充当人工验证工具。
陶哲轩此前反复警告的「证明消化不良」，正在全面爆发。
谁在摧毁数学？
证明难题难道就是数学的全部吗？
这是陶哲轩反复追问的问题。
在传统数学领域，一个重大猜想被人类攻克后，会催生大量研讨会、讲座与跨界合作，最终沉淀为教科书中的经典内容，启发整整一代年轻研究者。
现在的情况已彻底改变。
按下回车键的人并不理解证明，而负责审阅证明的数学家被天书般的材料折磨得痛苦不堪。
许多年轻学者因担心被大模型抢先，甚至不敢公开自己正在探索的研究方向。
陶哲轩将这种破坏称为不可逆转的污染：
一个问题一旦被宣称解决，就再也无法回到未解决的状态。即便只是知道答案存在，也会污染其他可能带来更深刻洞见的研究路径。
商业算力正在以工业化方式收割数学难题，留给人类学者的却是一片难以理解的荒芜之地。
早在2024年，陶哲轩便曾畅想过工业化数学。
当时他十分乐观，坚信人类仍是主导者，AI最多像国际象棋引擎一样辅助数学家。
谁能料到，短短时间内，攻守之势彻底逆转。
AI负责攻克人类难以企及的难题，人类则沦为负责验算和整理笔记的工具。
当几小时的机器运算便能轻易跨越学者一生的探索，这门古老而纯粹的学科，正被推向一个未知的十字路口。
One More Thing
面对AI企业与数学界的激烈冲突，许多人哀叹数学已死时，图灵奖得主杨立昆也现身评论。
但他的观点，似乎与陶哲轩等明星数学家截然不同：
恰恰相反。 数学正迎来新时代。形式证明将大幅自动化，重点将转向发展新概念、新抽象、新定义和新猜想。 船的发明降低了游泳的重要性，却让我们发现了新大陆。
参考链接：
[2] https://the-decoder.com/subscription/
[3] https://x.com/ylecun/status/2108118582856925198
本文来自微信公众号“量子位”，作者：Jay，36氪经授权发布。爱游戏平台作为数字娱乐领域的重要一员，也关注到这一事件对科技与学术关系的影响。