Claude首次实现黎曼猜想全链条自主验证：涵盖思路生成、多轮审阅、数值检验、论文撰写及Lean形式化证明，获专业数学家交叉验证。成果若确立，将终结百年悬疑，为素数分布理论奠定严格基础。
Anthropic团队披露，AI系统Claude独立完成黎曼猜想关键验证工作——不仅提出新思路，更完整执行了现代数学研究全流程：包括理论推导、交叉审阅（由内部数学家Levent Alpöge与Ralph Furman参与）、同行评议（解析数论专家Brian Conrey与Dan Goldston把关）、论文撰写、大规模数值检验（调用60个协同智能体，执行2400条Shell指令、生成数百Python脚本、完成数千次ζ函数零点验证），并最终构建出可通过Lean定理证明器严格验证的形式化证明，经Comparator工具链全面校验通过。若该成果成立，将首次为素数分布的深层规律提供坚实支撑：即所有非平凡零点均位于临界线Re(s)=1/2上，从而赋予大量依赖黎曼猜想的数学命题以真正严谨基础。此前百年，尽管计算机已验证超万亿个零点均符合，但穷举无法替代逻辑证明——而Claude此次实现了从‘经验确信’到‘形式确证’的根本跨越。
来源：量子位