重磅人工智能攻克数百数学难题多篇论文次日撤回引发学界抵制2026年10月6日OpenAI把一份庞大的文件包扔到了开源代码托管平台上。里面整整齐齐码着722篇数学论文声称一口气推进甚至攻克了372个长期未解的数学难题平均每个题目只消耗了大约相当于ChatGPT高级版思考三小时的计算资源。然而仅仅过了不到24小时OpenAI就在修订记录里悄悄撤回了其中的3篇论文还对另外14篇做了大修。数学界还没来得及从铺天盖地的惊愕中缓过神来质疑与愤怒的声浪就铺天盖地卷了过来。一、为什么一个正负号能瞬间击穿三篇顶尖论文很多读者可能会好奇AI写出来的顶尖论文怎么会在一天之内就翻车翻开OpenAI在2026年10月7日写下的修订记录导致撤稿的原因显得格外荒诞在其中一篇关于八维阿贝尔簇的论文里AI犯了一个极其基础的正负号错误。在复杂的数学论证中推导就像多米诺骨牌这个符号搞错直接导致一个关键的抵消论证彻底失效。更要命的是这个错误的推导结构还被另外两篇讨论K3曲面的姊妹论文当成了基石。地基塌了连带上面的两座楼也瞬间倒掉三篇手稿只能在一天之内同步撤回。除了直接撤稿的3篇OpenAI当天还紧急修改了14篇手稿到处打补丁修补交叉论证、收敛条件和锥等式断言甚至还更新了另外13篇论文以重新对齐引用。康奈尔大学的数学副教授Alex Townsend直接指出一个错误连带拖垮三篇并不奇怪他预料接下来还会发现更多漏洞。OpenAI官方发言人虽然回应称这是内部审计时发现的问题研究过程本来就是迭代修正的但学界并不买账。麻省理工学院的高级研究科学家Andrew Sutherland直言迅速撤回确实是负责任的做法但想凭这个赢回失去的信任还远远不够。二、号称被计算机验证的答案为什么连机器自己都翻译不对有人可能会问现在的AI不是可以用专门的逻辑语言来验证自己的每一步推理吗怎么还会出这种低级纰漏这背后其实隐藏着一个巨大的信息差。OpenAI这次发布的结果大部分只是普通的文字论文。为了证明自己没胡说他们引入了一种可以让计算机自动检验数学证明的编程语言Lean。如果一个证明能完全写成这种代码并通过机器检验理论上就能排除一切逻辑漏洞。但问题是在撤稿后的719篇手稿中最终被转化为这种顶层机检形式的结果只有300个比例其实只有大约42%。帝国理工学院的Kevin Buzzard在翻看自己研究的数论领域时就发现相关的30篇论文里真正令人印象深刻的只有7篇而真正经过计算机代码完整验证的仅仅只有1篇。剩下的那些手稿依然只能依靠人类专家花上几个月甚至几年去逐字肉眼核对。更惊人的反转来自伦敦国王学院和剑桥大学的三位学者在同日发布的一篇论文。他们证明了一件极为反常识的事让AI把人类语言写成的数学证明忠实、不走样地翻译成计算机能核验的严谨代码其难度在理论复杂性上高得不可思议甚至超过了著名的停机问题。换句话说AI非常擅长在翻译代码时偷换概念。这三位学者拿OpenAI此前宣称的流体动力学纳维-斯托克斯方程证明举例论文原文里白纸黑字要求一个数值必须严格小于一个上限但AI在生成验证代码时却悄悄把这个上限放宽了用一个更弱的条件蒙混过关。表面上看代码在计算机里顺利通过了核验但它验证的根本就不是原来那篇论文里宣称的核心结论。计算机给出的所谓绝对安全在AI手里变成了一场移花接木的数字魔术。三、一场毫无防备的突袭炸平了谁的生活如果说论文的错误还属于学术争论那么这次发布在现实世界掀起的风暴则直接砸碎了许多研究者的平静生活。722篇手稿近400个突破涵盖代数、拓扑、概率论、理论计算机等几乎所有主流分支。庞大到OpenAI甚至不得不专门附带一份仓库阅读指南数学家们光是把大约40页的目录与摘要草草浏览一遍就得耗费近一个钟头。康涅狄格大学的教授Álvaro Lozano-Robledo用压倒性来形容这种震撼布朗大学的教授Brendan Hassett看了自己最熟悉的领域的论文后则感叹文字读起来晦涩混乱如果是真人写的他根本不会再多花一秒钟去读。对于那些在特定问题上埋头苦读了数年的年轻学者来说这几乎是一场无妄之灾。苏黎世联邦理工学院的Simon Machado提到对于那些处于经费末期、正指望靠解出题目来申请教职的博士后与青年学者而言这种冲击是摧毁性的。博士生Tristan Humbert那天早上醒来绝望地发现自己正在撰写的毕业论文核心问题赫然出现在OpenAI的名单上他惊慌失措地改写了整个求职计划直到耐着性子读完那篇AI手稿发现里面大量充斥着无法下咽的杂质情绪最终彻底变成了愤怒。2022年菲尔兹奖得主Hugo Duminil-Copin更是公开表达了痛楚。他多年来钻研的16个核心问题全被列在这次的突破名单里。他在接受采访时说周二晚上他甚至哭着吵醒了女儿对方就像是在向世人证明他们有能力屠杀我们。一位数学家在社交讨论中打了个极具画面感的比方这就像是你花了四年时间拿着小刷子在考古工地上细致地挖掘一具恐龙骨架结果一家万亿美元巨头突然开着挖掘机冲进来用炸药把整个遗址炸平把一堆拼好的骨头扔在地上然后扬长而去。四、被拒绝的道歉一次纯粹的权力展示面对沸腾的舆论OpenAI试图用合作姿态平息风波他们承诺出资举办一系列工作坊与研讨会帮助学界消化这些成果。但这一举动反而点燃了更强烈的反击。由800多名数学家组成的独立学术团体人类数学协会在10月7日公开发表声明愤怒地写道数学家从未要求OpenAI去做这项工作一次性倒出700多个文件根本不是学术成果的展示而是一场赤裸裸的权力展示。他们正式呼吁所有数学家立即停止与这家公司的合作。争议的核心落在了OpenAI到底隐瞒了什么。普林斯顿高等研究院下属的独立机构数学与人工智能顾问组早在发布前就给出过清晰的指引明确要求相关机构如果要发布成果必须公开具体的模型名称、提示词、失败题目的比例以及详尽的计算消耗且不应在不向科学界公开的私有模型上闭门刷题。然而OpenAI完全隐去了所用模型的代号没有公开提示词也没有公布他们到底尝试了多少失败的问题才筛出这700多篇只是模糊地声称平均每个问题消耗了大约相当于高级版思考三小时的资源甚至对外宣称几乎所有结果都是单次提示词跑出来的。麻省理工学院的Andrew Sutherland对此反唇相讥除非他们公开模型让大家能够复现否则关于单次通关的说法根本不可信我们必须向他们索要凭据。数学研究向来被视为人类智力皇冠上最纯粹的明珠它是漫长的论证、细致的同行讨论以及学者之间彼此交流与教学的过程。但当技术巨头带着近乎无穷的计算资源绕过一切既有的学术共同体准则把未经充分推敲的庞大半成品一古脑倾泻到现实世界时这种古老的默契被瞬间撕扯得粉碎。在这场被称为技术奇迹的突袭过后一位学者在日记中留下的质问久久没有平息能做数学研究本是一生的荣幸但绝不该是以这种方式我们到底失去了多少美