丑小鸦UpRaven
← 全部洞察

一句"别放弃",撬动了 37 年没人推动的纪录

关键事实

从写JavaScript运行时到"教练"式驱动数学突破。 Jarred Sumner是自学成才的程序员,2021年写出Bun;2025年12月Bun被Anthropic收购,他本人成为Anthropic员工,岗位仍是继续做好Bun,不是数学研究员。

第一轮650个想法全部失败,是人类的鼓励推动了第二轮。 Claude第一轮尝试生成并测试了650个想法,全部失败,过程中一度表现出"自我怀疑";是Sumner连续发去"继续""相信自己"这类鼓励性消息,推动Claude没有放弃、发起第二轮尝试。

第二轮:一天半,约60个子智能体,25.6个百分点的跃升。 第二轮Claude花一天半时间协调约60个子智能体分工作战(2个提出关键数学思路、13个辅助、30个尝试未成功、13个互相核验、2个协助撰稿),执行2400条shell命令,消耗3100万个输出token;最终把黎曼zeta函数零点位于临界线上的已证明下界从41.6%推到67.2%。核心突破并非发明新数学工具,而是把此前分属不同学者、彼此从未被连接过的两套现成理论框架拼接在了一起。

核验尚未走完"正式同行评审"这一步。 Anthropic内部两位数学家把结果做成了Lean形式化证明(可由计算机程序逐步核验每一步推理是否成立);外部两位相关领域权威"在很短时间内"审阅了论文,但这属于"短时间内的善意审阅",不等于正式同行评审——论文尚未投给任何学术期刊,也因模型未公开发布而无法被外部完整复现。

数学界的评价:真实进展,但离"证明世纪难题"还有距离。 Menlo Ventures合伙人Deedy称这"可能是自2013年有界素数间隔结果以来解析数论领域最重大的突破";但同一批报道也提醒,Claude"没有发明新的数学技术",只是把已发表文献里的两块拼图连了起来,Anthropic自己也明确写道"我们不认为这里用到的技术会通向黎曼猜想本身的证明"。

别处读不到的洞见

这次成果公布的时间点,恰好卡在Anthropic据多家媒体报道正在筹备一场估值可能高达2万亿美元、有望成为史上规模最大IPO的窗口期——这不构成"造假"的证据,但构成一个诚实的读者应该主动问的问题: 一项尚未经同行评审、无法外部复现的数学成果,选择在这个时间点公开发布并配以官方博客、媒体通稿式传播,是否也承担着"证明模型能力仍在快速进步、对冲'大模型能力见顶'这类投资者疑虑"的公关功能?这两种动机(真实的科研进展vs上市前的叙事管理)完全可以同时为真,不互斥,但报道时应该分开标注。

我的判断

在"AI驱动科研"这套新流程里,决定产出能否发生的关键动作,可能已经从"具备该领域的深厚知识"位移到了"知道怎么把AI系统的探索坚持下去"——一种介于产品经理、教练与"啦啦队长"之间的新角色,其价值不取决于懂不懂黎曼猜想,而取决于能不能在AI表现出"自我怀疑"、想放弃的时候把它推回去继续试。但这套模式的可信度天花板,目前被锁在一个尚未拆除的脚手架里:不可外部复现、无正式同行评审、核验依赖同一家公司雇的两位内部数学家加两位"抽空帮忙"的外部专家——"AI数学突破"这类新闻标题下,实际站得住的证据基础差异可以很大,不该被一律当作同一种可信度对待。

这份判断站不住脚的地方(原文hedge,逐句保留):Jarred Sumner的背景与Claude的技术过程细节均出自一手信源,可信度高;但因模型未发布,外部完全无法复现,这是反复强调的核心局限。Deedy的评价属于个人社交媒体观点,不代表学术共识,已如实标注为"目前流传最广的评价"而非定论。"发布时间点与IPO窗口期重合"这一判断属推理延伸,不构成对Anthropic动机的指控,只是提醒读者留意两条时间线的重合,这个判断本身站得不算特别稳,留待后续观察是否有更多类似节奏出现。 完整局限说明见完整版。

结语

对任何把AI当作工具在用的普通人而言,这个故事比"AI又破了什么纪录"更值得记住的一点是:AI给出的判断(包括它一度表现出的"自我怀疑")不是终点,值得质疑,也值得再试一次——这种"敢对AI说别放弃"的能力,可能会成为这个时代一项被低估的具体技能。读者若需完整证据链与逐项置信度评估,可查阅本报告完整版。


参考文献(简版正文实际用到的信源;完整清单见完整版)

  1. Bun官方博客, "Bun Joins Anthropic"
  2. Anthropic官方新闻稿, "Anthropic Acquires Bun as Claude Code Reaches $1B Milestone"
  3. Anthropic研究博客, "Riemann Zeta"
  4. Forbes, "Claude Just Broke a Math Record That Stood for 37 Years," 2026-08-13
  5. XenoSpectrum, "Claude Riemann Zeta Critical Line Lower Bound"
  6. X/Deedy
  7. Fortune, "Anthropic IPO $2 Trillion October Largest Ever," 2026-08-13