Claude 在尝试 Riemann hypothesis 时意外把 critical-line zeros 已知比例下界从 41.6% 提升到 67.2%

Anthropic 报告，一个未发布 research version of Claude 在尝试 Riemann hypothesis 时没有解决 RH 本身，却结合 Aryan、Baluyot–Goldston–Suriajaya–Turnage-Butterbaugh 与 Bombieri 的既有工作，把可证明位于 critical line 上的 zeta zeros 比例下界从 41.6% 提升到 67.2%。约 60 个 Claude subagents 在一天半内协作，Anthropic 数学家 Levent Alpöge 与 Ralph Furman 检查结果；Claude 还协助生成通过 Comparator 的 Lean formalization。