Claude突破黎曼猜想，人机协同重塑数学未来

近日，人工智能与数学界迎来历史性交汇点——Anthropic开发的AI模型Claude在被誉为“数学界圣杯”的黎曼猜想上实现重大突破。该模型成功证明超过三分之二（67.25%）的非平凡zeta零点位于临界线Re(s)=1/2上，并且均为单零点。这一成果一举打破了过去37年数学界仅将边界推进0.8%的停滞局面，将人类距离彻底解决这一世纪难题的距离缩短至仅剩32.75%。

Claude采用了一种极具“暴力美学”的技术路径：通过计算随变量增长的巨大矩阵，结合矩阵的迹、Hilbert–Schmidt范数及复杂的秩-迹不等式，强行推高零点下界。然而，这种证明方式因充斥大量晦涩的矩阵变换和冗长工具拼接，显得异常臃肿，令顶尖数学家也难以直观理解。

正当学界为AI证明的“非人感”感到困惑时，数论学家Youness Lamzouri展现了人类独有的数学品味。他运用奥卡姆剃刀原理，大幅删减Claude证明中的冗余部分，仅用一条简洁优雅的希尔伯特空间不等式，将复杂问题转化为对关联和的估计，并直接应用无条件版本的Montgomery定理，给出了更为精炼的新证明。

更令人震撼的是，这项突破并未止步于理论层面。在Youness发布预印本后短短几小时内，Axiom团队的AI验证工具AxiomProver便自动将其证明在形式化语言Lean中完成机器级验证。这意味着，黎曼猜想级别的重大成果首次在论文发布的“第一天”就实现了完全的形式化确认。

以此为契机，Axiom团队及相关数学力量迅速将这一人机协同模式拓展至其他难题，在孪生素数猜想上也取得显著进展，进一步缩小了素数间隔。随着AxiomProver等机器验证工具与前沿AI探索的深度融合，传统依赖漫长人工评审的数学研究范式正被彻底改写，一个由人类洞察力与机器计算力共同驱动的数学新纪元已然开启。