惊天突破！连破两道千禧难题，OpenAI彻底改写人类数学史

就在几天前，全网还在讨论OpenAI用88小时、上万AI智能体协同作战，拿下困扰人类近百年的纳维-斯托克斯方程。消息刷屏的热度还没褪去，社交媒体上又爆出更震撼的传闻：OpenAI距离验证霍奇猜想已经很近，而它的竞争对手Anthropic，也在BSD猜想的赛道上紧追不舍。

短短数日，原本安静沉寂的数学界，突然变成AI巨头的竞速赛场。七道悬赏百万美元的千禧年大奖难题，在二十多年里只被人类数学家啃下一道，如今却接连传出被AI突破的消息。很多人开始惊呼，这已经不是AI辅助科研，而是机器正在触碰人类智力皇冠上最坚硬的宝石。但热闹背后，我们也要分清传闻、官方进展与学界认定之间的边界，看懂这场发生在数学世界的巨变。

一、尘封二十多年的数学圣杯

2000年，克雷数学研究所公布七大千禧年难题，每一道都代表着当代数学最深的未知领域，任何一道完整证明，获奖者都能拿到100万美元奖金。选题覆盖流体、拓扑、数论、量子场论，随便拎一个出来，都足够顶尖数学家耗尽半生去钻研。

在这之后漫长的二十多年，人类只交出一份答卷。2003年，俄罗斯数学家佩雷尔曼成功证明庞加莱猜想，随后拒绝奖金，淡出大众视野。剩下六道难题，一直静静躺在数学界的待办清单里，无数学者投入研究，只能拿到零星的阶段性成果，没人能敲开最后的大门。

这个平静的局面，在2026年9月被彻底打破。OpenAI对外官宣，调动上万智能体，耗时88小时完成纳维-斯托克斯方程的证明，同步放出长达166页论文和Lean形式化验证代码。消息一出，科技圈震动。不过有一点需要留意：目前只是OpenAI单方面公布成果，克雷数学研究所还没有完成最终审定，按照规则，一份数学证明要经过期刊发表、全球同行反复核验，多年无漏洞，才算真正被学界认可。OpenAI也表示，不会申领这100万奖金。

但这件事像推倒了多米诺骨牌。两天之后，《纽约时报》披露，OpenAI在另一道千禧年难题上已经拿到实质性进展，正在斟酌如何对外公布。X平台上爆料迅速发酵，大家普遍猜测，这个目标就是霍奇猜想。与此同时，另一家AI公司Anthropic也传出消息，正在攻坚BSD猜想，部分验证工作已经启动。

如果这些传闻最终属实，短短一个月之内，三道千禧年难题会被AI接连攻克。一周前还有六道未解难题，届时榜单上可能只剩下黎曼假设、PvsNP、杨-米尔斯规范场与质量间隙这三道难题。这样的速度，放在过去根本无法想象。

二、霍奇猜想：高维空间里寻找几何和代数的对应关系

很多人看到名字就觉得头大，其实霍奇猜想的核心，是在高维世界里寻找一套通用的“翻译规则”。

数学家研究的代数簇，是多元多项式方程解构成的高维形体，远超我们肉眼能够感知的三维世界。拓扑学可以把这些复杂形体拆解成不同维度的结构碎片，提取出叫做霍奇类的拓扑特征，用来描述形体内部隐藏的纹理。

霍奇猜想提出的疑问很简单：这些抽象的拓扑纹理，是不是每一个都能用代数方程片段拼接出来？换个通俗说法，高维空间里每一种天然的拓扑结构，背后是否都对应一份代数“配方”。

学界对这个猜想一直分歧巨大。一部分学者坚信猜想成立，另一批研究者则一直在寻找反例，只要找到一个有效的反例，就可以直接证伪。四维以下的特殊场景早就被证明，但四维及更高维度，一直是无人踏足的深水区。有意思的是，寻找反例这件事，恰好是AI擅长的方向。人类数学家在推导时常常一笔带过的“易知”“注意到”，恰恰是推理链条里最难排查的盲区，而AI可以依靠大规模搜索与验证，在海量可能性里寻找突破口。

三、BSD猜想：椭圆曲线背后的密码与数论密码

BSD猜想全称贝赫和斯维讷顿-戴尔猜想，扎根数论，它的诞生，还和上世纪剑桥大学早期计算机试算分不开。

它的主角椭圆曲线，由三次方程定义。这可不是纸上抽象的图形，我们日常网络通信用到的椭圆曲线密码学ECC，根基就在椭圆曲线。当年怀尔斯证明费马大定理，最核心的工具也是椭圆曲线。

数论领域最头疼的问题之一，就是求解椭圆曲线有多少有理数解，这个数量指标被称作“秩”，人工计算难度极高。BSD猜想搭建起一座桥梁：椭圆曲线有理解的数量和结构，全部藏在配套的L函数里面。L函数在特定位置是否等于零、零点阶数，能够精准对应椭圆曲线的有理解。

一旦BSD猜想被完整证明，困扰数学界上千年的同余数问题，也会随之解决。这也是为什么OpenAI和Anthropic都盯上了它，这个猜想的价值，不只是理论数学，还会影响密码学底层逻辑。

四、AGI的标尺，正在被AI一次次拉高

回顾近几年AI的成长路线，我们能清晰感受到衡量标准的变化。

2018年OpenAI定义AGI：可以在大多数具备经济价值的工作上超越人类的自主系统。2024年，官方把AGI拆解成五级阶梯：对话、推理、代理、创新、组织。o1模型发布时，OpenAI自评走到第二级。2025年，大模型在国际数学奥林匹克竞赛拿到金牌成绩；年底，GPT-5.2推导出粒子物理全新公式，AI从辅助工具，慢慢变成科研合作者。

上个月GPT-6Astra亮相，布罗克曼直接喊出“欢迎来到AGI时代”。当时很多人还觉得这是营销话术。直到NS方程的消息传来，再叠加霍奇猜想、BSD猜想的传闻，大众才意识到，评判AGI的门槛一直在被动抬升。

单纯聊天对话、基础逻辑推理早就不算亮点，奥数金牌也慢慢变成前沿模型的标配。当AI开始正面冲击人类顶尖数学家钻研几十年的世纪难题，数学这一被视作人类智力天花板的领域，开始变成大模型的测试基准。

但这里也藏着争议。不少数学家提出担忧：AI可以输出机器验证通过的证明代码，可人类未必能看懂完整的推导思路。如果机器只给出最终答案，却无法把底层逻辑交给人类，这样的证明究竟算不算真正的知识突破。还有成果归属的争论，在NS方程攻关过程中，有数学家团队已经提前探索相关方向，AI成果和前人研究之间的边界该如何划分，学术界还没有统一答案。

现在所有关于霍奇猜想、BSD猜想的消息，一部分是企业放出的进展，一部分是社交平台的传闻，距离被整个数学界盖章确认，还有很长一段路。我们不必直接断定AI已经全面超越人类数学家，但这场竞赛带来的改变已经实实在在发生。

过去，数学家的工作是猜想、推导、试错、漫长验证。未来，AI会成为强大的合作者，快速遍历海量可能性，构造例子，寻找反例，完成繁重的形式化校验。数学家的角色，或许会从埋头演算，转向提出问题、理解AI给出的结论、判断成果的价值。

这个9月，AI接连叩响数学圣杯的大门。不管最终几道猜想能否顺利完成证明，一个新的时代序幕已经拉开：人类智力不再是探索前沿真理唯一的载体。顶尖学者，也必须开始思考，在超级智能到来的浪潮之中，人类智慧该去往何方。