Anthropic 研究版 Claude 把黎曼零点下界从 41.6% 提到 67.2%
Anthropic 今日公开了一个未发布研究版 Claude 的数学结果:它把黎曼 ζ 函数非平凡零点在临界线上的已知比例下界从 41.6% 提高到 67.2%。此前人类数学界从 1974 年 Levinson 的 33% 到 2020 年 Pratt 等人的 41.7%,花了近 50 年。Claude 结合了多位数学家近年论文与 Bombieri 2000 年的工作,Anthropic 数学家 Alpöge 和 Furman 已审查验证。Claude 还用 Lean 写出了可机器验证的证明。这次探索由 60 个子智能体协作,运行了 2400 条命令。