综合讨论从十大AI技术趋势，窥见“未来”A · 20天前 · 浏览 472 · 评论 53
Anthropic旗下的AI模型Claude在黎曼猜想证明上取得重大突破，成功将超过2/3（67.25%）的zeta零点确认位于临界线上且为单零点。这一成果打破了数学界过去37年仅将边界推进0.8%的停滞状态。Claude通过计算随变量增长的巨大矩阵，利用矩阵的迹、Hilbert–Schmidt范数及秩-迹不等式，将零点下界推高至67.25%。数论学家Youness Lamzouri随后通过希尔伯特空间不等式简化了证明，将下界问题转化为对关联和的估计，并套用无条件版本的Montgomery定理给出新证明。Axiom团队的AI工具AxiomProver在Youness公布预印本草稿后数小时内，通过形式化验证语言Lean完成了机器级验证。此外，Axiom团队在孪生素数猜想上也取得进展，将素数间隔进一步缩小。
