Anthropic：Claude 将黎曼 ζ 函数零点下界从 41.6% 提升至 67.2%
Anthropic 让一个未发布的研究版 Claude 尝试攻克黎曼猜想，虽未成功，但在相关问题上有意外进展：它把黎曼 ζ 函数中满足黎曼猜想的零点比例下界从 41.6% 提升到 67.2%。该结果基于数学家 Aryan、Baluyot、Goldston、Suriajaya、Turnage-Butterbaugh 及 Bombieri 2000 年论文的既有工作。Anthropic 两位数学家审阅并验证了 Claude 的论文，Claude 还给出了可形式化验证的证明。外部专家 Brian Conrey 和 Dan…
推荐理由一个具体数字：数学未解难题的相关下界被 AI 从 41.6% 推到 67.2%，且证明可形式化验证。