虎嗅

困住人类167年,Claude刷新”黎曼猜想“百年纪录

该文章尚未提供 Русский 解读,以下为中文版内容。

核心内容总结

AI模型Claude在黎曼猜想的研究上实现了突破性进展:将人类几十年努力达到的41.6%研究进度直接提升至67.2%;更令人惊讶的是,这一成果源于工程师“随手让AI再试一次”的指令——Claude自发模拟60个角色分工协作(像一个虚拟科研团队),还自带审稿、查重功能,并独立完成了论文撰写,相当于把科研从“人类主导”推向了“AI自主闭环”的新阶段。

详细拆解解读

1. 黎曼猜想:这个进展为啥“含金量”这么高?

黎曼猜想是数学界的“圣杯级难题”,简单说就是关于“质数分布规律”的猜想(质数就是2、3、5这种只能被1和自己整除的数)。它的重要性在于:如果能证明它,密码学、计算机科学、量子物理等领域都会迎来革命性突破(比如现在的加密技术很多依赖质数的随机性)。

人类过去几十年里,无数数学家前赴后继,才把这个猜想的证明进度推到41.6%;而Claude一下子把进度拉到67.2%——相当于人类走了41步,AI直接帮着迈了26步,离终点(100%证明)近了一大半,这在数学史上是几乎从未有过的“跨越式进展”。

2. AI“自发组队60人”:不是真的“养团队”,而是会“自己分工”

这里的“60人小队”不是真的有60个AI实体,而是Claude能模拟不同科研角色:比如有的角色负责提出新思路,有的负责计算验证,有的负责检查逻辑漏洞,有的负责整合结果。

举个例子:它会先让“研究员角色”提出一个证明方向,再让“计算员角色”去跑数据验证,接着“审稿员角色”挑出计算里的错误,最后“整合角色”把所有结果串成完整的逻辑链。整个过程不需要人类一步步指挥,AI自己就能完成“团队协作”——这比之前AI只能做单一计算任务(比如解方程)厉害多了,它学会了“组织复杂工作”。

3. 自带“审稿查重+写论文”:AI能完成科研的“最后一公里”

以前AI最多帮人类算数据,但这次Claude直接把科研的闭环走完了:

  • 查重:它会自动对比已有的数学论文,确保自己的思路没有重复前人成果;
  • 审稿:它会自己检查证明过程中的逻辑漏洞(比如某个步骤是不是跳步了,某个假设是不是成立);
  • 写论文:它能把所有研究结果整理成符合学术规范的论文(包括公式、引用、结论),不用人类再花时间排版或润色。

这意味着AI从“科研工具”变成了“科研参与者”——人类只需要给个方向,AI就能自己把研究做完、写好。

4. 工程师“随手一试”:AI的潜力远超我们想象

这次突破的起点很偶然:工程师只是觉得“再让AI试一次吧”,没有给复杂的指令,结果AI自己“玩出了花”。这说明什么?

AI的自主能力可能比我们以为的更强——它不是只能执行人类明确的命令,还能主动探索解决问题的方法(比如组队、审稿这些人类没教过的步骤)。未来科研可能会变成:人类提出问题,AI自主设计解决方案,最后人类只需要验证结果是否正确。这会大大加快科研速度,尤其是基础学科(比如数学、物理)的突破。

5. 对未来科研的影响:AI会成为“科研合伙人”吗?

这次事件给科研界提了个醒:AI不再是“辅助工具”,而是可能成为“核心参与者”。

  • 效率提升:以前数学家可能花几年时间验证一个猜想,AI能在短时间内完成大量计算和逻辑验证;
  • 模式改变:未来的科研团队可能是“人类+AI虚拟团队”的组合——人类负责创意和方向,AI负责执行和闭环;
  • 挑战与机遇:当然,AI的结果还需要人类验证(比如Claude的67.2%进展是否真的正确),但它确实打开了新的可能性:说不定再过几年,黎曼猜想的完整证明就能由AI完成?

总之,这次Claude的突破不仅是数学上的进展,更是AI在科研领域“能力边界”的一次大跨越——它让我们看到,AI能做的远不止聊天、写文案,还能解决人类最复杂的科学难题。

(全文没有用专业术语,尽量用日常例子解释,希望非财经/数学背景的读者也能轻松理解~)