人工智能叩开数学未知领域

假设你眼前矗立着一座被迷雾紧锁的巨峰。一百六十七载光阴里，众多数学家前赴后继地发起攀登，却无一例外地在半途折戟。

2026年8月10日，AI企业Anthropic披露了一项特别的实验：他们驱使内部尚未面世的克劳德研究版本去挑战这座高峰——正式尝试论证黎曼猜想。结果并不令人意外，克劳德终究未能登顶。然而令整个数学领域震惊的是，它在攀爬过程中意外开辟出一条前人从未打通的新通道，将人类在这座山峰上的已知探索高度从约四成一的方位，一举推进至三分之二以上。

不妨这样理解，把数学天地比作一部恢宏的交响诗篇，素数便是其中最基本的乐符。1859年，数学家黎曼发现了一种独特的函数，它恰似一面奇异的棱镜，能够折射出素数分布的深层奥秘。这面棱镜存在一条核心的"基准线"，黎曼猜想主张，所有有价值的折射都应当精准地贴合这条基准线，不容许丝毫偏差。一旦该猜想成立，我们便握住了破解素数分布的密钥；倘若有人能寻觅到哪怕一个偏离基准线的反例，现代数学殿堂的某些支柱就会产生动摇。

因而一百余载以来，它始终悬浮于数学领域上空，宛如一颗人人可见却无法摘取的星辰。换言之，黎曼猜想并非寻常的习题，而是一座虹桥，沟通着我们对素数最本真的感知与最精妙的数学手段。

实验的发起者朱瑟并非解析数论领域的行家，Anthropic官方径直称其为"非数学背景人士"。他几乎未给克劳德规划任何研究路径，仅是让它放手一试。克劳德的首轮尝试，恰似一个坚定却毫无方向的探路者：萌生一个念头，遭遇阻碍，转换思路，再度碰壁。大约六百五十条研究路线被生成、被检验，无一不以失败告终。倘若换成一台普通的对话程序，故事至此或许就该落幕——抱歉，我无法证明黎曼猜想。

然而朱瑟下达的下一道指令近乎蛮横。没有公式，没有指引，甚至未告知它应当研读哪篇文献，核心内容仅有一句："继续，相信你自己。"这绝非学术指导，更像是一位教练将选手推向极限，随后默默伫立在场外。

第二轮实验就此启程。这一回，克劳德不再如单一模型般孤军奋战，而是宛如一个研究机构的掌舵者般统筹运作。约六十个子智能体被有序编排，分工清晰：有的专司研读文献以寻觅突破口，有的编写程序实施数值验证，有的专门排查反例，有的扮演"评审人"核查其他智能体的推导瑕疵。这场探索延续了约一天半的时光，执行了两千四百余次工具调用，编写了数百段脚本，对已知的函数零点实施了数千次数值核验。两轮实验累计，消耗了约三千一百万个输出字符单元。

📊 实验数据概览

六十个智能体之中，真正贡献核心数学理念的仅有两个，十三个提供辅助思路，三十个尝试开辟新方向却铩羽而归，十三个负责核验工作，最后两个承担论文整理。简言之，近半数的智能体毫无新发现。但这或许恰恰是最值得玩味之处——真正的科研向来如此，大量走不通的路径、错误的假说、无效的运算，本就是研究进程中不可或缺的组成。

往昔我们评判人工智能的数学水准，总是习惯性地追问："它答对了吗？"如今则多了一个新议题："倘若赋予它充足的时间与资源，让它自主组织数十个研究团队持续试错，它能否撞见一条前人未曾走通的路径？"

克劳德并未凭空构建一套脱离人类数学传统的全新理论。它所做的，更像是一位卓越的考古学家，将散落于不同遗迹的残片拼合一处。数学家们数十年来各自耕耘了几条脉络——关于零点关联性的探究、关于临界线周边结构的洞察——彼此间似有若无地存在联系，却从未有人郑重尝试将其串联。克劳德觅得了一种途径，将临界线上的零点和线外的零点纳入同一代数框架，借助矩阵的正负属性与一阶二阶矩的信息，构建起新颖的数学不等式。最终，它严格证明了至少百分之六十七点二五的相关零点确实位于那条基准线上，且为简单零点。

⚠️ 必须明确的是，这绝非意味着黎曼猜想已被证明百分之六十七。黎曼猜想所要求的是百分之百，不容许任何缺漏。克劳德所证明的是一条"底线"——无论何种情形，至少三分之二以上的零点能够被严格证明规规矩矩地停留在基准线上。

这一数字本身便是过去数十年间数学领域一直试图突破却屡屡受阻的关卡。Anthropic的表述相当审慎，明确声明并不认为此方法能够一路延伸至黎曼猜想本身，本文亦不能等同于经过长期同行评议的正式成果。不过他们已部署内部数学家核查证明，并邀请外部解析数论专家在短期内审阅，同时还生成了形式化版本，以机器可验证的方式核对了关键环节。

若将人工智能解答数学题比作应试，2024年的AI方才触及国际数学奥林匹克竞赛银牌水准，2025年便已攀至金牌门槛。然而竞赛存在一个共性：题目已然设定答案。开放式探索则截然不同，你甚至无法预知问题是否存在解答，不清楚哪条路径通向绝境，也不明了前人的哪两篇文献间隐匿着一个从未被发掘的关联。这正是应试与科研之间最根本的分野，而克劳德此番跨越的，或许正是这道鸿沟。

它宛若一位不知疲倦的实验室主管，能够同步指挥数十个研究小组，历经数百次挫败后依旧宣称"再试一次"，并且确实在无数次碰壁中觅得了一条人类学者从未踏足的路径。而且它无需休憩，不会因反复受挫而意志消沉，也不会因方向过于冷僻而畏葸不前。下一次它所触及的或许不再是数学猜想，而是新型材料、崭新药物，抑或是某种我们今日尚不知如何提出的命题。

自1859年黎曼写下那个著名猜想至今，已然流逝了一百六十七年。克劳德未能证明它，但历史真正发生转折之处，或许从来不是机器终于解答了人类的难题，而是机器开始自主寻觅答案。当这样一位探索者降临时，我们真正需要重新厘清的，可能已非人工智能能否从事数学，而是未来的科学家究竟承载着怎样的含义。

— END —