Claude冲击黎曼猜想,失败了。但这次失败直接改写了维持37年的数学纪录——Anthropic内部研究版Claude将黎曼Zeta函数零点比例下限从41.6%拉高到67.2%。在此之前,人类数学家用了37年,才把这个数字推进0.8%。

希鸥网观察到,驱动Claude完成这场复杂推演的提示词却意外简单:“你可以的,相信你自己”。启动这项研究的Anthropic员工Jarred Sumner,16岁从高中辍学,8天前晨跑时随口给出这个开放目标。Claude首次尝试生成了650个点子全部失败,第二次拉起约60个子智能体分工协作,跑了整整一天半,烧掉3100万输出token,相当于人类数学家连续写上好几个月。

Sumner没有参与推导,他做的只是设定方向和情绪激励。60个子智能体中,2个贡献核心数学思路,13个当外援,13个当验证员,最后2个写论文初稿,剩下30个什么都没试出来。一半白干,但整体成果惊艳。这种组织方式暴露了AI数学研究的底层逻辑:不再依赖单个天才大脑,而是靠群体智能的冗余试错。

黎曼猜想提出于1859年,研究Zeta函数非平凡零点位置,与素数分布直接相关。Claude的关键一步在于把解析数论问题转化为Hermitian矩阵问题,利用秩—迹不等式处理临界线内外零点的贡献,最终得出公式H(λ)=2-1/λ-λ/3,取λ=1即得到2/3的下界,再用Montgomery-Taylor最优窗函数提升到67.25%。

这项突破的技术路径与人类数学家的思路形成鲜明反差。过去37年,人类靠个体灵感和单线程推演缓慢逼近;Claude依靠的是并行试错、多智能体互检和前所未有的token算力堆叠。从商业模式看,这本质上是算力成本对智力成本的替代——3100万token的算力开销远低于数十位数学家数年的薪资投入,且速度优势是压倒性的。

时间节点同样具有冲击力:2024年AI在奥数竞赛拿银牌,2025年拿金牌,2026年4月GPT-5.4 Pro解决Erdős第1196号问题,5月推翻延续近80年的平面单位距离猜想,7月Claude Fable推翻提出87年的Jacobian猜想。从竞赛题到开放命题,AI的数学能力跃迁正在加速。

希鸥网认为,这场博弈的赢家不只是Anthropic,还包括整个AI数学研究生态。传统数学期刊的审稿体系、人类数学家的职业护城河、甚至克雷数学研究所的100万美元悬赏机制,都将面临重新定价。获益最大的是那些愿意将AI视为协作者而非工具的研究团队,受损最重的是拒绝调整方法论的个人研究者。

对创业者而言,Jarred Sumner的做法值得拆解。他从未试图手把手教Claude怎么证明,而是设定目标、提供信心、放手试错。这对应创业管理的一条原则:最好的领导者不是给答案的人,而是定义问题并营造信任环境的人。正如那些用血泪教训换来的原则,往往比教科书上的方法论更有生命力——把原则写下来,才能在失败时不会慌乱失据。

创业者的失败记录不是污点,而是决策数据库。Claude第一次尝试的650个点子全部失败,但正是这650次失败排除了大量错误路径,让第二次的60个子智能体少走弯路。失败经历不是用来懊悔的,而是用来提炼原则的原材料。每次失败都藏着一条关于用户的真实反馈或一条供应链的效率边界。

组织力量远大于个人力量,这是Claude数学实验给创业者的另一个信号。60个子智能体各司其职,30个试错未果,却不妨碍整体产出。创业公司也应该设计这种冗余试错机制:让小团队并行探索多个方向,允许部分项目白干,只要验证机制足够高效,组织整体就能在不确定中收割确定性。构建系统比依赖单点英雄更抗风险。

金鸥品牌榜·2026年度创新案例库开放申报了。免费提报,独立评估,入榜品牌将获得电子版《入榜证明》及年度专题公示,优秀案例可获得深度专访+全平台分发。 如需修改或发布文章,请加微信号:sheisceo