黎曼猜想，差点被攻克了！#科技先锋官#

今天，Anthropic重磅发文，让内部研究版Claude去证明「黎曼猜想」，结果虽然失败了。

但却在这一世纪难题上取得重大突破——它成功将符合猜想的黎曼Zeta函数零点比例下限，从41.6%一口气拔高到67.2%。

要知道，过去37年里，所有人类数学家才推进了0.8%。如今Claude直接提升了25.6%。

启动这项研究的是Anthropic员工、Bun缔造者Jarred Sumner。8天前晨跑时，他随口给Claude设了个目标：证明黎曼猜想。不出意料，挑战失败——这是「七大千禧年难题」之一，提出167年至今无人能解。

第一次尝试，Claude生成并试了650个点子，全部失败。Sumner没参与数学推导，提示只有两个意思：继续，以及相信你自己。

第二次，Claude换打法：自己拉起约60个子智能体，跑了整整一天半，分工验证、试错、写论文，真正贡献核心数学想法的只有两个子Agent。两个会话全程在Claude Code里，共烧掉3100万输出token，相当于数学家连续写上好几个月。

黎曼猜想研究的是ζ函数非平凡零点位置，克雷数学研究所悬赏百万美元至今无人证明或推翻。Claude解决的是相关问题：至少多大比例零点位于临界线上。它结合近年数学家的零点配对相关结果与Bombieri的观察，把Weil公式限制在有限维Gabor函数空间，转化为Hermitian矩阵问题，提出秩—迹不等式，最终把比例从2/3的经典结果推高到67.25%。

黎曼猜想仍未被证明，但这已不是最重要的部分。2024年人们还在用竞赛奖牌衡量AI，两年后，一篇作者栏写着Claude的论文，已经开始改写数学纪录。