Jay发自 凹非寺 量子位 | 公众号QbitAI 彻底撕破脸了。 数学界领军人物、菲尔兹奖得主陶哲轩，牵头 人类数学协会 （AHM）发布重磅联合声明—— 全球数学界集体行动，全面抵制OpenAI。 一次性发布700多个文件，这根本不算科研，纯粹是在炫耀算力霸权。 我们强烈敦促所有数学家停止与OpenAI合作，重回以人类理解为核心的科学愿景。 数学家们，为什么一夜之间集体站到了模型公司的对立面？ 只因OpenAI做的实在太绝了。 前段时间OpenAI宣称解掉千禧难题，陶哲轩就联合了25位菲尔兹奖得主发表联合呼吁，希望商业公司放慢脚步。 简直是疯了，AI公司无休止地加速，却对那之后会发生什么一无所知。 必须慢下来。完全没理由这么快，一点理由都没有。 结果，商业巨头根本没当回事。。。 OpenAI扭头直接甩出700多篇机器生成的证明文件，全球不少数学家起床一看，差点两眼一黑。 用理论计算机科学家Scott Aaronson的话来说，这是一场数学界的末日浩劫（Mathocalypse）。 如今，整个数学界的集体反击，正式打响。 image.png 人类数学协会公开宣战 这次由陶哲轩领衔，带头向商业巨头开火的机构，叫做 人类数学协会 （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公司实际上已经在暗中利用强大的模型算力，悄悄探测现代密码学协议和原语的底层漏洞了。。。 没有同行评审，没有可读的人类逻辑，更没有对前人工作的尊重与解释。 AI巨头把一堆天书般的草稿直接甩给学术界，试图让全球顶尖学者免费给他们当人工验题工具人。 陶哲轩此前一直警告的“证明消化不良”，正在全面爆发。 谁在杀死数学？ 证明难题难道就是数学的全部吗？ 这是陶哲轩反复追问的一个命题。 在传统数学界，一个重大猜想被人类攻克，会催生大量的研讨会、讲座与跨界合作，最终沉淀为教科书里的经典养分，启发整整一代年轻后辈。 现在的情况完全变了。 按下回车键的人根本不懂证明
