不er，这竟然是真的？？ 刚刚，A社官宣自家一个尚未公开的Claude研究模型，在黎曼猜想上取得了重大进展。 它将满足黎曼猜想的黎曼ζ函数零点比例的下界，从41.6%提高到了67.2% 。 什么概念？ 这个数字上一次被人类往前推动，还是经过几代数学家接力、用几十年一点点磨出来的。 结果Claude这次虽然没打下终极Boss（A社：没有完全解决猜想），却在半路顺手刷新了一项长期纪录。 更离谱的是。 Claude完成这次研究，靠的是60个智能体、3100万输出Token。 以及， 人类只能在一旁反复给它加油。。。 继续Claude。 相信你自己。 只能说，数学界最难绷的一幕出现了： 人类负责情绪价值，AI负责推进数学前沿（doge）。 没证明黎曼猜想，但把下界推高了一大截 黎曼猜想一度被喻为数学“猜想界皇冠”。 它由德国数学家黎曼在1859年提出，至今已难倒人类167年，谁能证明出来，就能拿走100万美元大奖。 用最不绕弯子的话说，它研究的是素数背后隐藏的规律。 都知道素数就是只能被1和自身整除的整数，比如2、3、5、7、11…… 它们是构成整数的基础，但出现的位置看上去却毫无章法： 有时挨得很近，有时又隔着一大段。 为了找到其中的规律，黎曼研究了一个叫“黎曼ζ函数”的数学函数，这个函数有许多能让函数值变成0的“零点”。 黎曼猜测，其中所有“非平凡零点”，都排列在复平面上实部等于1/2的同一条直线上。 这就是黎曼猜想： 黎曼ζ函数的所有非平凡零点，实部都等于1/2 。 数学家之所以如此在意，是因为这些零点与素数分布紧密相关。 如果黎曼猜想成立，就意味着素数的分布虽然看起来随机，背后的波动却始终被限制在一个精确范围内。大量建立在“假设黎曼猜想成立”基础上的数学结论，也能获得真正可靠的地基。 过去一百多年里，数学家已经用计算机验证了海量零点，发现它们全都乖乖落在临界线上。 但验证再多，也只能说明“检查过的都对”，无法证明无限多个零点永远不会出现一个“叛徒”。 鉴于完整证明实在太难，于是数学家换了一条路线： 既然暂时证明不了“所有零点都在线上”，那能不能先证明“至少有一定比例的零点在线上”？ 经过几代数学家接力，这个比例的已知下界被一点点推到了41.6%。 而Claude这次做的，就是把它一口气提高到了67.2%。 注意，这并不等于“黎曼猜想被证明了67.2%”，也不代表剩下32.8%的零点不满足猜想。 它的准确含义是： Claude证明了，至少67.2%的非平凡零点位于临界线上。 虽然距离要求“全部零点都在线上”的黎曼猜想，仍然存在本质差距。 但对于一个被人类磨了几十年的长期纪录来说，从41.6%直接跳到67.2%，成绩已经足够扎眼。 方法揭秘 至于Claude怎么做到的，根据A社描绘的故事，开局就很“不讲武德”。 没办法，谁让A社员工Jarred一上来就把整个猜想的证明任务甩给了Claude： 请尝试证明黎曼猜想。 Claude：我？黎曼猜想？？（A社版奔波儿灞） fine，虽然有亿点难，但谁让咱是给人类打工的，开干吧…… 于是，在没有精心设计的解题路线，也没有数学家在旁边手把手指导的情况下，Claude先是一口气生成并尝试了650个思路。 结果，不出意外，喜提650连败 。 按理说，到这里故事就该结束了，毕竟这可是从1859年悬到现在、无数顶级数学家都没能拿下的终极难题。 但Jarred仍不死心，他给Claude再次下了一个非常简单粗暴的指令： 再试一次 。 没想到Claude很快就“开悟”了，因为它知道“摇人”了。 第二轮，Claude在Claude Code里拉起约60个子智能体，花了一天半时间，执行2400条Shell命令、写下数百个Python脚本，还围绕已知的黎曼ζ函数零点进行了数千次数值检验。 这60个智能体有的负责提出新思路，有的沿着重点方向继续推导，有的专门寻找反例，还有一批直接充当审稿人，负责给其他智能体挑错。 最终，有2个智能体竟然真的提出了关键数学思路 。 眼见同伴如此给力，其他智能体也没偷懒： 13个负责提供辅助想法，30个探索了其他方向但没能成功，13个专门验证论证，最后2个帮忙把成果整理成论文。 而作为这支队伍里唯一的人类，Jarred的主要工作竟是不断发送鼓励？？ 继续Claude。 相信你自己。 就这么“哄”了一天半，Claude虽然没能证明黎曼猜想，却意外发现： 如果把几项已有数学成果重新组合起来，似乎可以突破一个停滞多年的纪录。 它将满足黎曼猜想的ζ函数零点比例下界，从41.6%直接推到了67.2%。 生活，真就处处充满意外之喜呗！！ 为了确认自己不是“算嗨了”，Claude又拉来不同的子智能体交叉审稿、寻找反例，还从arXiv下载了54篇论文，检查这个结果是不是早就有人做过。 觉得还不够保险，
