北京
硅基观点｜OpenAI anthropic内部模型“证伪”ETH：理论计算机的基石被AI敲了一下，还是彻底掀翻了？
2026年10月26日，理论计算机科学圈被彻底炸开了锅。
MIT的Ryan Williams教授在X上发帖：OpenAI的一个内部模型，声称已经证伪了指数时间假设（Exponential Time Hypothesis，ETH）！更重磅的是，ETH的两位提出者——UC San Diego的Russell Impagliazzo和Ramamohan Paturi，以及Williams本人，已经被邀请组织一场公开、独立的审查。
这不是普通的“AI又写了篇论文”。
这是AI第一次直接挑战理论计算机科学里，支撑了二十多年、数百篇论文的基础假设。
什么是ETH？为什么它这么重要？
简单说，ETH是1999年由Impagliazzo、Paturi和Francis Zane提出的一个猜想：
3-SAT问题不存在真正的亚指数时间算法。
更精确一点：不存在时间复杂度为 (2^{o(n)}) 的算法能解决n个变量的3-SAT。
它比P≠NP更强。如果ETH成立，很多图论、组合优化、数据库查询、计算生物学里的问题，都会有“几乎最优”的下界。过去二十多年，大量“条件性下界”论文都建立在“假设ETH成立”之上。
现在，OpenAI说：我们的模型找到了一个确定性算法，能在大约
[ \exp\left(\frac{n}{(\log n)^{1/2+o(1)}}\right) ]
时间内解决3-SAT（甚至是精确计数版本）。这直接打脸了ETH。
模型在10月16日给出自然语言证明，第二天用Lean形式化验证通过。论文和Lean代码已经挂在OpenAI的GitHub上公开。
为什么说这件事“震撼”？
- 它不是P=NP
证伪ETH只是说明存在亚指数算法（比如 (2^{\sqrt{n}}) 级别），离多项式时间还差很远。P vs NP的大门并没有因此打开。但成百上千篇“假设ETH成立则……”的论文，结论都要重新审视了。 - 原提出者亲自下场审查
Impagliazzo和Paturi当年亲手提出这个假设，现在却要来检查AI是不是把它推翻了。这种戏剧性，在科学史上都很少见。他们明确表示：“我们的参与不等于认证这个结果。” - 这只是OpenAI三连击中的一发
同一天，OpenAI还宣布内部模型解决了全维度的局部平滑猜想（从而解决Kakeya猜想），以及四维Yang-Mills存在性（千禧年大奖问题相关）。三发齐射，理论数学+理论计算机+理论物理。 - Anthropic也来了
几乎同一时间，Anthropic宣布Claude在10月16日独立找到了类似的ETH反证，还特别注明“与OpenAI的结果独立且并发”。两家头部实验室同一天撞车，说明这个结果可能真的“到了”。
硅基视角：这到底意味着什么？
短期：
理论计算机科学可能进入一段“重新校准期”。大量基于ETH的条件性结果要被重新检验，甚至被改写。算法设计者会开始认真寻找那些“亚指数但仍然实用”的加速。
中期：
AI正式成为理论科学的“第一发现者”而不只是“辅助工具”。Lean形式化证明的出现，让“AI写证明→机器验证→人类审查”的流水线成为现实。以后再有重大猜想被攻破，第一作者很可能是某个内部模型。
长期：
我们正在见证科学发现范式的切换。
过去，重大突破靠人类天才的灵光一现；现在，靠规模化搜索+形式化验证。ETH被证伪（如果最终成立）可能只是第一张多米诺骨牌。接下来会不会是更多复杂度假设、更多数学猜想？
当然，目前一切还只是“claimed”。审查结果出来之前，保持谨慎是必须的。但不管最终证明有没有漏洞，这一幕已经足够历史性——
人类第一次，被自己创造的智能，在自己最骄傲的理论高地上，公开挑战了。
我们处在一个最疯狂的时代，也是最危险的时代。
但也许，也是最有趣的时代。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
