新智元报道
刚刚，奥特曼又曝新料了。
在和 Salesforce（一家美国云计算软件公司）CEO Marc Benioff 的对谈中，他亲口剧透了 OpenAI 内部模型的最新进展。
首先，他给出了这样一句判断：「GPT-5.5 的水平大概相当于一个普通的数学教授。GPT-5.6，大概能比肩全球排名前 1% 到 2% 的顶尖数学教授。」
接下来，他曝出了一个重磅猛料。
「在这个代号为 Astra 的模型之后，我们还有一个内部模型（Post-Astra）。它已经能够解决世界上最顶尖数学家都束手无策的难题。」
与此同时，OpenAI 总裁 Greg Brockman 也在公开场合表示：「我们还在另一个『千禧年大奖难题』上取得了重大进展。」
巧的是，理论计算机界泰斗、德州大学奥斯汀分校教授 Scott Aaronson 也在最近发布了一篇长文，标题是《奇迹与恐怖的时代》。
文中，这位曾经最顽固的 AI 怀疑论学者，仿佛经历了「大马士革之路」一般绝望宣告：「AI 奇点已经开始了。人类数学家，已经被永远拉下了神坛。」
后 Astra 模型，超越全球最强数学家
这次奥特曼的访谈，信息量非常大。
过去，我们评价大模型的理科能力，用的还是高考、奥数题目。但现在，OpenAI 的标尺已经变成了「人类顶级学者」。
- GPT-5.5 = 普通数学教授。 这意味着它可以日常推导公式、看懂前沿论文、给本科生甚至研究生批改高阶数学作业。
- GPT-5.6 = Top 1%–2% 的顶尖教授。 这意味着该模型已经具备了在一流学术期刊上发表原创性数学发现的能力，足以在常春藤名校拿到终身教职。
- 后 Astra 模型 = 超越全球最强数学家。 这是真正的「神之领域」。它不再是人类的助手，而是人类的导师。它能看到人类大脑无法理解的十一维空间，能理顺数万个变量之间的纠缠。
OpenAI 的后 Astra 模型，果真有这么强大吗？
有网友惊呼：这是个什么怪物？
也有人保持警惕：说不定是炒作而已，我们已经看到了聊天记录泄露，AI 可能只是「吸收」了人类数学家的灵感，而不是凭空创造。
但无论如何，一个不争的事实是：OpenAI 正在用算力，暴力破解人类的智力天花板。
千禧年难题连环倒塌
上周，「纳维尔-斯托克斯方程」被突破的传闻，已经让数学界震动。
为此，OpenAI 烧掉了至少 1500 万美元（约合 1 亿人民币）的算力，让 AI 硬生生推导出了长达 166 页的证明过程，并且通过了 Lean（一款交互式定理证明工具）的严格验证。
甚至，人类数学家们还没来得及读懂这 166 页证明，Greg Brockman 就冷不丁宣布：「我们在另一个千禧年难题上，也取得了重大进展。」
这让全世界的神经再次紧绷！目前未解的千禧难题仅剩五个：
- P 与 NP 问题
- 黎曼猜想
- 杨-米尔斯规范场与质量间隙
- 霍奇猜想
- BSD 猜想
其中，呼声最高、最让人感到恐惧的，毫无疑问是 P 与 NP 问题。
如果 AI 证明了 P=NP，这不亚于人类发现了魔法。这意味着所有加密算法（包括银行卡密码、核武器发射密码）都可以被瞬间破解；意味着物流、医疗资源分配、新药研发都可以瞬间找到最优解。
也有传闻指出，OpenAI 有可能已接近解决霍奇猜想或 BSD 猜想。
所有线索都指向这个事实：OpenAI 手里，或许真的捏着一张终极王牌，将彻底改写人类科学范式。
计算机泰斗的绝望：奇点已来，人类只剩下两周时间了？
而理论计算机科学家 Scott Aaronson 的那篇深夜长文，更是把一切推向高潮。
Scott Aaronson，量子计算理论界的泰斗，提出了著名的「玻色采样」（量子霸权的核心基础），更是学术界出了名的「毒舌」和「保守派」。
20 年前，当有人警告 AI 会统治世界时，Aaronson 嗤之以鼻：「别扯了！除非哪天 AI 能解开千禧年数学难题，到那时候你再叫醒我，那时候再恐慌也不迟！」
而今天，他恐惧了。
在这篇名为《奇迹与恐怖的时代》的文章中，Aaronson 打出了满屏的「A」，来表达强烈的情感冲击：「AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA！」
他写下了一段要载入计算机史册的文字：
「在我看来，奇点已经到来了……
在剩下的岁月里，我大概再也不会去证明任何一个定理了。因为世界不再『需要』我去证明。如果我还在做数学，那仅仅是为了我自己或他人的娱乐，就像人类下国际象棋一样。」
Aaronson 坦言，自己的信念经历了彻底的崩塌与重构。
甚至，他公开向曾被群嘲的 AI 末日论先驱 Eliezer Yudkowsky 致敬：「你关于文明最大挑战的预言是对的，而我和其他人都错了。」
最令人破防的，是他文中这样一个细节：
当我晚上哄孩子们睡觉时，我的胃里一阵痉挛：他们还能有什么样的未来？他们今天学的什么知识能在那个未来派上用场？
昨天，我 13 岁的女儿半开玩笑地说，如果她想成为一名数学家，看起来她大概只剩下两周的时间了。
人类该如何接受 AI 这种近乎神明般的存在？
Aaronson 用了一个极具画面感的宗教比喻：「当机器神明解决了纳维-斯托克斯方程和几十个长期未解的数学难题（并且能力每个月都在飞速提升）后，你接受它的现实，就像 Jesus 驾着发光的云彩重返地球后，你接受 Jesus 一样——这是认识论上的最低底线。」
学术界的至暗时刻：连「审稿」都打不过机器人了
不仅如此，现在的 AI，正在对整个数学和理论计算机科学进行一场「屠榜」。
Aaronson 在文中列出了一份窒息的「战报」，在过去几个月里，以下长期悬而未决的公开问题，纷纷在 AI 的协助下完成或完全由 AI 攻克。
- 雅可比猜想的反例，竟然是 Anthropic 研究员在世界杯决赛期间，靠着名为 Fable 的 AI 模型随手跑出来的。
- 黎曼几何中格罗滕迪克常数的边界被极大改进。
- 费马大定理在 Lean 中完成了全面的形式化验证。
- 量子计算领域的核心问题：证明了 Watrous 的解缠结猜想，实现了 QMA（量子版的 NP 类问题）的完美完备性证明……
Aaronson 用《魔戒》中惨烈的攻城战来形容当下的学术圈。
「如果你现在去和学术期刊的编辑或会议主席聊天，那场面就像刚铎或洛汗的人类，正绝望地在城墙上加固防御，准备迎接 5 万名半兽人大军的进攻。人类审稿人别无选择，只能用 AI 来审阅这些论文，因为如果不这么做，人类的防线瞬间就会被冲垮。」
整个学术共同体正在陷入前所未有的危机——
未来的论文怎么署名？是写「作者：GPT-6 Astra」，然后 AI 在致谢里感谢人类提出了一个好问题吗？
如果连证明过程人类都看不懂，数学研究的意义到底是什么？
以陶哲轩为首的 25 位菲尔兹奖得主，紧急发出了抗议公开信。信中没有要求拔掉 AI 电源，而是提出：我们是否即将失去数学的「人类性」？
数学不仅仅是判定一个猜想的真伪，它更是一个代代相传的人类社区。人们通过理解、顿悟和交流，感受宇宙法则的极简之美。
如果未来的数学，变成由 AI 公司将数百页人类无法消化的论证拍在我们脸上。
如果人类的角色，彻底沦落为给 AI 当校对员和翻译官，那么，还有哪个天才少年愿意经历十年寒窗的苦读，去进入这个领域？
面对这种绝望，硅谷和顶尖高校正在发生一场「人才大逃亡」。
无数天才物理学家、数学家，例如普林斯顿高等研究院的 Mike Winer，纷纷放弃了原本的学术前途，全面转投 AI 安全与对齐领域。
因为他们意识到，在黑板上推导公式已经没有意义了。
人类现在唯一且最紧迫的任务，是确保这个即将诞生的「机器神明」，不会在醒来的第一秒，把全人类当成需要被抹除的 Bug。
参考资料：
编辑：Aeneas