Anthropic未发布模型挑战黎曼猜想，数学界震动

黎曼猜想，这个困扰数学界长达一个半世纪的核心难题，近日迎来了一位意想不到的挑战者——Anthropic公司一款尚未公开发布的人工智能模型。

AI为何盯上黎曼猜想

黎曼猜想由德国数学家波恩哈德·黎曼于1859年提出，核心涉及黎曼ζ函数零点的分布规律。简单来说，它断言该函数所有非平凡零点的实部都等于1/2。尽管无数数学家投入毕生精力，这一猜想至今仍未得到严格证明，并被列入千禧年七大数学难题之一。

据TechCrunch报道，Anthropic的未发布模型在这个古老问题上取得了“超出预期的进展”。虽然模型并未完全解决黎曼猜想，但其推理过程中展现出的某些突破性思路，已让参与评估的数学家感到惊讶。

“我们并未期望AI能直接证明黎曼猜想——但它在探索路径上展示出的创造性与严谨性，超出了最乐观的估计。”——一位接近Anthropic研究团队的消息人士表示。

AI数学推理的质变时刻？

传统上，大语言模型在数学任务中常被诟病为“混淆相关与因果”，擅长模仿而非推理。但Anthropic这次的表现似乎有所不同：模型不仅整合了已知的解析数论工具，还尝试构造了非传统的辅助函数来逼近临界线。

值得注意的是，该模型并未通过网络搜索或外部数据库获取额外信息，仅依靠训练阶段积累的数学知识进行自主推导。这种“封闭式推理”方式，被一些研究者视为通往真正AI数学家的关键一步。

编者按：AI与数学的共生关系

AI辅助数学研究并非新鲜事。早在2018年，DeepMind的AlphaZero便从零开始掌握了围棋和象棋，而近年来机器学习已被用于发现新的矩阵乘法算法。但黎曼猜想属于纯数学的极致抽象领域，其难度远超应用数学范畴。

Anthropic此次的成果，虽然仅限于“阶段性进展”，却具有象征意义：它表明大模型不仅能处理人类已有的知识结构，还可能提出人类尚未想到的证明路径。数学史上，许多重大突破都源于惊人的直觉跳跃——如果AI真的能够模仿甚至超越这种直觉，那么下一个“拉马努金”未必是人类。

当然，我们也需保持冷静。未发布模型的测试结果尚未经过同行评审，其推理过程也可能存在隐藏的假设错误。但值得肯定的是，Anthropic选择以公开方式讨论这次实验，而非像过去那样将AI数学能力作为营销噱头，这在AI伦理与透明度方面树立了良好榜样。

未来展望

目前，Anthropic尚未公布该模型的正式发布计划，也没有透露它将如何整合到现有产品中。但业界普遍猜测，这一未发布模型可能基于Claude系列的后继架构，并可能在未来几个月内以研究预览的形式面向学术机构开放。

无论黎曼猜想的最终证明将落于谁手，这次实验都再次提醒我们：AI正从简单的“计算器”进化为真正的“思考者”。对于数学这门古老学科而言，变化才刚刚开始。

本文编译自TechCrunch