分类：大模型
事件核心：AI 结果进入理论计算机科学腹地
据 TechCrunch AI 报道，2026年10月27日，OpenAI 公布了三项长期困扰研究者的数学问题解法。其中一项结果并未停留在常规数学证明层面，而是对计算机科学中的“指数时间假设”（Exponential Time Hypothesis，ETH）提出反驳。ETH 是过去多年里用来理解哪些问题难以计算的重要基础假设之一，一旦该结果被确认，理论计算机科学的部分底层判断将被重新审视。
这项进展迅速引发连锁反应。Anthropic 数学家 Levent Alpöge 提出，OpenAI 的解法可能建立在已有研究之上；数小时后，Anthropic 也发布了其模型对 ETH 的反驳结果。围绕前沿大模型的科研产出，学界的情绪并不单一：一方面是对新结果的兴奋，另一方面则是对验证机制、学术规范和后续影响的担忧。
从“证明轰炸”到工作组：学界开始接管验证流程
与早前直接抛出证明不同，OpenAI 此次对不同学科采取了不同发布方式：
- 数学方向：结果发布在 GitHub，供研究者查看。
- 计算机科学方向：形成工作组，要求公开证明，并由 OpenAI 资助会议讨论。
- 物理学方向：组建工作组，由其决定成果如何发布。
计算机科学一侧的组织者之一是 MIT 教授 Ryan Williams。他一直关注计算复杂性问题，也曾批评 OpenAI 在 10 月早些时候的证明发布像一场针对数学家的“DDOS 攻击”。这一次，他选择参与协作，以帮助解释这些结果。OpenAI 还邀请他与加州大学圣迭戈分校计算机科学家 Russell Impagliazzo、Ramamohan Paturi 共同解读相关方案。后两者在 1999 年首次提出 ETH。
工作组的第一步是发布公开信，征集相关研究者反馈，并讨论 AI 参与科学研究后应遵循的规范。Williams 表示，证明中有些部分相对常规，但也存在两到三个看起来相当陌生的部分，正需要整个社区共同处理。
ETH 为何重要：从 P 与 NP 到密码系统
ETH 属于更宏大的 P 与 NP 问题框架。简化来说，P 与 NP 讨论的是：如果一个问题的答案可以被快速验证，那么它是否也可以被快速求解？以数独为例，一个已完成的答案是否正确，通常可以很快检查；但从零找出答案，往往要花费更多时间。
这种“验证容易、求解困难”的直觉，也支撑着许多现实中的密码系统。持有密钥的人可以快速解读信息，但没有密钥的人想破解有效加密，通常需要付出难以承受的时间成本。多数科学家倾向于认为 P 不等于 NP，而 ETH 正是支持这一判断的重要假设之一。它认为，对于特定一类复杂逻辑问题，即使是最快的算法，随着变量数量增加，所需时间也会指数级上升。
OpenAI 和 Anthropic 此次声称，其模型找到了在“亚指数”时间内解决这类问题的算法，也就是快于此前的理论预期。如果这一说法成立，ETH 就可能被证伪，甚至可能为更接近 P 等于 NP 的算法路径提供线索。
不过，Williams 对结论保持谨慎。他认为，计算机科学家或许应该稍微提高 P 等于 NP 的可能性权重，但个人判断会有差异；这一结果也让人重新怀疑过去对困难问题可处理性的直觉。同时，他表示这大概率不是最终答案，也不认为 OpenAI 给出的算法会是最佳方案。
对行业意味着什么：基础假设、论文体系与安全边界都要重估
如果 AI 实验室的反驳结果最终成立，影响不会止于一条新闻。Williams 指出，ETH 在过去十年的许多科学论文中被使用；一旦基础假设被改变，相关研究都需要重新检视。这也是他推动 OpenAI 支持相关会议的原因之一：研究者不仅要理解新算法本身，还要讨论理论基础应如何调整。
安全层面的问题同样受到关注。更高效的算法可能意味着某些依赖特定密钥长度的密码系统不再安全。Williams 表示，他最早向 OpenAI 科学负责人 Dan Roberts 提出的问题之一，就是这一结果是否影响现有密码系统、是否已经造成不安全情况。据称，OpenAI 已进行检查，并相对有信心该结果不会直接导致破解。
这次事件也呈现出大模型参与基础科研的新状态：AI 不再只是辅助搜索、总结或生成文本，而是开始向理论计算机科学的核心假设提交可被审查的结果。围绕这些结果的验证、署名、发布和学术规范，都还没有成熟答案。Williams 认为，这一范式仍在形成中，他保持乐观，但也担忧下一代科学家的培养方式。
对读者而言，这件事的关键点并不在于“AI 已经推翻了某个理论”，而在于前沿模型开始以可验证的数学结果进入基础科学讨论。接下来，真正决定其影响的，将是公开证明、同行评议以及整个学术共同体能否消化这些陌生结果。
原创文章，作者：点点，如若转载，请注明出处：https://www.dian8dian.com/da-mo-xing-fan-bo-eth-zhi-hou-ji-suan-fu-za-xing-yan-jiu
