研究版 Claude 推进黎曼猜想：下界从 41.6% 拉到 67.2%

BiRun 消息，Anthropic 揭未发布研究版 Claude 把黎曼ζ零点满足猜想的下界从 41.6% 推到 67.2%，史上最大单次进展；约 60 个子代理 36 小时、650 个失败点子后找到洞见，产出 Lean 可验证证明。 这篇文章研究版 Claude 推进黎曼猜想：下界从 41.6% 拉到 67.2% 最早出现于链新闻 ABMedia 。