166页数学证明，烧掉1500万美元算力。
2026年9月8日，OpenAI宣布：内部AI模型成功解决了纳维-斯托克斯存在性与光滑性问题——七大千禧年大奖难题之一。
9月17日又传出消息：OpenAI已接近攻克第二道——霍奇猜想。
7道千禧年难题，2000年提出，26年过去只被人类解决过1道。现在AI一个月要连破两道。
纳维-斯托克斯凭什么值100万美元？
纳维-斯托克斯方程描述流体运动。血液怎么流、洋流怎么动、飞机气流怎么分布，全靠这组方程。
但数学家一直证明不了一个核心问题：三维不可压缩流体，从平滑初始条件出发，会不会在有限时间内出现"奇点"——速度或能量突然无穷大，方程崩溃。
我们天天用这方程算天气、设计飞机，但没人能从数学上证明它一定靠谱。
OpenAI的AI证明了：平滑三维流体运动确实会在有限时间内出现数学奇点。
证明166页，通过Lean形式化验证——数学界最严格的机器验证标准。
问题是，大部分数学家还没读完这166页。
后Astra模型：超越全球最强数学家
奥特曼最近剧透内部模型能力等级：
- GPT-5.5 ≈ 普通数学教授
- GPT-5.6 ≈ 全球Top 1%-2%顶尖教授
- 后Astra模型 ≈ 超越全球最强数学家
后Astra代号"Doug"，纳维-斯托克斯证明就是它做的。
奥特曼原话："这个模型已能解决世界顶尖数学家都束手无策的难题。"
理论计算机泰斗Scott Aaronson——曾经最顽固的AI怀疑论者——发长文《奇迹与恐怖的时代》："AI奇点已经开始了。人类数学家，已被永远拉下神坛。"
争议：这算"偷"吗？
OpenAI宣布证明后，纽约大学教授Tristan Buckmaster公开指控：OpenAI偷了他们未发表的研究。
Buckmaster正和Anthropic的数学家合作，用AI辅助研究同一问题。他声称OpenAI"吸收"了他们私有的AI辅助研究数据，抢先发布。
Anthropic据传也在攻克纳维-斯托克斯，甚至可能更早得出结果。但OpenAI用1万个并发AI Agent（一周消耗1300亿token、2300万美元）暴力穷举，把证明"砸"出来了。
AI研究的速度，已经快到人类学术伦理规范都跟不上了。
P与NP：如果下一道是它
千禧年7道题里，最让人恐惧的是P与NP问题。
P=NP意味着所有"验证答案很容易"的问题，"找到答案也同样容易"。
如果成立——
- 所有加密算法（银行卡、核武器密码、区块链）可被瞬间破解
- 物流、新药研发可瞬间找到最优解
- 蛋白质预测、气候模型全有了"快进键"
这不是技术进步，是规则重写。
目前没有证据表明OpenAI在攻P=NP，但按现在速度谁也说不准。
当AI能解决的问题超出人类理解能力，我们怎么知道它是对的？
Lean验证能保证逻辑无误，但概念是否合理、假设是否成立、证明是否有物理意义——这些判断仍需人类。
如果AI证明越来越长越来越复杂，人类连"看懂"都做不到时，数学还是人类的数学吗？
AI会在5年内解决P=NP吗？解决了是好事还是坏事？
热门跟贴