OpenAI 这两天的消息，一条让人惊讶，一条又很现实。
9 月 8 日，OpenAI 公布了内部模型给出的 Navier–Stokes 问题解答。这是七大千禧年数学难题之一，相关论文和 Lean 形式化证明已经公开。官方公告
9 月 9 日，Tibo 在 X 发帖说，Astra 的需求前所未有。如果这种情况持续，为了优先保障现有用户的体验，可能需要短暂暂停新的 Pro 订阅。Tibo 原帖
放在一起看，很有冲击力：研究端在挑战数学难题，产品端则要考虑怎样让用户稳定用上。
先把两个关键信息讲准：这次公布的是七题中的一道解答；Pro 暂停新订阅仍是有条件的可能措施。
这道题，到底在问什么
Navier–Stokes，中文通常叫纳维–斯托克斯方程。它研究水、空气这类流体怎样运动。
可以想象杯子里的水、空气形成的旋涡。人们能用方程描述这些运动，但有一个基础问题一直很难回答：从平滑的初始状态出发，三维流体的运动会一直保持规则，还是可能在有限时间内出现数学上的“失控”？
Clay 数学研究所在 2000 年公布七大千禧年难题，每题对应 100 万美元奖金，Navier–Stokes 的存在性与光滑性问题就在其中。截至本文核对时，Clay 官网仍把它列在未解决问题中；已解决栏目列出的是庞加莱猜想。Clay 官方介绍
OpenAI 论文提出的结果更具体：在平滑外力作用下，构造一种从静止开始的三维不可压缩流动，让速度在有限时间内变得无界，同时保持动能有界。论文称这满足官方题目中 C、D 两种“解发生崩溃”的表述。论文摘要与定理
图片来源：OpenAI 官方研究公告。图中展示局部流动的向内螺旋和轴向拉伸，用于帮助理解构造，不是现实流体出现无限速度的实拍。
这个结果讨论的是数学模型在特定条件下的行为。它并不意味着水会在现实中突然加速到无穷大，也不能直接推出天气预报或流体仿真从此就全部解决了。
对普通读者，重要的是理解问题的层级：研究者在检查一套广泛使用的方程，究竟能在什么条件下持续成立。
比 GPT-6 Astra 更强的内部模型，做了多少工作
这次最值得注意的一句话，是 OpenAI 对模型的介绍：用于寻找解答的内部模型，能力显著强于 GPT-6 Astra，训练仍在继续。
按照官方披露，找到 Navier–Stokes 解答的团队规模约为一万个并发 AI 智能体。它们在首批智能体启动约 88 小时后得到结果，随后由 GPT-6 Astra 进行 Lean 形式化与验证，又用了约 17 小时。过程说明
这几个数字放在一起，才看得清这次工作的样子。
它包含大规模并行探索、工具使用、研究人员组织和后续验证。用户在聊天框里发一道数学题，和这套研究系统投入的资源，是不同规模的工作。
内部系统寻找证明，GPT-6 Astra 参与后续形式化验证，这两个角色需要分开理解。
这也让“模型进步”有了一个比考试分数更具体的观察对象。现在摆在外界面前的，是一份可以继续阅读、检查和讨论的研究成果。
我们前几天写过 GPT-6 做游戏的案例，里面能看到 AI 参与制作、检查和修改。数学研究把这种长流程协作推向了难度更高的任务，但不能仅凭这次公告，就把内部系统的全部能力算到普通订阅账号上。
有 Lean 证明，就等于已经正式获奖了吗
还需要区分证明材料、独立审查和奖项认定。
OpenAI 的公开仓库提供了 Lean 4 形式化文件，也给出了构建和独立检查的说明。形式化证明的价值，是让推导进入计算机可以逐步检查的体系。公开证明仓库
但研究者仍需要判断：形式化的假设和结论，是否准确对应原来的数学问题；成果怎样承接已有研究；具体证明是否获得领域认可。
Clay 的奖金规则则另有明确流程：在符合要求的出版渠道发表，发表后至少经过两年，并获得全球数学界普遍接受，才满足其考虑候选解答的前提。OpenAI 也表示，不打算为这项结果申领千禧年奖金。Clay 奖项规则、OpenAI 说明
现在可以准确地说，OpenAI 已公开其声称解决这一问题的论文和形式化证明。独立审查、数学界认可和奖金程序，应看各自的进展。
这样的表述并没有降低消息的分量。一个顶级数学问题出现了可供检查的新解答，本身就值得关注。
Tibo 为什么提到暂停新的 Pro 订阅
另一边，用户面对的是更直接的问题：模型很强，能不能稳定使用？
Tibo 的原帖先说，Astra 的需求超出了以往经历，团队正在尽可能采取措施应对。随后，他把优先顺序说得很清楚：先为现有用户维持优质服务。
涉及新订阅的原话是：
we might have to pause new Pro subscriptions for a bit if this continues.
也就是，如果这种情况持续，可能需要暂时暂停新的 Pro 订阅。原帖全文
这句话有三个需要保留的细节：
| 原帖里的范围 | 应该怎样理解 |
|---|
| might、if this continues | 有条件地考虑，尚不能据此宣布已经实施 |
| new Pro subscriptions | 指新的 Pro 订阅，不是所有套餐或所有新账号 |
| for a bit | 暂时性的可能措施，没有给出具体起止时间 |
优先保障老用户，是 Tibo 表达的服务目标；暂停新 Pro 订阅，是为此可能采用的措施。
原帖没有给出老用户专属的新额度，也没有承诺永久保留某种价格、无限用量或自动续费豁免。有关续费、到期后重新购买，以及不同 Pro 档位的具体规则，还不能从这段话推出来。
一边是研究进展，一边是服务容量
两条消息放在同一篇里，最值得思考的是：AI 的能力和用户实际得到的服务，要同时往前走。
研究端需要证明系统能处理更难的任务。对已经付费、每天依赖工具的人来说，等待多久、能连续用多少、任务会不会中断，同样影响价值。
Tibo 的表态传达了一个明确取舍：如果继续接纳新的 Pro 订阅会影响现有服务，就可能先控制新增需求。
不过，没有公开证据表明，这次数学实验直接导致了 Pro 的容量压力。数学公告介绍的是研究投入，Tibo 原帖谈的是 Astra 的用户需求。两者共同反映能力与供给的问题，不能写成已经确认的因果关系。
如果你关心的是现阶段可用的 GPT-6，而不是研究中的内部模型，可以先看 电脑操作的实际用法和 3D 建模案例。这些更适合拿来判断自己的任务能否受益。
已经订阅或准备购买，需要关注什么
已经在用 Pro 的用户，可以重点看后续的实际服务表现和正式通知。Tibo 对老用户体验的重视值得关注，具体权益仍以账号和官方规则为准。
准备购买的人，应先看自己的使用需求，以及购买页面当前是否开放。原帖没有给出停售倒计时，也不足以支持“今天不买以后就买不到”的判断。
需要订阅开通服务，可查看 PayForChat 套餐页。PayForChat 是独立第三方订阅服务，价格、可售方案和处理条件以页面为准；OpenAI 的开放与限流政策会影响实际可用性。已有 Plus 未到期的账号，不能通过 PayForChat 直接升级 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: 原帖没有宣布这些权益。它表达的是优先保障现有用户服务体验，没有给出新的额度、价格或续费规则。
参考来源
更新记录
2026-09-10：核对 OpenAI 数学公告、论文、形式化仓库和 Tibo 原帖；明确七题之一、内部模型与 Astra 的分工，以及暂停新 Pro 订阅的条件性表述。