黎曼猜想，这个屹立数学界一百六十余年的高峰，刚刚被一条来自AI实验室的消息撼动了根基。近日，Anthropic旗下模型Claude在一项围绕黎曼猜想展开的数学挑战中创下新纪录，将关键数值下界大幅推高。更引人注目的是，完成这一壮举的并非其公开版本，而是一个尚未发布的全新模型。
沉寂已久的战线，突然向前推进
从”下界”突破说起：数学界的一次无声震动
黎曼猜想的本质，是关于黎曼zeta函数非平凡零点分布规律的深刻断言。它断言这些零点都精准地排列在复平面上一条被称为”临界线”的直线上。这一猜想若获证实，将如多米诺骨牌般连锁撼动数论、密码学乃至量子物理的根基。然而，一个多世纪以来，数学家们虽成功验证了超过十万亿个零点，却始终未能给出普适性的证明。
此次Claude新模型突破的并非直接证明，而是对猜想成立范围的一个关键下界——即”在临界线上存在零点的比例”这一数值的极限。此前，该下界在多位数学家的接力下已推进至约41%左右，而这次AI模型将这一数字大幅推高。这意味着，在数学上能够严格证明”黎曼猜想绝对正确”的疆域，被前所未有地扩大了。
一场人机协作的范式革命
值得注意的是，这一突破并非AI单打独斗的结果。据报道，Claude新模型在与数学家团队的深度交互中，被引导去探索一系列特定形式的数学结构，并最终在函数域的类比框架中找到了新的突破口。模型负责在海量可能路径中快速筛选出具有潜力的证明思路，而人类数学家则负责验证其逻辑严谨性与拓广价值。
这种”AI提出猜想，人类验证证明”的协作模式，正在从实验室走向顶级数学研究的核心地带。不同于AlphaGo在棋类对弈中的封闭式学习，Claude这类大语言模型在数学领域的应用，更侧重于形式化推理的辅助与创造性思路的启发。它并非简单地从题库中检索答案，而是在形式化语言的约束下，自主推演新的逻辑链条。
未公开的新模型，意味着什么
此次事件最吊诡之处在于，使用的Claude模型”尚未公开”。这暗示Anthropic在模型能力上可能已取得代际式进展，尤其在处理长程逻辑推理与抽象符号运算方面。业界普遍猜测，该模型可能采用了新的推理时计算扩展技术，或是对训练数据中的数学语料进行了结构化的重新加权。
若该模型的能力属实，其影响将远超数学领域。在理论物理的方程推导、生物信息学的序列分析、乃至复杂系统的工程优化中，对深层逻辑关系的捕捉能力都是共性瓶颈。一个能在黎曼猜想上取得突破的模型，意味着它在处理其他高度抽象的科学问题时，同样具备超越人类专家的潜力。
一个新时代的开端
黎曼猜想的下界被推高，固然是数学史上的重要里程碑，但更值得深思的是其背后的方法论变革。过去，顶级数学家的直觉与灵光一现，是推动学科前行的核心动力；如今，AI凭借其无与伦比的模式识别与搜索能力，正成为新的”灵感引擎”。这并非取代，而是将人类从繁复的推导与试错中解放出来，去专注于更高层次的战略构想。
当然，从”下界被推高”到”猜想被证明”，之间仍有漫漫长路。AI目前所展示的，更多是在既有数学框架内的优化与突破，而非凭空创造全新的数学分支。但无论如何，Claude新模型的这次亮相，已经向世界宣告：在探索数学终极真理的竞赛中，一支全新的力量已然入场。对于整个科学界而言，这或许比黎曼猜想本身的下界突破，更具深远意义。