Claude没解出黎曼猜想，却把人类41.6%的纪录推到67.2%

据动察 Beating 监测，Anthropic 让一个尚未发布的 Claude 研究版挑战黎曼猜想。这个困扰数学界 160 多年的难题认为，与质数分布有关的一批零点，应该全部落在同一条线上。 数学家一直在证明到底有多少零点确实在线上，此前最高只能确定至少 41.6%。Claude 把这个纪录直接提高到了 67.2%。 过程并不顺利。Claude 第一轮试了 650 个思路，一个都没成功。第二轮调动约 60 个子 Agent 连续研究一天半，其中只有两个 Agent 找到了关键数学思路。它们最终把近年的数论成果和数学家 Bombieri 2000 年的一项研究接了起来，推导出了新的证明。 Anthropic 两名数学家验证了结果，Claude 还完成了 Lean 形式化证明。两名外部数论专家也检查了论文。

「查看原文」