OpenAI 宣称证伪指数时间假设，审稿人声明不代表背书
fortnow · x · 2026-10-27
计算理论学者 Lance Fortnow 转发 Russell Impagliazzo、Mohan Paturi 与 Ryan Williams 三位审稿人的声明：此前 OpenAI 宣称证伪了指数时间假设(ETH),即在 2^{o(n)} 时间内求解 3SAT(包括解的计数)，并附 Lean 形式化证明。
三位审稿人强调，他们的参与不应被视为对该结论的认证——如此重大的结果需要仔细、独立的审查。
所属事件:OpenAI 模型声称证伪指数时间假设，学者启动独立审查(2 条相关)→
「研究」频道最新
- GPT-6-Astra 具身智能评测:12 项基准多项逼近 100% 成功率 — chris_j_paxton · 2026-10-27
- 开源项目 LEANN 称向量库存储省 97%,6000万文本块 201GB 压到 6GB — Promptmethus · 2026-10-27
- Claude Opus 5.5 一日抛出三大成果:证伪ETH、全维Kakeya、Yang-Mills存在性 — repligate · 2026-10-27
- 传 Anthropic 内部模型论文称推翻指数时间假设 ETH — imjustnewatai · 2026-10-27
- Casio 陪伴机器人 Moflin：本地模型学习如何安抚独居者 — Stefania_druga · 2026-10-27
- 复杂度研究者解读 ETH 证伪：比 P≠NP 更强，但实际影响有限 — burny_tech · 2026-10-27