指数时间假说被推翻了吗：两篇 AI 论文里的 3-SAT 新算法
2026 年 10 月底，OpenAI 和 Anthropic 先后放出论文，说各自的模型证明了指数时间假说（ETH）是错的。我们从一道聚会邀请的逻辑题讲起：SAT 是什么，怎么比较算法快慢，P、NP 和 NP 完全是什么，几十年的努力为什么只能改底数，ETH 又断言了什么；再核对新闻里哪些属实、哪些被夸大；然后顺着证明往下走：老的分而治之为什么只能改常数，一个两百年前的八平方恒等式怎么用正负相消减少要对上的比特，递归又怎么把指数压到零；最后看 OpenAI 的另一条路，以及这件事改变了什么、没改变什么。