Hacker News· gravity13·· 2 小时前精选AI 评分88
解读指数时间假设,以及 OpenAI 声称它不成立的那篇论文
Understanding the Exponential Time Hypothesis, and OpenAI's claim it is false
AI 导读
OpenAI 于 2026 年 10 月 26 日公开题为《The Exponential Time Hypothesis is False》的手稿,称给出一个确定性算法,可在多项式空间内以约 2^{n/log n} 的时间计数 k-CNF 公式的满足赋值,从而构成 3-SAT 的 2^{o(n)} 算法。
推荐理由
文章把 ETH、SETH 与 OpenAI 声称的 2^{n/log n} 算法串成一条线,并说明 Lean 验证覆盖到哪一步。
来源:Hacker News · gravitypersists.github.io