陶哲轩牵头AHM抵制OpenAI：700多份文件引数学界反击
Jay发自 凹非寺 量子位 | 公众号QbitAI 彻底撕破脸了。 数学界领军人物、菲尔兹奖得主陶哲轩，牵头人类数学协会（AHM）发布重磅联合声明—— 全球数学界集体行动，全面抵制OpenAI。 一次性发布700多个文件，这根本不算科研，纯粹是在炫耀算力霸权。 我们强烈敦促所有数学家停止与OpenAI合作，重回以人类理
Jay发自 凹非寺 量子位 | 公众号QbitAI
这下是真的闹翻了。
菲尔兹奖得主、数学界领军人物陶哲轩带头，人类数学协会（AHM）发布了一份联合声明——
全球数学圈集体出手，矛头直指OpenAI，全面抵制。
一口气放出700多个文件，这哪是搞科研，明摆着是秀算力霸权。
我们强烈敦促所有数学家停止与OpenAI合作，重回以人类理解为核心的科学愿景。
数学家们怎么就一夜之间跟模型公司站到了对立面？
说到底，还是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把咨询小组立场背后的核心前提直接无视，这说明它对科学研究的基本规范毫无敬畏。
在数学家眼里，进步有它自己的样子，这种期待来自历史，也来自学科内部的逻辑。所以AHM明确表示，不认可OpenAI所谓这次发布推动数学发展的说法，同时呼吁数学家和公众，对这类发表模式的价值保留该有的怀疑。
700份证明砸晕数学家
那700多份让数学圈集体炸锅的文件，究竟是怎么冒出来的？
公开信息显示，OpenAI拿内部模型测了差不多8000个开放性数学问题，命中率大约5%。
平均下来，啃下一道高难度难题，只花掉3个小时的GPT-Pro级别算力。
3小时算力，就能把一个学者数年乃至毕生的研究积累直接碾平。AI走到这一步，站在人类纯粹智力塔尖的数学家，也实实在在尝到了被算法压垮的无力感。
更让人瞠目的是后面的事。学者们硬着头皮把文件打开，看完直接愣住了。
Scott Aaronson讲了他妻子Dana Moshkovitz的亲身经历。Dana把整个学术生涯都押在理论计算机领域的顶级难题“唯一博弈猜想”（Unique Games Conjecture）上。
可OpenAI这回发布的文档里，白纸黑字写着该猜想已经被证明。连夜读完，Dana心里只剩下荒诞和绝望，她在短信里这样说：
这感觉就像是吃了致幻剂的人写出来的东西。
整篇论文的逻辑跳跃乱到极点，堆了一大堆先验结论，适用性说明却一个字没有，通篇都是人类从没见过的诡异构造。
论文写得实在太烂，没有AI帮忙根本读不下去。里面全是些外星人般的疯狂逻辑。
而真正让人后背发凉的是，这一大批倾巢而出的成果库里，偏偏少了一个关键领域——密码学。
有消息称，AI企业其实早就在背地里动用大模型算力，偷偷去挖现代密码学协议和原语的底层漏洞了。
这些成果既没经过同行评审，也看不出人类能读懂的推理脉络，对前人的工作更是毫无交代和敬意。
几大AI巨头把一摞摞天书一样的草稿丢给学术圈，摆明了想让全世界最顶尖的学者白干活，替它们做人工验题的工具人。
陶哲轩先前一再提醒的“证明消化不良”，眼下正彻底发作。
谁在杀死数学？
难道数学的全部就是证明这一件事吗？
这个命题，陶哲轩问过不止一次。
过去在数学界，一个重大猜想被人拿下，会带动一堆研讨会、讲座和跨领域合作，最后变成教科书里的经典内容，滋养一整代年轻人。
如今局面已经全然不同。
敲下回车键的那批人压根不懂证明，而拿到证明去读的数学家，被那些天书折腾得苦不堪言。
不少年轻学者担心被大模型抢先，连自己正在做的方向都不敢公开。
陶哲轩把这种破坏叫作不可逆的污染：
一个问题只要被宣布解决，就永远回不到未解决的状态。哪怕仅仅是知道答案存在，也会污染其他本可以带来更深洞见的研究路径。
商业算力正把数学难题当成工业品一样收割，而留给人类学者的，是一片读不懂的荒芜之地。
2024年的时候，陶哲轩就设想过工业化数学的样子。
那时他相当乐观，认定人类还是主角，AI最多像国际象棋引擎那样，给数学家搭把手。
谁也没想到，没过多久，攻守就整个调了个头。
AI去啃人类够不着的问题，人类反倒成了负责验算和整理笔记的工具人。
几个小时的机器运算就能越过学者一辈子的探索，这门古老又纯粹的学科，正被推到一条看不清方向的岔路口上。
One More Thing
眼看AI巨头和数学界闹得这么僵，不少人感慨数学已死，图灵奖得主杨立昆也出来说话了。
可他的立场，和陶哲轩这些明星数学家似乎完全不是一回事：
恰恰相反。
数学正走进一个新阶段。形式证明会大幅自动化，重心会转到提出新概念、新抽象、新定义和新猜想上。
船被发明出来之后，游泳就没那么重要了，可它也让我们发现了新大陆。
参考链接： [1]https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/ [2] https://the-decoder.com/subscription/ [3] https://x.com/ylecun/status/2108118582856925198
