OpenAI 公布千禧年难题解答，Tibo 说可能暂停新的 Pro 订阅

9 月 8 日 OpenAI 公布内部模型给出的 Navier–Stokes 问题解答，9 月 9 日 Tibo 表示若 Astra 需求持续，可能短暂暂停新的 Pro 订阅。这篇讲清数学成果的实际状态，以及那句表态的准确边界。

一、这道题到底在问什么

OpenAI 这两天的消息，一条让人惊讶，一条又很现实。

9 月 8 日，OpenAI 公布了内部模型给出的 Navier–Stokes 问题解答。这是七大千禧年数学难题之一，相关论文和 Lean 形式化证明已经公开。

9 月 9 日，Tibo 在 X 发帖说，Astra 的需求前所未有。如果这种情况持续，为了优先保障现有用户的体验，可能需要短暂暂停新的 Pro 订阅。

放在一起看很有冲击力：研究端在挑战数学难题，产品端则要考虑怎样让用户稳定用上。

先说这道题本身。Navier–Stokes，中文通常叫纳维–斯托克斯方程，研究水、空气这类流体怎样运动。

可以想象杯子里的水、空气形成的旋涡。人们能用方程描述这些运动，但有一个基础问题一直很难回答：从平滑的初始状态出发，三维流体的运动会一直保持规则，还是可能在有限时间内出现数学上的「失控」？

Clay 数学研究所在 2000 年公布七大千禧年难题，每题对应 100 万美元奖金，Navier–Stokes 的存在性与光滑性问题就在其中。截至核对时，Clay 官网仍把它列在未解决问题中。

OpenAI 论文提出的结果更具体：在平滑外力作用下，构造一种从静止开始的三维不可压缩流动，让速度在有限时间内变得无界，同时保持动能有界。论文称这满足官方题目中 C、D 两种「解发生崩溃」的表述。

这个结果讨论的是数学模型在特定条件下的行为。它并不意味着水会在现实中突然加速到无穷大，也不能直接推出天气预报或流体仿真从此就全部解决了。对普通读者，重要的是理解问题的层级：研究者在检查一套广泛使用的方程，究竟能在什么条件下持续成立。

二、找到解答的内部模型做了多少工作

这次最值得注意的一句话，是 OpenAI 对模型的介绍：用于寻找解答的内部模型，能力显著强于 GPT-6 Astra，训练仍在继续。

按照官方披露，找到 Navier–Stokes 解答的团队规模约为一万个并发 AI 智能体。它们在首批智能体启动约 88 小时后得到结果，随后由 GPT-6 Astra 进行 Lean 形式化与验证，又用了约 17 小时。

这几个数字放在一起，才看得清这次工作的样子。它包含大规模并行探索、工具使用、研究人员组织和后续验证。用户在聊天框里发一道数学题，和这套研究系统投入的资源，是不同规模的工作。

这也让「模型进步」有了一个比考试分数更具体的观察对象。现在摆在外界面前的，是一份可以继续阅读、检查和讨论的研究成果。

但要注意，不能仅凭这次公告，就把内部系统的全部能力算到普通订阅账号上。

三、有 Lean 证明就等于正式获奖了吗

还需要区分证明材料、独立审查和奖项认定。

OpenAI 的公开仓库提供了 Lean 4 形式化文件，也给出了构建和独立检查的说明。形式化证明的价值，是让推导进入计算机可以逐步检查的体系。

但研究者仍需要判断：形式化的假设和结论，是否准确对应原来的数学问题；成果怎样承接已有研究；具体证明是否获得领域认可。

Clay 的奖金规则则另有明确流程：在符合要求的出版渠道发表，发表后至少经过两年，并获得全球数学界普遍接受，才满足其考虑候选解答的前提。OpenAI 也表示，不打算为这项结果申领千禧年奖金。

所以现在可以准确地说，OpenAI 已公开其声称解决这一问题的论文和形式化证明。独立审查、数学界认可和奖金程序，应看各自的进展。这样的表述并没有降低消息的分量，一个顶级数学问题出现了可供检查的新解答，本身就值得关注。

四、Tibo 为什么提到暂停新的 Pro 订阅

另一边，用户面对的是更直接的问题：模型很强，能不能稳定使用？

Tibo 的原帖先说，Astra 的需求超出了以往经历，团队正在尽可能采取措施应对。随后他把优先顺序说得很清楚：先为现有用户维持优质服务。涉及新订阅的原话是，如果这种情况持续，可能需要暂时暂停新的 Pro 订阅。

这句话有三个需要保留的细节。

第一，原帖用的是「might」和「if this continues」，属于有条件地考虑，尚不能据此宣布已经实施。

第二，说的是「new Pro subscriptions」，指新的 Pro 订阅，不是所有套餐或所有新账号。

第三，「for a bit」表示暂时性的可能措施，没有给出具体起止时间。

原帖没有给出老用户专属的新额度，也没有承诺永久保留某种价格、无限用量或自动续费豁免。有关续费、到期后重新购买，以及不同 Pro 档位的具体规则，还不能从这段话推出来。

五、一边是研究进展，一边是服务容量

两条消息放在同一篇里，最值得思考的是：AI 的能力和用户实际得到的服务，要同时往前走。

研究端需要证明系统能处理更难的任务。对已经付费、每天依赖工具的人来说，等待多久、能连续用多少、任务会不会中断，同样影响价值。

Tibo 的表态传达了一个明确取舍：如果继续接纳新的 Pro 订阅会影响现有服务，就可能先控制新增需求。

不过要说明的是，没有公开证据表明这次数学实验直接导致了 Pro 的容量压力。数学公告介绍的是研究投入，Tibo 原帖谈的是 Astra 的用户需求。两者共同反映能力与供给的问题，但不能写成已经确认的因果关系。

已经在用 Pro 的用户，可以重点看后续的实际服务表现和正式通知。准备购买的人，应先看自己的使用需求，以及购买页面当前是否开放。原帖没有给出停售倒计时，也不足以支持「今天不买以后就买不到」的判断。

六、常见问题

Q：OpenAI 把七大千禧年数学难题都解决了吗？

A：没有这项公告。此次公布的是 Navier–Stokes 存在性与光滑性问题的解答，属于七题之一。官方提到曾组织系统探索全部尚未解决的千禧年问题，但不能把探索范围当成解决范围。

Q：这份证明是 GPT-6 Astra 找到的吗？

A：据 OpenAI 说明，寻找证明使用了能力更强的内部模型，GPT-6 Astra 参与了后续 Lean 形式化和验证。普通订阅访问权限不能等同于这套内部研究系统。

Q：Lean 形式化公开后，是否已经得到千禧年奖认可？

A：形式化材料可以供检查，奖项认定则有独立程序。Clay 官方规则包括符合要求的发表、至少两年时间和数学界普遍接受等条件，OpenAI 也表示不打算申领奖金。

Q：ChatGPT Pro 已经停止新用户购买了吗？

A：Tibo 原帖说的是「如果需求持续，可能暂时暂停新的 Pro 订阅」。这条帖文本身不是已经实施停售的通知，具体开放情况看官方后续信息与购买页面。

Q：老用户会因此得到额外额度或永久保价吗？

A：原帖没有宣布这些权益。它表达的是优先保障现有用户服务体验，没有给出新的额度、价格或续费规则。