Anthropic 内部 Claude 研究模型自称推翻 ETH:给出 2^o(n) 时间 3-SAT 算法
ctjlewis · x · 2026-10-31
数学协作平台 Hexagon 迎来首个大厂贡献:Anthropic 提交论文《A 2^o(n) Time Algorithm for 3-SAT》,声称反驳指数时间假设(ETH),并给出更难的 #3-SAT(数满足赋值个数)的确定性算法,已用 Lean 4 形式化。
来源声明极为重磅:核心算法由内部 Claude 研究模型于 10 月 16 日以 1400 万输出 token、零人类输入独立发现;Anthropic 研究员仅协助改进表述。声明还提到 OpenAI 内部模型「同时独立声称证明了类似结果」。
若成立将震动复杂性理论界;Hexagon 平台标注「主要 AI 生成、人类理解部分章节」,正是 AI 冲击数学研究流程的标志性案例。
「漫话AGI」频道最新
- Burkov 批超级智能愿景：80 亿人的丰裕将耗尽地球资源 — burkov · 2026-10-31
- 圣塔菲研究所 Eric Smith 温和而致命地拆解人类中心主义 — danfaggella · 2026-10-31
- Bindu Reddy 预判未来 12 个月:token 降价 80%、用量增 10 倍 — bindureddy · 2026-10-31
- 「财富加速财富失效的时代」：积累财富反而在催生让财富失去意义的文明 — Dr_Singularity · 2026-10-31
- Carl Benedikt Frey 撰文:为什么有些社会对新技术格外警惕 — carlbfrey · 2026-10-31
- Thoughtworks CTO:好开发者抗拒 Agent 编程,是深知上线不等于能用 — rseroter · 2026-10-31