Fireship:未命名 OpenAI 模型解 3-SAT,挑战27年指数时间假设

Fireship · youtube · 2026-11-07

Fireship 新视频解读一个引发热议的结果:OpenAI 一个未公开命名的模型写出了一个比指数时间更快的 3-SAT 求解算法。3-SAT 是计算复杂性理论的核心难解问题,若其真的存在次指数算法,将动摇已经持续 27 年、有超过 800 篇发表论文依赖的「指数时间假设」(即 P≠NP 相关复杂性预期)。

视频从「这是否意味着 P=NP」的角度拆解了该声明的含义与边界,属于对这一 AI 求解组合优化进展的科普向深度分析。