Anthropic论文称Claude推翻ETH并形式化

Anthropic发布论文，称其内部Claude研究模型于10月16日在无人工输入、输出1400万token的情况下找到一个确定性算法，可在2^o(n)时间内求解n变量的3-SAT，从而推翻指数时间假设（ETH），该算法还能求解#3-SAT并给出满足赋值计数。Anthropic研究人员随后与Claude合作改进论文表述。 论文称核心算法由模型自主发现，但这是Anthropic的单方面说法，尚未经同行验证。Anthropic还称OpenAI的一个内部模型独立且同期声称证明了类似结果。

AI 根据报道生成 · 41 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。