Anthropic 用未公开版 Claude 推进黎曼猜想相关问题

Anthropic 近日在 X 平台披露了一项数学研究进展：使用一款尚未公开发布的 Claude 研究版本，对著名未解难题——黎曼猜想进行了探索。模型虽未能给出最终证明，但在该猜想的一个相关问题上取得突破，将黎曼 zeta 函数零点满足假设的比例下界由 41.6% 提升至 67.2%。

黎曼猜想与零点下界

黎曼猜想是数学领域最受关注的未解难题之一，核心议题是黎曼 zeta 函数的非平凡零点是否全部位于临界线上。此次 Claude 推进的并非零点本身的位置，而是一项相关指标的下界：在所有非平凡零点中，有多少比例能够被证明落在临界线上。这一下界此前为人所知的数值为 41.6%，而 Claude 在测试中将其推高到了 67.2%，相当于提升了约 25.6 个百分点。

研究方法与定位

Anthropic 将这次尝试定位为「让模型对黎曼猜想动手」的一次实验。结果显示，即使是最先进的语言模型也尚未具备独立攻克此类百年难题的能力，但能够在已有数学家成果之上做出增量贡献。下界 41.6% → 67.2% 的提升，相当于在一条已被部分证明的引理链上，借助 AI 推理向前迈了一步。

几点值得关注的信息

• 此次使用的是「未公开发布的研究版本」，并非 Claude 当前已上线的任何产品型号，具体架构与训练细节未披露。
• 该结果目前以 Anthropic 官方 X 帖形式公布，尚未经过同行评审或独立数学社区的验证。
• 这一进展属于 AI 在纯数学研究中的辅助推理能力展示，对通用 AI 能力评测有参考意义，但短期内不会直接转化为消费级产品功能。

对数学界而言，这类实验的意义更多在于探索「AI 能多大程度参与高难度理论研究」，而非宣告难题本身的攻克。后续若 Anthropic 公布更多技术细节或正式论文，将有助于判断这一提升的稳健性与可复现性。