几十年毫无进展的数学难题，被 AI 靠 “搭积木” 实现重大突破？

黎曼猜想是困扰人类百年的顶尖数学难题，Claude 没有直接证明猜想，却取得一项重量级进展：将黎曼 ζ 函数零点比例的无条件下界，从 41.6% 提升至 67.2%，打破数十年的研究停滞。本期播客拆解这次轰动学界的 AI 数学突破：讲清零点比例下界和黎曼猜想的关联，AI 并没有产出全新数学理论，而是把过往几十年分散的经典研究成果，像搭积木一般重新组合。节目还原 AI 科研的完整流程：一次性生成 650 套解题思路全部失败，依靠数十个不同分工的 Agent 协同工作，分工负责构思、探索冷门方向、校验漏洞、整理文稿，形成提出假设、验证、修正的闭环，搭配形式化证明系统完成严谨校验。我们对比 AI 多智能体协作和人类科研团队的差异，探讨 AI 不是单纯代替数学家，而是拓宽数学的探索边界，为科研提供全新工具与思考视角，一起来看懂大模型介入硬核基础科学的真实模样。在小宇宙查看该单集文稿