卧槽，Claude 没有证明黎曼猜想，但它一天半推进了人类卡了 37 年的数学纪录😱😱 一个尚未发布的 Anthropic Claude 研究版本，被要求挑战 167 年无人解决的黎曼猜想。它当然没有把黎曼猜想证明出来，但在一个核心子问题上，把“已证明位于临界线上的非平凡零点比例”下界从约 41.7% 一口气推到了 67.25%。 1989 年，数学家 John Conrey 把纪录推进到约 40.9%，此后三十多年，人类只把它继续推到约 41.7%。 Claude 这一次直接提高了约 25.6 个百分点，跨过了 2/3，而且是无条件结果。 比较逗的是不停的PUA模型😂 Bun 创始人、Anthropic 员工 Jarred Sumner 跑步时随口给 Claude 留了个任务： 去证明黎曼猜想。第一次失败后，他基本没有参与数学推导，给 Claude 的主要反馈就是类似“继续”和“相信自己”。 第二次 Claude 直接拉起了大约 60 个 Agent，跑了一天半。不同 Agent 分头查论文、写代码、做数值实验、寻找证明路径，再互相审查。 其中大量 Agent 什么都没找到，真正贡献核心数学思路的只有少数几个。整个过程在 Claude Code 中完成，两次会话累计消耗约 3100 万输出 token。 Claude 最后找到的突破口，并不是凭空发明一套全新的数学，而是把过去几十年散落在不同论文里的结果重新拼到了一起。 它结合近年的零点配对相关研究和 Bombieri 的思路，把问题转化成有限维 Hermitian 矩阵，再构造新的迹不等式，最终把原来依赖黎曼猜想才能得到的“2/3”附近结果，推进成了无条件成立的下界，并进一步做到 67.25%。 AI正在科学研究层面自我突破🔥