Anthropic：未发布研究版 Claude 把 Riemann zeta 零点临界线占比下界从 41.6% 提到 67.2%

Anthropic 8-10 发布研究：一个未发布的研究版 Claude 在综合数十年数论成果后，把「位于临界线上的 Riemann zeta 零点占比」这一长期下界从 41.6% 提升到约 67.2%（不假设 RH 成立）。官方明确表示这并未证明黎曼假设、也不认为该技术路线能证明 RH。成果附论文与一份 sorry-free 的 Lean 4/Mathlib 形式化证明（github anthropics/zeta-23-lean，除 Lean 标准三公理外无额外公理），并经公司数论专家审读。