数学前沿研究，正在被AI撬开新的缝隙。8月10日，Anthropic宣布，一个未发布的研究版本Claude在黎曼猜想相关的经典数论问题上取得了实质进展：将黎曼zeta函数零点满足黎曼假设的比例下界，从41.6%提升到67.2%。黎曼猜想是数学界最著名的未解难题之一，希尔伯特23问与千禧年七大难题都为其留有一席之地，它断言黎曼zeta函数的非平凡零点全部位于复平面上实部为二分之一的直线上。虽然这次研究版Claude并未解决黎曼猜想本身，但把"满足假设的零点比例下界"大幅上抬，本身就是对这道百年难题的一次意义深远的推进，也再次证明了AI系统在探索性数学研究中的独特价值。
要理解这次进展的分量，需要先弄清楚"下界"的含义。黎曼猜想断言所有非平凡零点都落在临界线上，但这一结论至今无法证明，数学家退而求其次，试图证明"至少有百分之多少的零点满足黎曼假设"，这个百分比就是下界。在很长一段时间里，这个下界停留在非常低的水平，经典方法长期把它钉在不足五分之一的位置。2025年，牛津大学教授詹姆斯·梅纳德团队把下界大幅推进到40%以上，震动数论界。而Anthropic的研究版Claude在此基础上再进一步，把下界从41.6%提升到67.2%，相当于一次性跨过了三分之二的门槛，这是黎曼猜想研究史上少有的量级跃迁。
更值得注意的是这项成果的产出方式。Anthropic并未透露研究版Claude的具体推理路径，只强调这是一个"未发布的研究版本"完成的成果，相关细节收录在其官方研究博客中。它没有被包装成"AI解决了黎曼猜想"的噱头，而是如实标注"模型并未解决黎曼猜想本身"，这种克制恰恰说明，AI在数学研究中的角色正在从"解题工具"转变为"证明合作者"，它能够探索人类数学家难以企及的复杂推理组合，把开放问题的边界一点点向前推进。
AI在黎曼猜想相关问题上取得进展，并非偶然。数论证明往往需要极长的推理链条和大量的分情况讨论，人类数学家受限于工作记忆与耐心，很难在单个证明中穷尽所有分支；而大模型经过长推理训练后，可以在更大的搜索空间里系统性地组织证明结构，把无数小步骤组合成严密的论证。研究版Claude之所以比公开版本更强，通常意味着它在推理深度、自我校验与数学符号处理上做了专门强化，这正是数学研究最需要的三项能力。
从更宏观的视角看，这次突破延续了AI数学研究的一连串进展。此前，DeepMind的AlphaProof在国际数学奥林匹克竞赛中达到银牌水平，OpenAI的研究模型也在多个数学基准上逼近人类顶尖选手，而Anthropic此次在黎曼猜想下界上的推进，则触及了更高难度的前沿开放问题。这类成果的共同特征是：AI并非靠记忆题目答案取胜，而是在真实的研究语境中发现了人类尚未发现的证明路径，这种"发现"属性，让AI从数学竞赛的考生变成了数学研究的同行。
黎曼零点下界的提升，为"AI数学"的发展方向提供了一个生动样本。在这类合作中，AI负责生成候选证明结构、处理繁重的符号推演与分情况验证，人类数学家负责设定问题、判断方向、审查逻辑与提炼洞见。Anthropic的研究版Claude找到了将下界推高到67.2%的论证，但最终判断这一结果的价值、评估它对黎曼猜想整体研究的启示，依然需要数学家来完成。这种"AI提出证明、人类把关方向"的分工，正在成为AI数学研究的主流范式。
对AI4S领域而言，这次进展的意义不止于数论本身。它说明，经过专门训练的大模型能够在高度抽象的数学领域取得可验证的实质性成果，而非仅仅在工程与语言任务上表现优异。随着研究版模型的能力不断上探，AI有望在解析数论、代数几何、动力系统等更多领域帮助数学家攻克长期停滞的难题。当然，从67.2%到100%之间依然横亘着巨大的鸿沟，黎曼猜想本身也许还要等待数年甚至数十年，但AI已经证明自己可以成为这场漫长攀登中的可靠伙伴，而这本身，就是科学发现新范式正在成型的最有力证据。
Anthropic研究版Claude的能力，与公开版本之间存在一道看不见的鸿沟。研究版模型通常经过更长的推理训练、更严格的数学专项强化与更充分的自我校验调优，它在黎曼零点下界问题上的表现，反映了Anthropic在数学推理方向上的技术储备，而这种储备并不会立即全部释放给公开用户。这种"研究版先行、公开版跟进"的节奏，在AI行业并不罕见：实验室往往用研究版本验证技术上限，再逐步把能力工程化、安全化后推向市场，研究版与公开版之间的差距，既是竞争壁垒，也是技术演进的方向标。
对AI4S领域来说，这次成果还有一层示范意义：它证明了AI在前沿数学上的突破，需要的是深度推理能力与海量算力的组合，而非简单的模型规模堆砌。黎曼零点下界的证明过程涉及大量的分情况讨论与符号推演，研究版Claude能够完成这样的任务，说明其推理时计算与自我校验机制已经相当成熟。随着更多AI实验室在数学方向投入研究版资源，人类数学家与AI的协作将更加紧密，那些困扰学界数十年的开放问题，或许将陆续迎来AI带来的新进展。