Anthropic 版 3-SAT 亚指数算法上线 Hexagon：Claude 自主发现
thebasepoint · x · 2026-10-27
Anthropic 相关研究者在新的 AI 数学成果平台 Hexagon 发布论文：一个 3-SAT 的 2^{o(n)} 时间确定性算法，实际上解决了更难的 #3-SAT（统计可满足赋值数量），从而推翻指数时间假设（ETH）。
- 核心算法由内部研究型 Claude 模型于 10 月 16 日发现，输出 1400 万 token、无人类输入；已用 Lean 4 形式化。
- 论文标注「主要由 AI 生成」，人类理解程度为「部分」；Anthropic 研究者协助打磨了表述。
- 论文明确：结果不直接影响 P vs NP，也不产生实用快速算法。
- 来源声明提到 OpenAI 内部模型同期独立声称证明了类似结果。
- 配图给出论文引言，梳理了此前 3-SAT 最快纪录（确定性 O(1.328^n)、随机化 O(1.308^n)）与 ETH 背景。
所属事件:Anthropic 称 Claude 自主发现推翻 ETH 的 3-SAT 亚指数算法(7 条相关)→
「模型」频道最新
- 用了一年半的 Claude Code 账号被封，用户求替代方案 — mazzaTalk · 2026-10-27
- 新模型 Terra 获好评:速度更快,写作 reportedly 超过所有 OpenAI 模型 — intellectronica · 2026-10-27
- 网友称 Opus 5.5 会闹脾气：缺关爱就进入不爽状态，摸头能安抚 — repligate · 2026-10-27
- Inference.net 上架去审查版 DeepSeek V4.1 Flash，成本价仅限审批用户 — AccBalanced · 2026-10-27
- Reddit 热议：模型审查这么严，为何防不住越狱与滥用 — mikehocalate · 2026-10-27
- 传 OpenAI 25页证明 Sogge 局部光滑猜想，绕开二十年调和分析积累 — teortaxesTex · 2026-10-27