OpenAI并未止步于数学界最棘手的公开问题——至少不是为了奖金，因为该公司表示不想要这笔钱。在声称解决纳维-斯托克斯方程数日后，OpenAI告诉《纽约时报》，他们在另一项“千年大奖难题”上取得了“实质性进展”。自2000年以来，克莱数学研究所为七道宏大谜题各悬赏100万美元。
Myriad：哪些公司将率先IPO？点击做出你的预测。
OpenAI尚未说明指的是哪道难题，但专家、爱好者及记者们各有猜测。社交媒体上的讨论聚焦于霍奇猜想——一个1950年提出的关于如何计算复杂几何形状（维度之高无人能直观想象）中“洞”的数量的谜题。数学家威廉·霍奇提出用代数而非几何的捷径来解决，但无人证明该捷径始终有效。OpenAI未确认这一猜测，也未证实背后未发布模型是传闻中面向长时程任务与智能体工作流的Aeon版本的谣言。两者均属推测，而非公司声明。
早在9月8日，OpenAI称一个未发布的内部模型生成了经Lean验证的证明——Lean是一款逐步逻辑校验数学证明的软件——表明描述空气与水等流体运动的纳维-斯托克斯方程可能“爆破”至物理上不可能的无限速度。这一过程动用了约1万个协同AI智能体，耗时约88小时。这超越数学领域意义重大：纳维-斯托克斯方程是飞机设计、天气预报及医生建模血流的基础，近90年来一直缺乏完整数学解释。但宣布过程混乱。纽约大学数学家特里斯坦·巴克斯特在四页声明中阐述：他与Anthropic研究员莱文特·阿尔珀格悄然研究相关证明近一年，于8月22日完成——早于OpenAI的塞巴斯蒂安·布贝克获悉并抢先发布。巴克斯特称布贝克告诉他，要么让OpenAI在其团队完成后第二天发布，要么单独撰写，不含阿尔珀格，因后者在竞争对手实验室。“你为什么要毁了自己的职业生涯？”据称布贝克在其拒绝时如此说道。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
这波AI模型威力强大，令数学显得酷炫。同一周，Anthropic称其Claude模型用11天形式化了有358年历史的费马最后定理证明；数学家陶哲轩警告，AI实验室相互竞速正以快于新题发现的速度耗尽数学中艰深且有用的问题。OpenAI表示并非追逐发表成果后的100万美元奖金，而是将这些问题作为衡量模型进步速度的公公开标尺。下一考验在于克莱研究所或公司外任何数学家能否独立确认其任一主张——过往千年大奖提交确认耗时以年计而非周计。