说法核验 · 最后检查于 2026 年 10 月 31 日
AI 真的推翻了指数时间假设吗？
你可能会看到视频和帖子说，AI 推翻了一个重要的复杂度理论结果。这个说法非常大。 在重复它之前，我们需要精确陈述、可检查的证明，以及合适的专家审查。
用大白话解释
指数时间假设是什么？
它在尝试解释：为什么有些计算问题看起来从根本上就很难。 它不等同于“目前还没人找到快方法”。
简单版：某些很难的逻辑问题，随着输入变大，所需时间可能按指数级迅速增加。
更精确的版本：存在一个固定常数 s > 0，使得有 n 个变量的 3-SAT 问题，不能在 O(2sn) 时间内解决。
关键点：ETH 本身是一个“假设”，不是已经证明的定理。因此，“AI 推翻了它”需要格外强的证据。
什么情况下才能改状态
至少要能看见三样东西。
一条夸张标题或一段摘要，不足以支撑定理级结论。我们需要沿着证据链，从命题一直查到结果。
- 01精确的数学陈述。
到底推翻了什么？哪个版本的 ETH？声称的算法、界和适用范围分别是什么？
- 02可检查的证明材料。
论文、形式化证明、代码、证明项或完整论证在哪里？演示或摘要只能算线索。
- 03合适的专家审查或独立检查。
形式化陈述必须和新闻标题一致，并且要有合格的研究者有机会检查。
五步检查表
相信一条 AI 发现新闻前，先问五个问题。
不管是算法发现、自动证明还是复杂度声明，都可以先过一遍。它的作用是让你在自信的标题面前慢下来。
- 01到底声称了什么？
把定理或结果写成精确陈述，而不是一句口号。
- 02成果材料在哪里？
寻找论文、形式化陈述、代码、证明项或数据集。
- 03谁来检查结果？
证明助手、独立复现或专家审查，比演示更可靠。
- 04适用范围是什么？
确认任务、假设、输入规模、硬件和基线。
- 05还有什么没有解决？
把已经确立的结果，与新闻标题里的更宽泛解读分开。
证据标签
本站统一使用的四种证据标签。
Unverified / 未核实 是某条说法的审查状态，不是第五种证据类型。
经过学术同行评审后发表。
在明确设定中，存在具体结果或公开成果材料。
可信专家或证据指向不同结论。
目前没有直接证据支持的预测或解读。
继续看证据