深入了解Claude的数学能力——Anthropic

Anthropic 的 AI 模型 Claude 在数学领域取得了一项令人瞩目的突破：它将黎曼 zeta 函数零点位于临界线上的已知比例下限，从 41.6% 大幅提升至 67.2%。这一成果虽然未能直接证明著名的黎曼猜想，但已远超人类数学家此前数十年积累的进展，成为 AI 在数学推理能力上快速演进的最新例证。 黎曼猜想是数学界最著名的未解难题之一，自 1859 年提出以来，至今悬而未决，并悬赏百万美元求解。它描述的是素数分布的内在规律：黎曼 zeta 函数的零点位置决定了素数的精细分布，而猜想的核心是这些零点都位于复平面上一条特定的垂直直线上。虽然无人能证明或推翻该猜想，但数学家们一直在多个相关方向上推进研究，其中一项就是量化满足猜想的零点比例下限。此前，人类数学家经过数十年努力，将这一比例从零逐步提升至 41.6%。 Claude 的突破在于，它创造性地将 Baluyot、Goldston、Suriajaya 和 Turnage-Butterbaugh 等数学家近年来的系列研究成果，与 Bombieri 在 2000 年发表的经典论文相结合，找到了一条超越此前最优下限的新路径。Anthropic 的两位数学家对 Claude 生成的论文进行了研究和验证，并请来了该领域的两位专家 Brian Conrey 和 Dan Goldston 对结果进行快速审查。Claude 还生成了可正式验证的证明，确保其结论的可靠性。 从技术层面看，Claude 构建了一个由 Weil 诱导的二次型函数空间，并同时考虑正定与负定子空间，分别对应位于线上和线外的零点。它通过写出关于二次型秩的不等式，结合一阶和二阶矩信息，最终得出了新的下限。Anthropic 团队表示，Claude 敢于将整个空间一并处理，允许二次型非对角化，正是这一关键步骤使其能够在前人工作基础上取得突破。 尽管 Claude 的这一成果令人振奋，Anthropic 也明确表示，预计其使用的技术路线不会直接导向黎曼猜想的最终证明。但这一事件本身传递了一个重要信号：AI 模型的数学能力正在以惊人的速度进化。对于跨境电商和 AI 从业者而言，这不仅是数学界的新闻，更预示着 AI 在复杂推理和创造性问题解决方面的潜力正在快速释放——未来，这类能力有望在供应链优化、市场预测、金融风控等商业场景中发挥越来越重要的作用。