不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篇论文，检查这个结果是不是早就有人做过。
觉得还不够保险，它又从头独立证明了一遍。
A社：连Claude自己也对其发现感到惊讶，也许像我们许多人一样，Claude低估了AI的进步速度。
确认暂时没发现问题后，Claude主动提出：
写成论文，再找人类数论专家来验货。
随后，Anthropic内部两位数学家Levent Alpöge和Ralph Furman检查了这项结果。
Claude还和Anthropic员工Eric Easley一起，把证明写成了计算机可验证的Lean版本，并通过标准工具Comparator的测试。
此外，两位解析数论专家Brian Conrey和Dan Goldston也审阅了论文。
也就是说，从想出思路到交叉审稿、查重、复现、写论文、做形式化验证，Claude几乎把科研流程走了一遍。
当然，这还不等于完成了传统同行评审，更不意味着黎曼猜想被解决了。
Anthropic也明确表示，这套方法大概率无法直接通向完整证明。
但真正夸张的地方在于：
AI已经不只会做有标准答案的数学题了，面对一个没人知道答案的开放问题，它开始能够自己找方向、读论文、试错、挑漏洞，甚至拿出新的研究结果。
原本只是让Claude挑战一个几乎不可能完成的任务。
结果主线没通关，支线先爆出橙装了。
One More Thing
话说，不知道这个模型是不是传说中的Fable 5.1（或Fable 6）。
网上最近已经开始流传Fable 5.1的消息：
爆料称，它主要强化了长周期推理和智能体能力，可能已经完成内部测试，只是在等待合适的发布窗口。
还有人猜测，面对下一轮模型大战，A社可能直接跳过“5.1”，把版本号抬到Fable 6。
不过截至目前，这些说法既没有API型号、系统卡和Benchmark佐证，也没有得到Anthropic官方确认。
或许等OpenAI发布GPT-6就知道了。
螳螂捕蝉，黄雀在后，懂的都懂（doge）。
联富配资提示：文章来自网络，不代表本站观点。
