是谁推进了困扰数学界37年的黎曼猜想?

这可能是AI数学史上最离谱的一天:一个写JavaScript的工程师跑步时随口一句话,让AI推进了黎曼猜想。

Bun创始人@jarredsumner 跑步的时候想到让还没发布的新版Claude"认真试试黎曼猜想",结果Claude真的干了: 自己先试了650个错误的方向,开了60个子代理分工,跑了2400次shell命令和一堆Python脚本,把两篇相隔20年的数学论文用新方法拼到一起,真把黎曼ζ函数临界线上的零点比例,从41.6%推到了67.2%,写完了论文,还主动喊人类数学家来检查。

最后给这个结果"临门一脚"做验证的,就是Anthropic的staff数学家Levent Alpöge。

这人的背景夸张到不像真人:3岁识字,哈佛数学物理双学位4.0满分毕业,本科就拿了Erdős数2,普林斯顿博士导师是菲尔兹奖得主Manjul Bhargava,哈佛青年院士,正经当世顶尖的数论家,是他带着专家把证明验证完的。

以前这种突破,是顶尖数学家在书房里想几年甚至几十年。

现在是工程师随口提一句,AI自己试错、自己开代理干活、自己写论文,最顶尖的数学家来做最后判断。

不是AI取代数学家,是做数学的方式,从今天开始彻底变了。