跳到正文
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