跳到正文
Hacker News· ibobev·· 1 小时前精选AI 评分88

指数时间假设被证伪

The Exponential Time Hypothesis Is False

AI 导读

John D. Cook 撰文讨论指数时间假设(ETH)被证伪:Anthropic 和 OpenAI 都已发表证明,称 3-SAT 不需要指数时间。

推荐理由

文章梳理了 3-SAT 与指数时间假设的关系,并转述了 Anthropic、OpenAI 及一篇简化证明对 ETH 的否定。

来源:Hacker News · johndcook.com