简讯
- OpenAI告诉《纽约时报》，自9月8日解决纳维-斯托克斯问题以来，它在第二个千禧年大奖难题上已取得了“实质性进展”，但未点名该难题或披露时间表。
- 网络上流传的猜测（OpenAI尚未确认）指向霍奇猜想，这是一个已有76年历史的难题，涉及计算复杂几何形状中的“洞”的数量。
- 克莱数学研究所对OpenAI纳维-斯托克斯证明的审查仍在等待中，与数学家特里斯坦·巴克马斯特（Tristan Buckmaster）的另一项署名权争议仍未解决。

OpenAI并未停止从数学最难的未解问题中获取收益——至少不在署名权方面如此，因为该公司表示并不想要这笔奖金。

在声称解决了纳维-斯托克斯方程数天后，OpenAI告诉《纽约时报》，它在另一个千禧年大奖难题上取得了“实质性进展”。这是克莱数学研究所自2000年以来资助100万美元奖金的七大宏伟谜题之一。

OpenAI仍未透露它指的是哪道难题，但专家、爱好者和记者们都有自己的理论。

社交媒体上的热议集中在霍奇猜想上。这是1950年提出的一个谜题，关于如何计算复杂几何形状中的“洞”——即那些维度多到人类无法想象其形态的形状。数学家威廉·霍奇（William Hodge）提出用代数而非几何来简化计算，但尚未有人证明这种简化方法总是有效。

OpenAI尚未证实这一猜测，也未确认有关幕后未发布模型是传闻中的“Aeon”版本的传言（该版本专为长时间范围任务和智能体工作流构建）。这些都只是猜测，而非公司声明。

gpt-6-astra
gpt-6-astra-aeon
^ 约30分钟前在Codex Desktop中出现的statsig功能标志新增了以下缩写
“aeon”意为“无法估量的或无限漫长的时期、时代或永恒”
— leo 🐾 (@synthwavedd) 2026年9月3日

早在9月8日，OpenAI表示，一个未发布的内部模型生成了一份Lean验证的证明。Lean是一种逐逻辑步骤检查数学证明的软件，该证明显示描述空气和水等流体运动的纳维-斯托克斯方程可以“爆炸”成物理上不可能的无限速度。达到这一成果大约需要10,000个协调一致的AI智能体共同工作88小时。

这不仅仅在数学界意义重大。纳维-斯托克斯方程是飞机设计、天气预报和医生建模血流的基础，而在近90年里，它一直未能得到完整的数学解释。

然而，这项公告引发了混乱。纽约大学数学家特里斯坦·巴克马斯特发表了一份四页声明，阐述了他的立场：他与Anthropic研究人员Levent Alpöge安静地追逐了一个相关的证明，历时近一年，并在8月22日之前完成——早于OpenAI的塞巴斯蒂安·比贝克（Sébastien Bubeck）得知此事并抢先发表。

巴克马斯特称，比贝克告诉他，要么让OpenAI在他的团队之后一天发表，要么独自撰写，不带Alpöge，因为后者在竞争对手实验室工作。据称，当巴克马斯特拒绝时，比贝克对他说：“为什么要毁掉你的职业生涯？”

这一波新一代AI模型如此强大，以至于让数学看起来变得很酷。同一周，Anthropic表示其Claude模型在11天内形式化了费马大定理的358年历史证明；数学家陶哲轩警告说，AI实验室之间的竞赛正在以比发现新问题更快的速度消耗数学界硬且有用的难题库存。

OpenAI表示，它追逐100万美元奖金的目的不是为了发表任何结果——而是将这些问题作为衡量其模型改进速度的公开标尺。这把标尺的下一个考验是，克莱研究所或公司以外的任何数学家能否独立确认其中的任何一个主张——而对于过去的千禧年大奖提交，这个过程往往花费数年，而非数周。