AGI Hunt· rickasaurus·· 3 小时前精选AI 评分83
论文称 Claude 自主发现 2^{o(n)} 时间 3-SAT 算法，反驳 ETH
Claude 自主发现 2^o(n) 时间 3-SAT 算法，动摇指数时间假说
AI 导读
Hexagon 平台发布一篇标注主要由 AI 生成的论文，称 Anthropic 内部研究模型在无人类输入、1400 万输出 token 的条件下自主发现确定性 3-SAT 算法，运行时间为 2^{o(n)}，并进一步解决了 #3-SAT。
推荐理由
材料转述了一篇标注主要由 AI 生成的论文如何宣称发现 2^{o(n)} 的 3-SAT 算法，可供追踪 AI 自主数学发现这一说法的来源。
来源：AGI Hunt · agihunt.info