曝 OpenAI 与 Claude 模型各自独立给出 3-SAT 次指数算法，ETH 或被推翻
deedydas · x · 2026-10-27
Deedy 称复杂度理论中已有 27 年历史的指数时间假设（ETH）「倒下了」：10 月 16 日，OpenAI 和 Anthropic 的模型各自独立给出了 3-SAT 的 2^(n/√log n) 界算法。附图显示两份论文样式的文档：OpenAI 版标题为「The Exponential Time Hypothesis is False」，对任意固定 k≥3 的 k-SAT 给出确定性精确计数算法，界为 2^(n·m^O(1)/2^(√(log m))·polylog)；Claude 版标题为「A 2^(o(n)) Time Algorithm for 3-SAT」，还解决了更难的 #3-SAT 计数问题，并注明该结果由内部研究 Claude 模型发现、经 Claude 4 形式化。两者都强调这不是 P=NP，也不意味着 NP 完全问题会有实用快速算法。该说法极其惊人，目前未见官方确认，真实性待验证。
「模型」频道最新
- EdgeRock 架构 256K 上下文 KV 缓存仅 72 MiB,比 Qwen3.5-4B 省 99.1% — alifcoder · 2026-10-27
- 博主公开批评 Kimi 订阅是骗局后遭误判软广锁号 — Scobleizer · 2026-10-27
- 博主改口:Anthropic 模型已全面碾压 OpenAI,与三月前判断相反 — Scobleizer · 2026-10-27
- 博主公布 Claude 作答 IEB 数学卷 Paper 1 的完整答案 — shauntrennery · 2026-10-27
- 纽约大学等研究发现：主流 AI 模型过度使用增加阅读难度的语言模式 — andrewaltair · 2026-10-27
- 网友复盘拆解：Cohere 指控 Qwen 传偷传数据实为诱导性测试 — feelspeaceman · 2026-10-27