Claude 挑战黎曼猜想，意外将相关下界证明提升至 67%

shadcn · x · 2026-08-11

Anthropic 官方博客分享了 Claude 在数学能力上的最新突破。研究人员尝试让一个未公开的研究版 Claude 挑战著名的千禧年难题——黎曼猜想（Riemann hypothesis）。

尽管 Claude 未能证明该猜想，但它在尝试过程中取得了意外进展：结合过去几十年数学家的广泛研究，Claude 将满足黎曼假设的黎曼 zeta 函数零点比例的下界，从长期的 41.6% 大幅提升至 67.2%。Anthropic 的两位数学家验证了 Claude 的论文，且 Claude 还生成了可形式化验证的证明。这再次印证了 AI 模型在高级数学推理领域的快速进化。