OpenAI撤回3份AI数学手稿:一个正负号错误引发连锁反应
10月9日下午,OpenAI撤回了此前发布的3份数学手稿,原因是一篇论文中一个正负号错误导致关键结论出错,并连锁影响另外两篇依赖该论文的手稿。
就在3天前,OpenAI在GitHub上一次性发布了722份手稿,涵盖372个数学难题的证明研究,涉及数论、代数、几何、拓扑等17个领域。当时,这一大规模发布在数学界引发热议:既有研究人员对AI的解题能力感到震撼,也有学者担忧这些“泄洪式”证明过程充斥着难以理解的表述,很难沉淀为人类可用的知识。
此次撤回的3份手稿正属于这批发布内容。据OpenAI方面信息,撤回的直接原因是其中一篇论文存在正负号错误,导致关键结论不成立,另外两篇论文因依赖该结论而受到牵连。值得注意的是,数学证明出错并不罕见,人类数学家也常有类似经历,但AI批量产出手稿的速度与规模,使得错误的影响范围可能被迅速放大。
此前,陶哲轩等25位菲尔兹奖得主曾联合发表声明,提醒AI公司不应将数学难题当作单纯的基准测试。此次撤回事件发生后,人类数学协会(AHM)也呼吁数学家停止与OpenAI合作,认为其做法漠视科研规范。围绕AI生成数学成果的可靠性及学术规范问题,讨论仍在继续。
- 2026-10-09 07:48 | 36氪:数学难题正被AI批量攻克,数学家却被逼着给AI擦屁股阅读原文
多年以后,面对人工智能,数学家们估计会想起 OpenAI 轰炸数学界的,那个遥远的上午。 10 月 6 号,OpenAI 一口气在 GitHub 上倾泻了 722 份手稿,里面包含了 372 个数学难题的证明研究,给数学家们整了个大的。 这些题有多牛叉咱看不懂,但看数学界内部研究员的反应,可能比上回 GPT 速通千禧年难题还要夸张。 罗格斯大学的数论学家 Alex 直言,这简直是在逗我玩儿,准黎曼猜想都做出来了,菲尔兹奖啥的,给你了呗。 英国皇家学会的研究员 Thomas 更佛系,建议大伙儿休休假,陪陪家人,感受一下自然,然后再回来工作。 没办法,上回的千...