不到一个月连破两道千禧年大奖难题？消息称 OpenAI 即将攻克霍奇猜想

9月17日晚间，据《The Information》援引知情人士消息，OpenAI已接近攻克千禧年大奖难题中的霍奇猜想。该传闻发酵前，已有社交平台X用户发帖爆料相关消息，《纽约时报》也放出消息称OpenAI过去五年在另一道千禧年难题上取得实质性进展，正在评估公布方案。这是继当地时间9月8日宣布其内部未公开模型攻克纳维-斯托克斯存在性与光滑性问题后，不到半个月传出的又一重磅数学突破消息，若进展属实，人类将在一个月内见证三道困扰数学界数十年的千禧年大奖难题被AI接连解决。

纳维-斯托克斯难题刚被攻破 霍奇猜想突破传闻紧随其后

OpenAI于9月8日正式宣布，其内部性能远超最新发布的GPT-6 Astra的未公开模型，已成功解决纳维-斯托克斯存在性与光滑性问题，该问题是克莱数学研究所2000年提出的七道千禧年大奖难题之一，每道悬赏100万美元。据知情人士透露，OpenAI为解决该问题已投入数百万美元成本，使用的是下代预训练模型的变体，代号为“Doug”，模型调用约1万个AI智能体，耗时88小时生成了166页证明论文，同时附带了可通过检验的Lean形式化验证代码。
知情人士指出，OpenAI员工预计霍奇猜想将在不久后得到解决。让前沿模型挑战从未有人解决过的数学难题，是判断模型复杂推理能力的重要方式，若模型能攻克纳维-斯托克斯、霍奇猜想这类顶级难题，也足以证明其有能力处理生物学、化学等领域难度相当的问题。

霍奇猜想核心命题公开 拓扑代数关联等待AI验证

霍奇猜想由英国数学家威廉·霍奇于1950年国际数学家大会上提出，同样属于千禧年大奖难题，悬赏金额为100万美元。其核心研究的是由多项式方程定义的几何形状中，抽象的拓扑特征能否始终用更具体的代数闭链拼接表达，通俗来说就是高维空间的每一种拓扑“纹理”，是否都必然对应着一份确切的代数“配方”。
四维及以下的特殊情形早已被数学家证明，但四维及以上的广袤领域至今仍是未解难题，学界对猜想的真伪分歧极大，部分学者坚信其成立，另一部分则致力于构造反例证伪。AI依托超强算力优势，可精准切入人类数学家常忽略的“易知”细节，无论是构造反例还是完成完整证明都有独特优势。

头部AI实验室数学竞速白热化 递归自我改进进程加速

OpenAI部分研究人员认为，继软件工程之后，数学是大模型最自然的下一块试验场，两者都依赖一步步的逻辑推理，且结果往往可以自动验证对错。部分研究员判断，过去一年席卷软件工程领域的自动化进程，未来6至9个月也可能在数学领域上演。
值得注意的是，OpenAI此次用于突破难题的新模型代号为“Aeon”，其数学推理能力大幅超越此前的Astra模型，从零开始训练到彻底解决纳维-斯托克斯方程仅耗时88小时。与此同时，OpenAI的竞争对手Anthropic也同步向第三道千禧年难题BSD猜想发起最后冲锋，部分工作已进入验证阶段，两家头部实验室的暗中竞速已进入白热化阶段。攻克高难度数学问题还能推动机器学习研究本身实现自动化，是AI开发商实现“AI开发AI”递归式自我改进的关键一步。

优先权争议尚未平息 OpenAI拟合作发布成果避公关危机

OpenAI此前宣布攻克纳维-斯托克斯方程时便引发巨大争议，纽约大学数学家Tristan Buckmaster公开质疑其成果与自己和Anthropic研究员Levent Alpöge的研究路线高度相关，而双方同样使用了AI辅助研究。OpenAI否认研究人员提前看过相关工作，但承认不排除使用OpenAI工具时留下数据痕迹、辅助模型学习的可能，这场优先权争议至今未完全平息。
针对此次霍奇猜想的潜在突破，即便OpenAI已经取得实质进展，也可能不会立即对外公布，公司正考虑如何与数学界合作发布消息，避免再次酿成公关危机。