OpenAI 已向《纽约时报》正式确认，继攻克纳维-斯托克斯问题之后，公司在过去五天内又在另一个千禧年大奖难题上取得实质性进展，目前正在评估如何审慎地对外公布这些结果。最新消息显示，这个被推进的难题正是霍奇猜想。与此同时，Anthropic 也传出接近解决伯奇-斯维讷顿-戴尔猜想。若这些进展全部坐实，意味着封印人类数学界数十年的多个千禧年难题，可能在一个月内被 AI 相继攻破。

支撑这一系列突破的，是外界推测代号为 Aeon 的 OpenAI 全新内部模型。据报道，大约两周前 OpenAI 完成了该模型的训练，其数学推理能力大幅超越两周前被称为世界最强的模型 Astra。更引人注目的是速度：从零开始到彻底解决纳维-斯托克斯方程，Aeon 只用了 88 个小时。这一迭代节奏远超外界预期。

霍奇猜想是克雷数学研究所设立的七大千禧年大奖难题之一，悬赏金额为 100 万美元。它由苏格兰数学家威廉·瓦伦斯·道格拉斯·霍奇提出，霍奇在 1930 年至 1940 年间开展相关研究，并在 1950 年的国际数学家大会上作演讲介绍。该猜想试图连接数学的两个核心领域：拓扑学与代数几何。拓扑学研究柔软的几何特征，关注整体形状，比如一个空间里到底有多少个洞，只要不撕裂形状，路径可以随意弯曲；代数几何则研究刚性的几何特征，研究由严格的多项式方程定义出来的形状，结构固定、无法随意变形。

霍奇猜想断言：在特定的空间（非奇异复代数簇）内部，那些拓扑意义上的洞，每一个都有由代数方程构成的坚硬骨架在支撑。这意味着，原本看起来抽象、难以直接观察的高维拓扑特征，背后都有精确的代数方程作为根源。几十年来，霍奇猜想和伯奇-斯维讷顿-戴尔猜想一直困扰着顶尖数学家。

从产业视角看，这一轮竞赛的背景是头部 AI 实验室在科学前沿的军备竞赛正彻底白热化。随着 Anthropic 传出筹备 IPO 的消息，两家实验室在基础研究层面的角力被进一步放大。AI 生成并验证严肃数学证明，代表它已经具备产出全新科学知识、寻找全新创造性解法的能力——这与以往 AI 主要承担模式识别或内容生成任务有本质区别。

对关注马斯克生态的读者而言，这一动向同样值得留意：大模型战场正从语言能力、编程能力延伸到高难度数学推理，而数学能力往往被视为通向更通用科学发现能力的门槛。SpaceXAI（原 xAI）旗下 Grok 与 OpenAI、Anthropic 等对手在这一维度上的相对位置，将直接影响外界对各家公司技术路线与长期竞争力的判断。

需要指出的是，上述进展目前仍处于「确认取得进展」与「接近解决」的阶段，具体证明是否经得起数学界同行评审、公布方式与时间表均未落定。历史上，重大数学猜想的验证往往需要数年时间，AI 给出的证明同样需要经过严格检验。因此，这些消息在引发兴奋的同时，也应保留对结果最终形态的审慎观察。