jackssybin 的个人博客

别被标题党骗了：这不是 AI 解决了黎曼猜想，这是 35 年来人类自己最大的一次突破。

昨天，Anthropic 联合牛津、剑桥数学家放出预印本，把黎曼猜想非平凡零点落在临界线的下界，从维持了 35 年的 41.6%，一下子抬到了 67.2%。

也就是说，现在我们可以肯定：超过三分之二的零点，都在黎曼当年预言的那条线上。

但这事儿到媒体嘴里，直接就变成了"AI证明黎曼猜想"。

差得真不是一点半点。

这不是 AI 证明，这是人类算法 + 算力的胜利

很多人被带节奏：

旧认知：AI 要帮人类把黎曼猜想证出来了 新事实：人类改了算法，用更大算力堆出了更大下界

35 年前 Conrey 证明 40% 的时候，哪有现在的 AI？也没有这么强的计算能力。

那时候就是靠聪明的数学技巧，硬生生把结果往前推了一大步。

这次其实也一样。

核心突破是算法优化，不是大模型直接写证明。先有人类数学家找到更聪明的切分问题方式，再用算力去验证，这个切法到底能得到多大的下界。

AI 在这里就是个算力工具，不是那个想出新方法的主角。

看到 “AI 解决大问题”，先问自己四句话

下次再碰到"AI 攻克千年难题"这种标题，你先停三秒，问自己四个问题：

放到这次：

• 人类设计方法，算力负责干活
• 只是推高了下界，离证明还差得远
• AI 就是计算工具，不是作者
• 标题至少夸张了一个量级

这依然是非常了不起的进步

我不是泼冷水说这个工作没用。

恰恰相反，能把保持了 35 年的纪录一下子提高 25 个百分点，这本身就是超大的进展。

现在我们终于可以说：超过三分之二的零点都在临界线上。

黎曼猜想要是错，也只能错在剩下不到三分之一的地方。

这比原来的不到一半，已经进了一大步。

最后说句题外话

我更好奇，下一次突破还要等多少年？

会不会还是靠一个新的数学技巧，再把这个数字推到 80% 以上？

反正肯定不是靠大模型直接输出一个完整证明。