信源说明：本文基于 Wes Roth 频道视频《OpenAI just broke physics…》（视频 ID lskEzJ7ixw0，发布于 2026-10-27，全长约 33 分钟，转写共 50 段、每段 120 秒，覆盖 0–1978 秒）英文转写整理，是本博 《月增十倍的数学工业》与《数学天启之后，密码学会先倒下吗》的后续一集。文中全部事件、数字与引语均为 Wes Roth 自述及其引用的 OpenAI 博文、Scott Aaronson 文字与他人帖文，未独立核实；归属按「Wes Roth 称／他引用者认为／可以推断」分层；ASR 存疑词以「转写疑作」标注。

先说结论

OpenAI 又「随手」发了一篇博文，里面是几个由 AI 模型独立生成的数学、物理、计算机科学成果（0–120 秒段）。其中真正让社区炸开的一条：模型证明了指数时间假设（Exponential Time Hypothesis，ETH）是假的——Wes Roth 的类比是，我们三十年来把它当成「不能超光速」式的物理定律，结果 AI 出来说：墙后面其实有路。ETH 与 P versus NP 深度相关：多数人相信 P≠NP，整个现代密码学和大量「计算难」的产业前提都压在这个信念上。OpenAI 总裁 Greg Brockman 第一时间安抚「P 大概率仍然不等于 NP」，但证伪 ETH 已经证明：那座我们以为必须翻越的指数大山里，存在隧道——只是没人知道隧道有多短、能不能通车。同一个发布里还捎带了纯杨-米尔斯理论的存在性证明（千禧年大奖问题的一部分）、量子色动力学（QCD）与标准模型的严格化、以及局部平滑与挂谷猜想方面的工作。对不做理论计算机的读者，这件事的可迁移信号只有一个：「计算上不可能」正在从自然定律降级为可被算法工程化推翻的假设，而推翻者是一家商业公司的模型。

一堵被当作物理定律的墙：ETH，以及千年奖正在「被包圈」

Wes Roth 先解释 ETH 是什么（720–840 秒段）：想象一张上万条的逻辑清单——「若 A 为真则 B 必为假，于是 C 必为真」——要求找到一组自洽的赋值。学界几十年来相信这类问题本质上需要指数级时间：变量一多，超算也要算到宇宙寿命之外。这堵「指数墙」就是 ETH，三十年里被视为计算复杂性的基本定律，并且被数百篇论文用作推导其他难题之难度的地基，横跨图论、计算生物、数据库、计算几何（他引 OpenAI 原话）。Wes 的比喻：像在一块地上盖了几十栋楼，现在有人说这块地不存在。

顺手地，他盘点克雷数学研究所七个千禧年大奖问题（240–360 秒段）：第一个被人类解掉的是 2002–2003 年的事（获奖者拒领奖，即佩雷尔曼与庞加莱猜想，此段转写含混）；P versus NP 仍无解；黎曼假设无解但 AI 已解出一批「周边零件」；而杨-米尔斯存在性——OpenAI 的模型在做别的题目时把它当「支线任务」顺手给出纯杨-米尔斯理论的存在性证明，只是这不足以领取完整的千禧年奖。转写疑作「Maybe Stokes」的纳维-斯托克斯问题被他放在「active」一栏——OpenAI 的证明正在同行评审中（约 30 天前那场风波，节目称 AI「一击即中」）。他的观察：这些问题人类三十年进展寥寥，而模型的这一轮连击几乎全部发生在最近九十天。

密码锁、排班表、珠峰与隧道：P/NP/ETH 到底在赌什么

Wes Roth 特意声明自己非科班、凌晨三点录节目，以下科普按他的讲法转述（360–720 秒段）：

  • 指数爆炸：密码锁一个转盘十次试完，两个转盘一百次，十个转盘一百亿次——这就是密码长度每加一位、暴力破解时间指数增长的原理；
  • P（多项式时间）：工作量随规模「可管理地」增长，像分拣脏衣服，五桶比一桶慢，但不会慢到亿万年；
  • NP（快速可验证）：排班表、数独这类题，从零解出很难，但别人递来一份答案，你几秒就能验证对错。所有 P 问题都落在 NP 里（能快解必能快验）；
  • 现代网络安全正建立在这组性质上：攻击者面对指数级工作量，持有钥匙的人享受快速验证。密码学、网上支付、隐私体系都压在「P≠NP」这个未证明的共识上——Scott Aaronson（转述其文章）：1955 年约翰·纳什就曾致信 NSA 触及此题，哥德尔也曾致信冯·诺依曼说若如此「将有最重大级别的后果」；「如果 P=NP，互联网上现有的全部密码学本质上都会被击破」。

那 ETH 被证伪意味着什么（1080–1320 秒段）？Wes 的核心比喻：从 A 点到 B 点之间横着一座珠穆朗玛，P≠NP 说的是「必须翻山」，P=NP 说的是「存在直达隧道」。ETH 被证伪不等于隧道贯通，而是扫描出了山上确实有洞：模型找到的是亚指数解法——不是盲目转动密码盘，而是「听锁芯里的弹子声」，用逻辑公式一次性排除海量非法组合（比如「第一位是 9，第三位就不可能是 4」）。他引 OpenAI 原话：证伪「重新打开了这些问题到底能快多少的疑问」，但把理论进展变成实际可用的算法「还需要大量进一步研究」；墙可能只是比我们以为的后移了一尺。

发布方式变了：OpenAI 不署名，请 ETH 的提出者「护送」推翻自己的证明

这一段是本集最有产业意味的细节（840–960 秒段）。因为此前放论文引发的巨大反弹（参见本博 10 月 8 日、10 日两篇），OpenAI 这次换了一种署名机制：公司不领任何功劳，请领域内研究者来「shepherd（护送）」这些成果，署名与荣誉归人类。本篇 ETH 证伪的护送者是 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams——前两位正是 ETH 的提出者。Wes Roth 的戏剧化表述：三十年前创立这个理论的人，如今要替一个说「你错了」的 AI 模型把成果领进学术世界，并为此获得 credit。

学术共同体这边的反应被他描述为两条路线的碰撞（960–1080 秒段）。一部分数学家在组建小圈子「AI 禁入」；Scott Aaronson 的态度被他引为正面典型：「我们不是谁有资格研究我们的问题的仲裁者」，并自嘲有充分资格沮丧——其妻、复杂度理论家 Dana Moshkovitz 毕生深耕的问题被「机器人解掉」，九岁的儿子跑去调侃妈妈「你被比下去了」。Wes 的类比：当年也有抄写员抵抗印刷机，祝他们好运。另一个值得记录的观察：Anthropic 似乎在大致同一时间得到了非常相似的结果——他称这至少是第二次两大实验室几乎同时宣布同类突破，「很好奇为什么会反复发生」。

如果 P=NP 真的成立：密码 cooked、优化爆炸，与「打不完的作弊码」

Wes 强调以下纯属理论推演、Brockman 已表态 P 大概率仍不等于 NP（1320–1560 秒段）：

  • 密码学先倒：网站、银行、加密货币赖以生存的公钥体系失去前提（Aaronson 语）；
  • 优化问题爆炸式变易：排班、物流、芯片设计与版图、供应链优化、蛋白质建模、药物设计，都可能被「一段脚本找到最优解」；数学与科学整体加速，AI 自身的进步也可能被反哺——他称 OpenAI 的 roon（转写疑作）几周前就暗示过「物理、数学与计算机科学的基础性理解进步，会是 AI 发展的顺风」；
  • 经济与权力重构：硬件设计、金融等依赖「算得快」构建优势的行业，护城河可能被抹平。

但他给了两个清醒的限制条件。其一，捷径可能只在荒谬的规模上成立：若某算法只在原生解法超过一千年时才略占优，那它等于不可用——「作弊码太长，永远来不及输完」。其二（他引一位转写疑作 Alex Ellis 的帖文，半开玩笑）：如果宇宙常数恰好把捷径卡在不可触及的位置，那「唯一合理的结论是我们活在模拟世界里」，那是开发者的惰性工程实践——像游戏里的空气墙和光速上限。

反方先知：2018 年就写「我相信 P=NP」的 Viola

节目请出的对立面是东北大学（Northeastern）教授 Emanuele Viola（转写疑作「Emmanuel Viole」：哈佛博士、普林斯顿与哥伦比亚博士后、与菲尔兹奖得主 Timothy Gowers 合作过），其 2018 年长文的标题干脆就是「我相信 P=NP」（1680–1800 秒段）。论据是历史频率：1950 年代柯尔莫哥洛夫断言某类问题无算法、为此开研讨班，开班一周内其学生就找到了反例算法，柯尔莫哥洛夫恼怒之下停掉了研讨班；Strassen 本想证明矩阵乘法当时的做法已最优，结果证明了反面、找到了更快算法。Viola 的总结：下界（「不可能再快了」）的证明几乎从不发生，偶有发生也乏味得意外；而「聪明人宣布不可能→很快有人找到聪明算法」却反复上演——我们严重低估了高效计算的边界。Wes 补充：此文写在 Transformer 论文后一年、大模型时代之前，如今读来像预言。

其余两项突破他快速带过（1800–1920 秒段）：其一是 QCD 存在性与标准模型的补全——标准模型是人类给宇宙写的「规则手册」，瑞士对撞机的实验结果一直与手册吻合，但人类一直没能给出完全严格的数学证明、尤其边界情形；OpenAI 称模型产出的是严格存在性证明，并称这「标志着量子场论——现代理论物理最重要的框架——开始成为数学上严格的领域」。其二是局部平滑（local smoothing）与挂谷猜想（转写疑作「Kakuya」）方向的工作。他坦承这些超出自己的理解，只按博文转述。

意味着什么，接下来看什么

Wes Roth 的收束判断（1920–1978 秒段）：这批成果里 ETH 的证伪「自成一个档次」，因为它动摇的不是某道题，而是「存在一堵不可逾越之墙」这个信念本身——墙是幻觉，还是只后移一尺，现在无人知晓。落到可观察的指标上：①OpenAI 的纳维-斯托克斯、杨-米尔斯相关证明在同行评审里的命运，以及「shepherd 模式」能否成为 AI 产出的常规署名机制；②亚指数算法是否从存在性证明走向任何实际负载上的可用实现；③Aaronson、Impagliazzo 一线复杂度理论家后续的公开评估——他们改变观点的速度，就是这块地基松动的速度。对更广泛的读者，本集的机制链条是：AI 能力边界外推 → 撞上「不可能」的假设 → 假设的地基上盖着数百篇论文与密码学产业 → 证伪成本从「人类数十年」跌到「一次发布」→ 学术荣誉分配机制被迫发明新容器（shepherd）。十年前就有人提醒我们对自己关于「高效计算能走多远」的直觉保持怀疑——现在这个提醒开始按周兑现。