OpenAI再传攻克千禧年难题，AI数学竞赛全面提速

距离OpenAI宣布用88小时攻破千禧年难题「NS方程」，仅过去两天，更炸裂的消息传来。X上爆料称，OpenAI据传已接近完成对第二道千禧年难题——霍奇猜想的验证。今天凌晨，《纽约时报》特稿放出OpenAI官方实锤：过去五年，内部团队在另一个千禧年大奖难题取得实质性进展，并准备对外公布。坊间风声已刹不住。OpenAI和宿敌Anthropic似乎正处于极度疯狂的暗中竞速状态，双双向第三道难题「BSD猜想」发起最后冲锋，部分工作甚至已进入验证阶段。若属实，人类将在一个月内亲眼目睹三道困扰数学界数十年的千禧年大奖难题被AI接连挑落。近期密集的数学突破反复传递同一信号：在这个9月，AGI似乎已不再是远期概念，正带着超越人类整体智力上限的势头，直接向ASI演进。

2000年，克雷数学研究所悬赏设立七道千禧年难题，每道奖金100万美元，横跨流体力学、拓扑学、数论、代数几何、计算理论与量子场论，任何一道获解都足以重塑现代数学版图。26年间，人类仅攻克一道。2003年，俄罗斯数学家佩雷尔曼证明庞加莱猜想，随后拒领奖金并淡出学术界。其余六道自此沉寂。

打破僵局的节点出现在前天。OpenAI宣布其内部模型调用约10000个智能体，耗时88小时攻破纳维-斯托克斯方程，并释出166页论文及通过检验的Lean形式化验证代码。紧接着，风向迅速吹向BSD猜想，以及此前人类已有诸多阶段性成果、正待临门一脚的霍奇猜想。学界过往探索迹象多偏向霍奇猜想可能并不成立。若要证伪，只需构造出一个有效反例即可——而这恰恰是AI依仗暴力算力能够精准切入的盲区，也就是人类数学家在黑板上常轻描淡写写下的「易知」与「注意到」。

霍奇猜想由英国数学家威廉·霍奇于1950年在国际数学家大会上提出，属于代数几何范畴，核心在于几何与代数的对应。数学家常研究一类被称为「代数簇」的高维几何形体，其由多元多项式方程的解集构成，维度远超肉眼与空间直觉所能企及的极限。拓扑学工具将复杂形状拆解为不同维度的「构件」，拆解过程中会抽象出一系列拓扑特征（即Hodge类），用于刻画形体内部的深层隐结构。霍奇猜想探讨的核心正是：这些抽象的拓扑结构，能否全部由真实的、具象的代数多项式方程片段（代数闭链）拼接表达？换言之，高维空间里每一种自然的拓扑「纹理」，背后是否都必然对应着一份确切的代数「配方」？学界分歧极大，至今未有定论。四维以下特殊情形早已获证，四维及以上广袤领域仍是深水区。

BSD猜想全称为贝赫和斯维讷顿-戴尔猜想，由英国数学家布莱恩·贝赫与彼得·斯维讷顿-戴尔于20世纪60年代借助剑桥大学早期计算机EDSAC-2的试算提出，稳居数论核心。椭圆曲线由特定三次方程定义，在数论中占据统治地位。当年怀尔斯最终证明费马大定理的关键抓手便是椭圆曲线，现代互联网广泛部署的椭圆曲线密码学（ECC）也奠基于此。围绕椭圆曲线的核心痛点之一，在于计算给定曲线究竟拥有多少个有理数解，这一表征解集规模的指标被称为「秩」，求解过程极其艰深。BSD猜想建立了一座精巧桥梁：椭圆曲线的有理解数量被完整编码在一个与之相伴的L函数之中，L函数在特定点上的解析性质能严丝合缝地对应其有理解的结构与数量。该猜想若获证，困扰数学界千余年的「同余数问题」将一并迎刃而解。

梳理眼下千禧年难题进展：已解决——庞加莱猜想（2003年，佩雷尔曼）；声称解决——纳维-斯托克斯方程（2026年9月，OpenAI宣布攻破，克雷数学研究所待审定）；传闻逼近——霍奇猜想、BSD猜想；暂无突破迹象——黎曼假设、P vs NP、杨-米尔斯规范场与质量间隙。就在一周前，榜单上还有六道未解之谜；眼下可能只剩最后三道悬而未决。所有巨变，全部挤压在这短短数天之内。

2018年，OpenAI在章程中写下AGI经典定义：在大多数具有经济价值的工作上超越人类的高度自主系统。2024年7月，这一目标被拆解为五级阶梯；随着同年底o1模型发布，官方自评推进至第二级。2025年，前沿模型在国际数学奥林匹克中斩获金牌水平成绩；年底，OpenAI借助GPT-5.2证明了粒子物理领域的一个新公式，AI由辅助工具转变为科研协作者。上个月，GPT-6 Astra亮相，格雷格·布罗克曼公开宣告：「Welcome to the AGI era.」伴随这两天纳维-斯托克斯方程的破防，以及后续几道猜想的风声鹤唳，一个可怕的事实浮现：每当技术跨过一道门槛，外界对AGI的衡量标尺就会被动抬高一截。自然语言交互不再稀奇，复杂长程推理习以为常，竞赛夺金亦成标配。当AI开始成规模、正面冲击困扰顶尖学者数十上百年的千禧年难题时，数学这颗人类心智的最高结晶，似乎也正在彻底沦为前沿大模型的试炼基准。那些曾认为自己稳坐人类智力金字塔