Claude数学突破 黎曼ζ零点下界推到67.2%

时间 2026年8月10日，Anthropic发布官方研究博客披露Claude在解析数论方向取得的最新数学进展。 地点 美国旧金山（Anthropic总部），论文与代码托管于GitHub，论证材料通过Anthropic官方CDN分发。 人物 Anthropic内部研究团队、Anthropic两位数学审稿人，以及黎曼猜想领域外部专家Brian Conrey与Dan Goldston；完成论证的未发布版Claude研究模型。 事件详情 Anthropic披露，未发布的研究版Claude在黎曼ζ函数零点下界上取得突破：将"满足黎曼假设的零点占比"从既有最佳下界41.6%推进到67.2%。Claude同步产出完整论文《More than two thirds of the zeros of the Riemann zeta function lie on the critical line》，并在GitHub开源仓库anthropics/zeta-23-lean给出Lean 4/Mathlib无sorries形式化，覆盖A–E定理的所有分析输入（Weil显式公式、Riemann–von Mangoldt零点计数、Montgomery–Vaughan广义Hilbert不等式等）。Anthropic两位数学家撰写通俗说明PDF供专家快速复核，Brian Conrey与Dan Goldston两位外部专家在短时间内审稿并对论文给出反馈。 背景 黎曼假设由Bernhard Riemann于1859年提出，猜想黎曼ζ函数全部非平凡零点位于临界线Re(s)=1/2上，是克雷数学研究所百万美元悬赏七大千禧年难题之一，素数分布的精细刻画直接依赖该假设。本世纪以来数学家仅能把"在临界线上的零点占比"推到约40%量级，Anthropic的67.2%是该比例首次明显跨越2/3门槛。Anthropic官方明确表示并不预期该方法能直接证明黎曼假设本身，但视为AI模型数学能力快速进步的又一例证；2026年5月Claude Mythos刚刚解出Erdős于1946年提出的平面单位距离猜想。 影响 1. 把"满足黎曼假设的零点"占比下界从41.6%大幅推到67.2%，显著缩小不确定区间，但仍远未证明黎曼假设本身。 2. 首次公开大模型在解析数论深层定理上完成端到端形式化（Lean 4 + Mathlib）的工作流，为AI辅助数学研究提供完整模板。 3. Anthropic官方未透露模型代号与规模，仅标注"未发布的研究版本"，外界推测可能与Mythos系列或后续Opus/Fable 5.x相关，叠加效应将推高AI for Math赛道关注度。 总结 Anthropic Claude把黎曼ζ函数临界线零点占比下界从41.6%推到67.2%，配套Lean 4无sorries形式化与两位外部专家审稿，成为大模型在解析数论方向最具说服力的公开成果之一。 参考来源 1. Anthropic官方研究博客《Learning more about Claude's mathematical capabilities》: https://www.anthropic.com/research/riemann-zeta 2. Anthropic论文PDF《More than two thirds of the zeros of the Riemann zeta function lie on the critical line》: https://www-cdn.anthropic.com/564f962e60643842f5fcb4a17c9dbc8f608f1c37.pdf 3. Anthropic专家通俗说明PDF: https://www-cdn.anthropic.com/23455459f8832d06bb175cc0f88d019aed962ef8.pdf 4. GitHub Lean 4/Mathlib形式化仓库 anthropics/zeta-23-lean: https://github.com/anthropics/zeta-23-lean 5. Hacker News讨论（118分96评）: https://news.ycombinator.com/item?id=49247070 6. 黎曼假设百科背景（百度百科）: https://baike.baidu.com/item/黎曼假设/6891118 7. New Scientist黎曼猜想史报道: https://www.newscientist.com/article/2180406-famed-mathematician-claims-proof-of-160-year-old-riemann-hypothesis/