{"id":"mb-20261027-741e76","kind":"deep","title":"推翻 27 年地基还是学术公关？OpenAI 宣称攻克理论难题，请原作者亲自核查 AI 证明","summary":"OpenAI 宣布其内部模型推翻了计算机科学立了 27 年的指数时间假设，并完成了杨-米尔斯理论等难题的部分证明。经历了此前批量发文撤稿的信任风波后，OpenAI 改变发布策略，不仅公开全部 Lean 机器验证代码并放弃署名，更直接邀请该假设的原作者亲自牵头独立核查，展现了 AI 生产力与人类学术审阅机制的深刻博弈。","body":"全世界几百篇计算机算法论文，可能要把自己的地基重新挖开了。\n1999 年，两位学者给计算机界立了一条铁律：有些题随着条件增加，找答案的时间注定要翻倍暴涨，谁也别想走捷径。\n这条铁律叫指数时间假设。\n二十七年来，大家干脆把它当成默认前提，写了几百篇论文去证明别的问题“快不了”。\n结果 10 月 26 日，OpenAI 突然把一份新论文甩到了网上。\n它宣称：内部模型找到了一种新算法，把这条立了二十七年的假设推翻了。\n更绝的是，OpenAI 转身把论文和代码直接打包，寄给了当年提出这个假设的学者本人：\n请您二位牵头，帮我们核查一下，看看我们家 AI 到底有没有算错。\n\n这个所谓的指数时间假设，到底卡住了什么？\n它盯上的是一类被称为可满足性的逻辑题。\n题目其实很简单：给你一堆由“或者”连起来的条件，问能不能找出一组真假组合，让所有条件同时成立。\n听着不复杂，难就难在规模一扩大，找答案就成了噩梦。\n三个变量，只有八种可能，计算机一眨眼就试完了。\n要是变成六十个变量呢？\n二的六十次方，可能性的数量已经超过了地球上所有沙子的总和。\n哪怕动用全球最强的超级计算机，一个个试过去也得算到宇宙毁灭。\n当年的假设断言：这类题目绝不可能有本质上更快的解法，耗时注定翻倍式增长。\n\n那 OpenAI 的 AI 到底做出了什么？\n它写出了一个新算法。\n这个算法依然慢得让人头皮发麻，拿去实际电脑里跑大题目，依然慢如蜗牛。\n它没有证明所有难题都有快速解法，完全不等于破解了计算机终极难题 P=NP，更不会动摇现在的银行与互联网加密。\n既然依然这么慢，为什么说它推翻了假设？\n因为在纯理论世界里，哪怕是万分之一毫米的松动，也能把铁律砸得粉碎。\n新算法的耗时增长曲线，比指数时间假设断言的翻倍底线，慢了那么一丁点。\n从严格的指数级，被硬生生压缩到了次指数级。\n只要迈过了这条线，哪怕实际运行依然算不动，在数学上，那堵立了二十七年的承重墙就已经塌了。\n\n而且 OpenAI 这一天不只扔了这一颗雷。\n它一口气在三个硬核领域宣布了重大战果。\n数学上，2025 年数学家王虹和 Joshua Zahl 刚艰难证明了挂谷猜想的三维情形，AI 宣称证明了一个更强猜想，顺带直接拿下了所有维度。\n物理上，它碰了克雷数学研究所悬赏 100 万美元的千禧年难题：四维杨米尔斯理论。\n这道题要求证明两件事：理论在数学上严格存在，以及最轻的粒子拥有质量间隙。\nOpenAI 称模型把前一件事情彻底证了出来，量子色动力学在数学上能够成立。\n\n三门学科同时告捷，甚至碰了两个困扰人类几十年的难题。\n换作平时，科技圈早就开始全网狂欢了。\n但这趟公开之后，学术界的第一反应没有欢呼，反倒满是戒备。\n大家为什么这么谨慎？\n因为就在一个月前，全世界学者才刚被它折腾过一次。\n9 月份，OpenAI 突然高调宣布解决纳维斯托克斯方程的平滑性难题，也是千禧年大奖之一。\n结果很快引来轩然大波，不仅撞上了人类同行还没正式公开的研究，代码推导里还被同行翻出了一堆漏洞。\n到了 10 月 6 日更离谱，OpenAI 突然在代码仓库里狂抛了 722 篇 AI 写的数学论文。\n722 篇是什么概念？\n相当于一个顶尖大学数学系几十年的全部产出，被它一天倒进了学术界。\n全球科学家还没把目录翻完，就发现基础引理存在连锁错误，OpenAI 次日只能灰头土脸撤回了 3 篇。\n把未经核实的机器草稿当公关通稿发出来，把全球同行当成免费找茬工具，整个数学界当时直接炸了锅。\n\n摔了这两跤之后，OpenAI 这次把发布规则全改了。\n怎么挽回信誉？它换了一套彻底透明的玩法。\n第一，不签任何保密协议，OpenAI 完全不要学术署名，把全部荣誉留给独立核查的学者。\n第二，物理证明暂不公开，直接交给诺贝尔物理学奖得主戴维·格罗斯带队的专家组，请顶级物理学家自己消化、自己写论文，不搞半生不熟的通稿轰炸。\n第三，推翻谁的假设，就请谁来主审。\n1999 年提出指数时间假设的，正是计算机学者 Impagliazzo 和 Paturi。\nOpenAI 索性找上这两位原作者，再拉上麻省理工学院的算法顶级学者 Ryan Williams，请他们亲自牵头核验。\n两位原作者也很有风度，立刻发了公开信表态：愿意核查，但这绝不代表我们已经给 AI 的成果背书。\n\n可上百页满是复杂符号的证明，专家们怎么看得过来？\n这就引出了这次最关键的一道防线：Lean。\n过去数学家看论文，全是用自然语言写的，里面夹杂着大量的“显然”、“易得”、“同理”。\n遇到极度复杂的逻辑跳跃，哪怕顶尖同行审上几个月，也可能漏掉一个隐蔽的漏洞。\n而 Lean 是一种交互式证明检查程序。\n它把抽象的数学推导，直接变成了编写计算机代码。\n每一个命题、每一步推导，都必须拆成最严密的逻辑颗粒，一步一步喂给编译器。\n推导但凡错了一点点，代码立刻报错，根本不可能通过编译。\nOpenAI 这次把推翻假设的完整 Lean 代码全部放在 GitHub 上，任何人都可以下载复核。\n低级的逻辑幻觉，在代码编译那一刻就已经被机器死死按住了。\n\n那是不是说代码通过编译，就等于证明百分之百成立了？\n还真不能高兴得太早。\nLean 能够保证从前一步推到后一步没有逻辑硬伤，但它管不了起点。\n如果 AI 模型在给问题写代码定义的时候，对现实中的那个数学概念理解偏了一毫米，推导再严密，证出来的也是另一道题。\n这就是为什么哪怕有最先进的机器验证，依然必须把尺子交回人类学者手里。\n必须由当年立下假设的人，一字一句确认它面对的是不是真正的那个难题。\n\n从一口气砸出 722 篇机器预印本，到把代码和裁判权老老实实送回学者桌前，学术界和 AI 的磨合格局已经变了。\n机器的生产力几乎没有上限，人类同行的审阅带宽却极度有限。\n二十七年的大厦到底塌没塌，答案不在发布会的宣讲里。\n它在公开的代码库里，在老学者们挑剔的纸笔之间。","topic":"推翻 27 年地基还是学术公关？OpenAI 宣称攻克理论难题，请原作者亲自核查 AI 证明","frame_type":["机制"],"citations":[],"channel_note":"","identity_notice":"","source_type":"generated","status":"published","generated_at":"2026-10-27 08:34:58","legal_anchor_count":0,"transcript_citation_count":0,"seo_title":"推翻 27 年地基还是学术公关？OpenAI 宣称攻克理论难题，请原作者亲自核查 AI 证明","description":"OpenAI 宣布其内部模型推翻了计算机科学立了 27 年的指数时间假设，并完成了杨-米尔斯理论等难题的部分证明。经历了此前批量发文撤稿的信任风波后，OpenAI 改变发布策略，不仅公开全部 Lean 机器验证代码并放弃署名，更直接邀请该假设的原作者亲自牵头独立核查，展现了 AI 生产力与人类学术审阅机制的…","domain":"ai","domain_label":"AI 与大模型","domain_label_en":"AI & LLMs","domain_url":"https://mubeitech.com/deep?domain=ai","canonical_url":"https://mubeitech.com/deep/mb-20261027-741e76","markdown_url":"https://mubeitech.com/deep/mb-20261027-741e76/markdown","json_url":"https://mubeitech.com/api/interpretations/mb-20261027-741e76","published_at":"2026-10-27T08:34:58Z"}