AI助力数学界突破黎曼猜想的重要进展

在数学领域，刚刚发生了一件引人注目的事件。黎曼猜想，作为数学界的重大难题之一，早在1859年就由数学家黎曼提出。他猜测所有Zeta函数的非平凡零点应当位于实部为1/2的临界线上。谁若能全面证明这一猜测，将会破解横亘在数学界长达160多年的难题。尽管人类在此方面的努力仅证明了约41.6%的零点位于该临界线上，且这个比例在近40年内几乎没有变化，但最近AI的参与改变了这一状况。

上个月，Anthropic公司开发的AI模型Claude采用了直接且计算密集的方法，大量生成矩阵并计算其迹和范数，随后运用复杂的不等式，最终得出67.25%的零点位于临界线。这一发现让数学界震惊，比例从41.6%暴增至67.25%，提升幅度接近26个百分点。然而，当数学家们审视Claude的证明时，却发现该证明复杂难懂，繁琐至极，需耗费大量时间理解。

这时，一位名为Youness Lamzouri的数学家觉得这种证明有待改进。他认为应该存在更为简单明了的证明方式，因此对Claude的冗长证明进行了简化，构建了一个优雅的、直观的证明。这使得他同样证明了67%以上的零点存在于临界线上，较Claude的方式更为简明，赢得了同行的赞誉。 龙8国际登录

然而，事情的进展还远未止步。Lamzouri的新论文发布后，仅几个小时内，另一款AI——AxiomProver就对其进行了全面验证，确认逻辑无误。这标志着对于这样艰深的数学难题，首次实现了论文发布当天的机器验证，颠覆了传统的验证流程。

更令人惊讶的是，就在同一日，Axiom团队宣称在孪生素数猜想方面也取得了新的成就，将已知的素数间隔缩小至212，而不久后，OpenAI的新模型又将其压缩至186。此外，费马大定理也通过Claude得到了形式化验证。

这一系列的事件显示了AI在数学领域的巨大潜力：AI率先打破数学壁垒，人类则运用智慧进行简化，另外的AI快速完成验证。未来，数学的研究和验证工作可能在短短几小时内完成，而不是以往需要数十年的漫长时间。这场变革的到来远远超出了预期，标志着数学研究进入了一个新的时代。 龙8国际登录