当地时间8月10日，Anthropic披露，其未公开的研究版Claude模型在尝试解答数学界顶尖悬赏难题“黎曼猜想”时虽未直接通关，却借助多Agent自治协作，改进了黎曼ζ函数满足黎曼假设的零点比例这一长期存在的下界。
黎曼ζ函数的“非平凡零点”与素数分布密切相关。黎曼猜想认为所有零点都在一条特定的临界线上。但由于无法证明，数学家转而尝试确定一个保底比例，即可以严格证明至少有多少比例的零点一定位于该临界线上。这个被严格证实的比例数值被称为该比例的下界。此前人类数学家耗费数十年将其推进至41.6%，而此次Claude将其一举提升到了67.2%。
据披露，整个试验仅起始于Anthropic员工Jarred Sumner在晨跑时突发奇想，给Claude下了个任务：尝试证明黎曼猜想。黎曼猜想提出167年了，克雷数学研究所为它悬赏100万美元，至今无人能解。
Claude果然也没成功，但过程中，模型搭建起约60个子智能体，在Claude Code里跑了一天半，执行2400条Shell命令，写了数百个Python脚本。最终真正想出关键思路的只有两个Agent，整场消耗了3100万输出token（词元），将已知位于临界线上的黎曼ζ函数零点比例下界推到了67.2%。
Anthropic内部数学家验证了论文，Claude生成Lean形式化证明。但官方也强调：不指望这套方法最终能证明黎曼猜想。
Claude的发现并非孤例。5月，OpenAI内分享了对Erdős单位距离猜想的AI生成的反证，菲尔兹奖得主Timothy Gowers评价是“AI自主产生的最具趣味性的数学成果”。8月，OpenAI宣布推出面向学术研究人员的ChatGPT计划，为10万名科学家和数学家免费提供最出色的ChatGPT模型，同步披露OpenAI在高维几何、编码理论、算术电路复杂性、群论、算子代数等领域的研究成果。
上述成果串联起来指向同一个信号：AI4S（AI for Science，人工智能驱动科学发现）这个提多年的概念，在2026年从战略口号变成了真实的产出线。
2024年AI刚拿IMO金牌时，人们还在用“能解高中奥数题”衡量它的智力。到了2026年，它已经开始改写数学纪录，月均一个重大数学突破几乎成为常态。
人才流向更能说明问题。今年7月，新晋菲尔兹奖得主Jacob Tsimerman在领奖现场宣布加入OpenAI。这位多伦多大学数论学家曾是AI风险的严肃批评者，但在审阅了OpenAI模型构造的反例证明后被彻底说服，转而投身AI安全与形式化验证。
另外，AlphaFold核心人物、诺奖得主John Jumper离开Google DeepMind，加入Anthropic，带去了结构生物学领域最顶尖的实战经验。
AI公司从抢AI工程师，到抢菲尔兹奖得主、诺奖得主、理论物理学家和基因组学大牛，原因很简单：当AI从聊天进化到做科研时，决定天花板的，是那些最懂如何拓展人类知识边界的人。
而这背后的影响因素，一是AI角色变了。过去，AI可以是好用的计算器，跑数据、搜文献。现在，Claude已经能够自己组织60个Agent协同工作数十小时，发现问题、验证结论、写出论文，还建议人类专家复核。Anthropic CEO Dario Amodei表示：不要只把AI看作分析数据的工具，要把它看作能端到端完成科学家工作的智能体。其次，做科研的方式变了，AI科研能力的快速提升正在倒逼科研范式的变革。
此次Anthropic披露Claude模型在解答黎曼猜想过程中的成果，真正重要的不是67.2%这个数字，而是通过过程本身告诉行业：头部AI模型已经可以独立去做那些人类几十年推不动的事了。
就像Anthropic在博客最后所写：“也许Claude和我们许多人一样，低估了AI进步的速度。”
举报 第一财经广告合作，请点击这里此内容为第一财经原创，著作权归第一财经所有。未经第一财经书面授权，不得以任何方式加以使用，包括转载、摘编、复制或建立镜像。第一财经保留追究侵权者法律责任的权利。如需获得授权请联系第一财经版权部：banquan@yicai.com 文章作者
吕倩
相关阅读
为什么AI还不会科学发现？这是人工智能的终极考题资本与学术界共同将目光投向了AI4S（AI for Science）这个被视为“科学研究第四范式”的战场。
19954 07-22 21:28
中国AI4S重塑创新版图，科研发现周期有望从年缩短到天AI for Science（AI4S）正在经历一场角色跃迁。
27828 07-20 16:21
谷歌连失AI大牛，诺奖得主转投Anthropic未来，跨学科人才、专有数据集与伦理治理将成为核心竞争力。
29998 06-20 08:42
全栈自研！中科曙光发布6万卡AI4S集群从2025年12月发布到2026年2月3万卡同步上线，再到4月扩展至6万卡，中科曙光仅用不到半年时间就完成了国产万卡级AI集群从发布到真机落地的全过程
720 04-15 20:38
贝森特、鲍威尔紧急召集华尔街高管，Anthropic“最强模型”让美政府紧张美国财政部长贝森特和美联储主席鲍威尔7日召集华尔街高管举行紧急会议，讨论该模型的安全风险。
9 1029 04-10 13:12 一财最热 点击关闭众合网提示：文章来自网络，不代表本站观点。
