Claude 意外突破黎曼猜想相关难题

Learning more about Claude's mathematical capabilities

Anthropic 的一名员工让 Claude 尝试解决著名的黎曼猜想，虽然最终未能证明该猜想，但在这个过程中，Claude 意外取得了重大突破。它将黎曼 zeta 函数零点满足黎曼猜想的比例下界从 41.6% 提升至 67.2%。这一成果由 Anthropic 的数学家验证，并生成了可形式化验证的证明。Claude 在尝试中展现了惊人的数学推理能力，通过协调多个子代理、运行数千次数值检查并查阅大量文献，最终超越了数十年的研究记录。这不仅展示了 AI 在数学领域的潜力，也揭示了其如何以意想不到的方式推动人类知识边界。