最近AI圈又出了个相当魔幻的新闻：Anthropic给尚未发布的Claude研究版本布置了一个堪称“不可能完成”的任务——认真尝试攻克黎曼猜想。 这个1859年提出、挂着100万美元悬赏的千禧年数学难题已经难住了人类167年，Claude确实没能拿出最终证明，但它在试错过程中得到的副产品，直接在解析数论领域扔下了一颗重磅炸弹。

Claude这次是真的“全力应战”了：第一轮尝试里它先后憋出650个解题思路，结果全部失败。收到“继续”的指令后，它直接拉起了一支60个Claude子Agent组成的“科研团队”，连轴转了一天半，累计执行2400次Shell命令，写下数百个Python脚本，做了数千次数值检验，还是没能摸到黎曼猜想最终证明的门槛。 但就在这海量的试错中，Claude得到了一个超出所有人预期的结果：它将黎曼ζ函数中已被证明位于临界线上的零点比例下界，从人类之前保持的41.6%，提升到了67.2%。

风投机构Menlo Ventures合伙人、研究者Deedy对这个结果给出了极高的评价：这可能是自2013年张益唐做出有界素数间隔突破以来，解析数论领域最重大的进展。要知道，在这次成果出现之前的37年里，全人类的数学家一共也就把这个比例提高了0.8个百分点，Claude这一次就把数字抬升了25.6个百分点。

【编辑观察】这剧情简直像打游戏：你派角色去挑战最终Boss，结果团灭好几次没打过，走的时候顺手把Boss守了几十年的隐藏宝箱给开了，里面的装备直接把全服纪录破了。

67.2%到底是什么概念？

很多人可能对这个数字没概念，先给大家补个课： 黎曼猜想的核心结论非常简洁——黎曼ζ函数所有非平凡零点的实部都等于1/2，映射到复平面上就是这些零点全部落在一条被称为“临界线”的垂直线上。这个看起来抽象的结论和素数分布规律深度绑定，数论领域中大量关于素数的精准结论，都需要建立在黎曼猜想成立的前提上，这也是它能成为七大千禧年难题、悬赏百万美元的原因。 一百多年来没人能证明“100%的零点都在临界线上”，数学家们就退而求其次，先证明“至少有多少比例的零点一定在临界线上”：这个数字从1942年的“大于0%”开始，1974年推进到34.7%，1989年到40.9%，直到2020年也才达到41.6%，后续的方法基本已经摸到了理论天花板，几十年都难有寸进。 Claude这次的突破并不是凭空造了新理论：它站在了此前数代数学家的研究基础上，将1973年数学家Hugh Montgomery提出的零点分布方法、Enrico Bombieri在2000年前后的相关研究做了全新的组合——它构造了合适的函数空间，利用Weil诱导的二次型将临界线上、外的零点分别对应到正定与负定方向，并且没有将两部分拆分处理，而是放在统一框架下分析非对角结构的二次型，最终推导出了67.2%的新下界。 需要特别说明的是，Anthropic明确表示，这套方法无法直接推导出黎曼猜想的最终证明，67.2%只是相关问题的一个阶段成果，距离100%证明黎曼猜想还有本质性的理论鸿沟，并不是说“Claude距离解出黎曼猜想只差32.8%”。

烧了3100万Token，AI搞科研的模式已经变了

比结果更值得关注的，其实是Claude完成这次突破的工作模式。整个探索过程只在两轮Claude Code会话中完成，总计消耗了约3100万输出Token，而给Claude布置任务的Jarred Sumner（Bun联合创始人，现就职于Anthropic）本身并不是数学家，全程几乎没有提供任何数学层面的指导，做的最多的事就是给Claude打气：“继续”“再试试”“相信你自己”。 第一轮探索中650个方案全部失败后，Claude自主选择了多Agent并行探索的模式：把问题拆分成多个方向，安排不同子Agent分头攻坚，子Agent之间还会互相审阅结果、排查漏洞。得到初步结果后，Claude还自己启动了完整的验证流程：

  • 派专门的子Agent检查证明逻辑、寻找反例
  • 下载了54篇arXiv论文，确认这个结果没有被其他数学家提前发表
  • 安排独立Agent从头重新推导一遍全部结论，验证结果自洽 确认没有明显问题后，Claude主动提出要把结果整理成论文，还特意提醒，应该邀请专业的数论专家来做人工验证。 后续Anthropic内部的两位数学家完成了论文验证，Claude还和员工合作完成了结果的Lean形式化证明，通过了机器验证工具的检查，两位研究黎曼ζ函数的权威数学家Brian Conrey和Dan Goldston也审阅了这篇论文。当然，目前这个结果还没有走完传统学术同行评议流程，尚未形成数学界的共识，但它释放的信号已经足够明确：前沿大模型的数学能力，已经开始触及人类还没有现成答案的前沿研究领域了。 【编辑观察】以前我们总调侃AI是“高级缝合怪”，只会整理人类已经产出的知识，但这次它真的在人类卡了几十年的研究方向上迈出了一大步。说不定在不远的将来，我们真的能看到AI先于人类数学家，拿下千禧年难题的百万奖金。