黎曼猜想困扰数学界超过 150 年被视为数学最重大未解决问题之一。近日Anthropic 一款未公开发布的 AI 模型在该问题上取得意外进展虽未完全证明但已引起数学界广泛关注。这一成果标志着 AI 在数学推理领域迈出重要一步也让人们重新审视大型语言模型在符号逻辑与抽象思维上的潜力。一、AI 为何盯上黎曼猜想黎曼猜想由德国数学家波恩哈德·黎曼于 1859 年提出核心涉及黎曼 ζ 函数零点的分布规律。简单来说它断言该函数所有非平凡零点的实部都等于 1/2。尽管无数数学家投入毕生精力这一猜想至今仍未得到严格证明并被列入千禧年七大数学难题之一。据 TechCrunch 报道Anthropic 的未发布模型在这个古老问题上取得了超出预期的进展。虽然模型并未完全解决黎曼猜想但其推理过程中展现出的某些突破性思路已让参与评估的数学家感到惊讶。“我们并未期望 AI 能直接证明黎曼猜想——但它在探索路径上展示出的创造性与严谨性超出了最乐观的估计。”——一位接近 Anthropic 研究团队的消息人士表示。二、AI 数学推理的质变时刻传统上大语言模型在数学任务中常被诟病为混淆相关与因果擅长模仿而非推理。但 Anthropic 这次的表现似乎有所不同模型不仅整合了已知的解析数论工具还尝试构造了非传统的辅助函数来逼近临界线。一个关键细节是该模型并未通过网络搜索或外部数据库获取额外信息仅依靠训练阶段积累的数学知识进行自主推导。这种封闭式推理方式被一些研究者视为通往 AI 数学家路线上的关键一步。三、编者按AI 与数学的共生关系AI 辅助数学研究并非新鲜事。早在 2018 年DeepMind 的 AlphaZero 便从零开始掌握了围棋和象棋而近年来机器学习已被用于发现新的矩阵乘法算法。但黎曼猜想属于纯数学的极致抽象领域其难度远超应用数学范畴。Anthropic 此次的成果虽然仅限于阶段性进展却具有象征意义它表明大模型不仅能处理人类已有的知识结构还可能提出人类尚未想到的证明路径。数学史上许多重大突破都源于惊人的直觉跳跃——如果 AI 能够模仿甚至超越这种直觉那么下一个拉马努金未必是人类。当然我们也需保持冷静。未发布模型的测试结果尚未经过同行评审其推理过程也可能存在隐藏的假设错误。但值得肯定的是Anthropic 选择以公开方式讨论这次实验而非像过去那样将 AI 数学能力作为营销噱头这在 AI 伦理与透明度方面树立了良好榜样。四、未来展望目前Anthropic 尚未公布该模型的正式发布计划也没有透露它将如何整合到现有产品中。但业界普遍猜测这一未发布模型可能基于 Claude 系列的后继架构并可能在未来几个月内以研究预览的形式面向学术机构开放。无论黎曼猜想的最终证明将落于谁手这次实验都再次说明了一件事AI 正从简单的计算器进化为思考者。对于数学这门古老学科而言变化才刚刚开始。本文首发于赢政天下 (https://www.winzheng.com)获取更多深度技术内容与资源欢迎访问官网。