发生了什么
Anthropic于8月10日发布官方研究文章《Learning more about Claude's mathematical capabilities》，披露一个尚未公开发布的研究版Claude在自主进行的数学探索中取得进展：它将黎曼ζ函数满足黎曼猜想条件的零点比例下界，从数学界长期保持的41.6%提升到67.2%（论文优化常数为0.6725）。整个研究由模型在两次会话中自主完成，累计消耗约3100万个输出token。
结果的性质
- 该结果证明的是"位于临界线上的零点比例至少为67.2%"这一无条件下界，而非证明黎曼猜想本身
- 此前37年间，数学家仅将该下界推进了约0.8个百分点，本次提升幅度显著
- Anthropic同时公布了Claude撰写的论文、非正式专家评注以及可通过Lean证明助手形式化验证的证明
- 模型被描述为"内部研究版本"，尚未对公众发布
为何重要
这是AI在开放式数学研究中取得实质性进展的标志性案例：模型不仅求解既有习题，还自主提出并改进了一个长期未解的数学下界。Anthropic将论文、评注与可验证证明一并公开的做法，也为AI科研成果的可复现性提供了参照。对企业和科研机构而言，这预示着AI在数学、物理等基础科学领域的辅助研究能力正在从基准测试走向真实的研究流程。
需要谨慎看待
需要强调的是，突破下界不等于逼近黎曼猜想的最终证明，两者之间仍有巨大距离。研究版Claude的能力与公开版本不完全一致，且结果尚未经过同行评议的完整检验。Anthropic表示将继续探索模型在数学前沿问题上的能力边界。