黎曼猜想

Claude 证明黎曼猜想取得了重大突破，这个事件有什么开创性意义？

Anthropic宣布其尚未发布的科研版Claude在尝试证明黎曼猜想的过程中，将黎曼ζ函数临界线上零点比例的长期下界从41.6%提升至67.2%。尽管未能最终证明该猜想，但Claude通过组织多个子Agent协作、执行大量数值检验及编写脚本，在开放数学研究领域取得了突破。该结果已由内部数学家验证并经外部专家审阅。

如何评价 Anthropic 宣布将黎曼猜想的已知下界从 41.6% 提高到了 67.2%？

Anthropic披露其未发布的Claude研究版模型在尝试解决黎曼猜想时，将黎曼ζ函数满足猜想条件的零点比例已知下界从41.6%提高至67.2%。该成果通过多智能体协作及Lean形式化验证，被视为解析数论领域的重大进展。尽管大幅提升了局部指标，但Anthropic明确表示该方法预计无法直接证明黎曼猜想本身。