Claude论文声称独立证伪ETH
热点事件持续更新
Claude论文声称独立证伪ETH
2 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
一份署名“CLAUDE / ANTHROPIC”的论文称，Anthropic内部研究的Claude模型独立提出了确定性的2^{o(n)}时间算法，用于求解3-SAT并从理论上反驳ETH；摘要还称其解决了统计可满足赋值数量的#3-SAT，并完成Lean 4形式化。 后续流传的论文截图同样作出这一主张，但相关仓库中的另一篇论文仅表述Claude“似乎”独立证伪了ETH。上述突破目前均为论文作者或相关论文的说法，尚不能仅凭署名、截图和形式化声明视为已获独立验证。
AI 根据报道生成 · 2 小时前更新
最新进展10月27日 09:40
网络流传 Anthropic 内部 Claude 模型证伪 ETH 的论文报道时间线
沿着报道，了解事件的不同侧面。
10月27日
- AGI Hunt网络流传 Anthropic 内部 Claude 模型证伪 ETH 的论文
网络流传一份署名 Claude/Anthropic 的论文截图，声称给出 3-SAT 的 2^{o(n)} 确定性算法并推翻 ETH。ETH 相关仓库随后出现题为《A 2^o(n)…》的另一篇论文，文中称 Anthropic 内部 Claude 模型似乎独立证伪了 ETH。
- AGI HuntETH 仓库论文称 Anthropic 内部 Claude 模型提出 2^o(n) 3-SAT 算法
ETH 相关仓库的一篇论文称，Anthropic 内部 Claude 模型独立提出了反驳 ETH 的 2^o(n) 时间算法。该论文题为《A 2^o(n) Time Algorithm for 3-SAT》，署名「CLAUDE / ANTHROPIC」，摘要称结果实际解决了更难的 #3-SAT，并已在 Lean 4 中形式化。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。