Hexagon 论文称 Claude 自主发现 2^{o(n)} 时间 3-SAT 算法

Hexagon 平台发布一篇主要由 AI 生成的论文，称 Anthropic 内部研究模型在无人类输入、使用 1400 万输出 token 的条件下，自主发现确定性 3-SAT 算法，并解决更难的 #3-SAT。