OpenAI告知《纽约时报》，在声称解决纳维-斯托克斯问题几天后，公司已在第二个千禧年大奖难题上取得“重大进展”。公司尚未说明具体是哪一个问题，也未提供披露相关工作的时间表。

未经OpenAI确认的网络猜测，主要集中在霍奇猜想上。这是一个已有76年历史的数学问题，涉及如何计算复杂几何形状中的“孔”。该猜想由数学家William Hodge于1950年提出，认为可以利用代数为几何结构的分析提供一种捷径。但目前还没有人证明这种捷径在所有情况下都有效。

七个千禧年大奖难题由克莱数学研究所于2000年设立，每个问题均对应100万美元奖金。七个问题中只有一个——庞加莱猜想——曾被解决；研究所的规则要求，拟议的解决方案必须先获得数学界认可，才能颁发奖金。OpenAI表示，公司并不追逐这笔奖金，而是将这些问题描述为衡量其模型进步速度的公开基准。

OpenAI也未确认有关此次工作涉及一款名为“Aeon”的未发布模型的猜测。据报道，该模型旨在处理长时间跨度任务和智能体工作流。霍奇猜想和Aeon的相关说法都仍未得到验证，也不是公司声明。

猜测中引用的一条社交媒体帖子写道：

gpt-6-astra gpt-6-astra-aeon
^ new slugs added to a statsig feature flag that appeared ~30 mins ago in Codex Desktop
"aeon" means "an immeasurably or indefinitely long period of time, an age, or eternity"
— leo 🐾 (@synthwavedd) September 3, 2026

https://x.com/synthwavedd/status/2095536656023470365?ref_src=twsrc%5Etfw

OpenAI此前关于纳维-斯托克斯问题的声明称，一款尚未发布的内部模型生成了一份经过Lean验证的证明。Lean是一种每次检查一个逻辑步骤、用于验证数学证明的软件。由于这类软件会机械地检查每一个步骤，完成的Lean证明可以由其他人重新核验，而不必仅凭信任接受。该证明涉及这样一个问题：描述空气和水等流体运动的纳维-斯托克斯方程，是否可能“爆炸”成物理上不可能的无限速度。OpenAI表示，这项工作涉及大约10,000个协同工作的AI代理，持续约88小时。这些方程对飞机设计、天气预报以及血流建模都十分重要，而它们近90年来一直未能得到完整的数学解释。OpenAI的声明见OpenAI。

克莱数学研究所尚未完成对OpenAI纳维-斯托克斯证明的审查。另一场关于署名的争议也仍未解决。纽约大学数学家Tristan Buckmaster在一份四页声明中表示，他与Anthropic研究员Levent Alpöge已就相关证明开展了近一年的工作，并于8月22日前完成，随后OpenAI的Sébastien Bubeck得知他们的工作，并试图抢先发表。

Buckmaster表示，Bubeck告诉他，要么允许OpenAI在其团队发表后的第二天发表，要么在没有Alpöge参与的情况下独自撰写论文，因为Alpöge供职于竞争实验室。Buckmaster称，Bubeck在他拒绝后据称问道：“你为什么要毁掉自己的职业生涯？”

这些进展发生之际，AI公司正着手处理越来越困难的数学任务。Anthropic在同一周表示，其Claude模型在11天内将一个有358年历史的费马大定理证明形式化。数学家Terence Tao曾警告称，AI实验室之间的竞争可能会以快于新问题出现的速度消耗数学领域中困难且有用的问题储备。

OpenAI相关说法的下一项检验，将是由克莱数学研究所或公司外部数学家进行独立验证。此前千禧年大奖难题提交方案的审查通常耗时数年而非数周；一旦OpenAI确认具体问题并披露其工作成果，第二个问题也将面临同样的考验。