30分享至
用微信扫码二维码
分享至好友和朋友圈
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巨头把一堆天书般的草稿直接甩给学术界，试图让全球顶尖学者免费给他们当人工验题工具人。
陶哲轩此前一直警告的“证明消化不良”，正在全面爆发。
谁在杀死数学？
证明难题难道就是数学的全部吗？
这是陶哲轩反复追问的一个命题。
在传统数学界，一个重大猜想被人类攻克，会催生大量的研讨会、讲座与跨界合作，最终沉淀为教科书里的经典养分，启发整整一代年轻后辈。
现在的情况完全变了。
按下回车键的人根本不懂证明，负责看证明的数学家被天书折磨得痛不欲生。
很多年轻学者因为害怕被大模型截胡，甚至不敢公开自己正在探索的方向。
陶哲轩把这种破坏称为不可逆的污染：
一个问题一旦被宣称解决，就再也回不到未解决的状态了。即使只是知道答案存在，也会污染其他可能带来更深刻洞见的研究路径。
商业算力正在工业化收割数学难题，留给人类学者的，却是一片无法理解的荒地。
早在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
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.var loadMessageError2 = function () {
// message加载失败降级到nginx,产品可以在load事件重新初始化
var cdnPath = 'https://dl.reg.163.com/webzj/ngx/message.js';
var script = document.createElement('script');
script.src = cdnPath;
document.body.appendChild(script);
}
var loadMessageError1 = function () {
// message加载失败降级备份cdn域名,产品可以在load事件重新初始化
var cdnPath = 'https://webzj.netstatic.net/webzj_cdn101/message4.js';
var script = document.createElement('script');
script.src = cdnPath;
script.onerror = loadMessageError2
document.body.appendChild(script);
}//初始化反作弊
var wm = null;
// 只需初始化一次
initWatchman({
productNumber: 'YD00157343455660',
onload: function (instance) {
wm = instance
}
});
网易跟贴
跟贴8参与30
关闭
注册|手机发跟贴
登录并发贴
网友评论仅供其表达个人看法，并不表明网易立场。
e3w[网易北京网友]
热门跟贴
今天 08:48
即得利益受到威胁就反对，科学精神呢
+1
顶11
+1
踩0
回复
分享
网易来自火星网友ip:
热门跟贴
今天 08:47
谁的饭碗被端了都会跳脚，数学家也不例外。
+1
顶7
+1
踩0
回复
分享
逢中必挺[网易北京网友]
热门跟贴
今天 09:36
看了大模型证明的那些题目，基本还是采用人类的解题思路，然后靠算力暴力穷举证明！也就是说大模型并没有解题思路的创新，基本就是抄袭人类的灵感！
+1
顶1
+1
踩0
回复
分享
目前没有热门跟贴
网易来自火星网友ip:
今天 09:46
抵制openai暴力拆解人类游戏
+1
顶0
+1
踩0
回复
分享
网易来自火星网友ip:
今天 09:41
人类一直都在作死的路上一去不回，多开条分岔小路也无所谓。
+1
顶0
+1
踩0
回复
分享去跟贴广场看看var isShowComments = true, tieChannel = "";(function () {
if (window.isShowComments === undefined) {
window.isShowComments = true;
}
var config = {
"productKey": "a2869674571f77b5a0867c3d71db5856",
"docId": "L8PLN2CK0511DSSR", //"data.article.postid", "FNMG85GQ0514HDQI"
"target": document.getElementById("tie"),
"operators": ["up", "down", "reply", "share"],
"isShowComments": isShowComments, //是否显示帖子列表
"hotSize": 3, //热门跟贴列表 展示3 条
"newSize": 2, //最新跟贴列表 展示 10 条
"showPaging": false, //显示分页栏
"submitType": "commentPage" //新发帖子的展现形式：停留在当前页面(currentPage) | 跳转到跟贴详情页(commentPage)
};
Tie.init(config, function(data) {});
})();
/阅读下一篇/不等Gemini 4了！谷歌发布办公Agent，支持调用Claude
返回网易首页 下载网易新闻客户端