OpenAI执行长奥特曼(Sam Altman)在和Salesforce CEO Marc Benioff的对谈中，他亲口剧透了OpenAI内部模型的最新进展。

首先，他给出了这样一句判断：「GPT-5.5的水平大概相当于一个普通的数学教授。GPT-5.6，大概能比肩全球排名前1%到2%的顶尖数学教授。」

接下来，他曝出了一个重磅猛料。「在这个代号为Astra的模型之后，我们还有一个内部模型（Post-Astra）。它已经能够解决世界上最顶尖数学家都束手无策的难题。」

与此同时，OpenAI总裁Greg Brockman也在公开场合表示：「我们还在另一个『千禧年大奖难题』上取得了重大进展。」

巧的是，理论电脑界泰斗、德州大学奥斯汀分校教授Scott Aaronson也在最近发布了一篇长文，标题是《奇迹与恐怖的时代》。

文中，这位曾经最顽固的AI怀疑论学者，仿佛经历了「大马士革之路」一般绝望宣告：「AI奇点已经开始了。人类数学家，已经被永远拉下了神坛。」

这次奥特曼的访谈，资讯量非常大。过去，我们评价大模型的理科能力，用的还是高考、奥数题目。但现在，OpenAI的标尺已经变成了「人类顶级学者」。

OpenAI的后Astra模型，果真有这么强大吗？

有网友惊呼：这是个什么怪物？也有人保持警惕：说不定是炒作而已，我们已经看到了聊天记录泄露，AI可能只是「吸收」了人类数学家的灵感，而不是凭空创造。

但无论如何，一个不争的事实是：OpenAI正在用算力，暴力破解人类的智力天花板。

上周，「纳维尔-斯托克斯方程」被突破的传闻，已经让数学界震动。

为此，OpenAI烧掉了至少1,500万美元的算力，让AI硬生生推导出了长达166页的证明过程，并且通过了Lean的严格验证。

甚至，人类数学家们甚至没来得及读懂这166页证明，Greg Brockman就冷不丁宣布：「我们在另一个千禧年难题上，也取得了重大进展。」

这让全世界的神经再次紧绷！目前未解的千禧难题仅剩五个。其中，呼声最高、最让人感到恐惧的，毫无疑问是P与NP问题。

如果AI证明了P=NP，这不亚于人类发现了魔法。这意味着所有加密演算法（包括银行卡密码、核武器发射密码）都可以被瞬间破解；意味着物流、医疗资源分配、新药研发都可以瞬间找到最优解。

也有传闻指出，OpenAI有可能已接近解决霍奇猜想(Hodge conjecture)或BSD猜想。所有线索都指向这个事实：OpenAI手里，或许真的捏着一张终极王牌，将彻底改写人类科学范式。

而理论电脑科学家Scott Aaronson的那篇深夜长文，更是把一切推向高潮。Scott Aaronson，量子计算理论界的泰斗，提出了著名的「玻色采样」（量子霸权的核心基础），更是学术界出了名的「毒舌」和「保守派」。

20年前，当有人警告AI会统治世界时，Aaronson嗤之以鼻：「别扯了！除非哪天AI能解开千禧年数学难题，到那时候你再叫醒我，那时候再恐慌也不迟！」

而今天，他恐惧了。

在这篇名为《奇迹与恐怖的时代》的文章中，Aaronson打出了满萤幕的「A」，来表达强烈的情感冲击：「AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA！」

他写下了一段要载入电脑史册的文字：「在我看来，奇点已经到来了……在剩下的岁月里，我大概再也不会去证明任何一个定理了。因为世界不再『需要』我去证明。如果我还在做数学，那仅仅是为了我自己或他人的娱乐，就像人类下国际象棋一样。」

Aaronson坦言，自己的信念经历了彻底的崩塌与重构。

甚至，他公开向曾被群嘲的AI末日论先驱Eliezer Yudkowsky致敬：「你关于文明最大挑战的预言是对的，而我和其他人都错了。」

最令人破防的，是他文中这样一个细节：当我晚上哄孩子们睡觉时，我的胃里一阵痉挛：他们还能有什么样的未来？他们今天学的什么知识能在那个未来派上用场？

昨天，我13岁的女儿半开玩笑的说，如果她想成为一名数学家，看起来她大概只剩下两周的时间了。

人类该如何接受AI这种近乎神明般的存在？

Aaronson用了一个极具画面感的宗教比喻：「当机器神明解决了纳维-斯托克斯方程和几十个长期未解的数学难题（并且能力每个月都在飞速提升）后，你接受它的现实，就像耶稣驾着发光的云彩重返地球后，你接受耶稣一样——这是认识论上的最低底线。」

不仅如此，现在的AI，正在对整个数学和理论电脑科学进行一场「屠榜」。

Aaronson在文中列出了一份窒息的「战报」，在过去几个月里，以下长期悬而未决的公开问题，纷纷在AI的协助下完成或完全由AI攻克。

Aaronson用《魔戒》中惨烈的攻城战来形容当下的学术圈。「如果你现在去和学术期刊的编辑或会议主席聊天，那场面就像刚铎或洛汗的人类，正绝望地在城墙上加固防御，准备迎接5万名半兽人大军的进攻。人类审稿人别无选择，只能用AI来审阅这些论文，因为如果不这么做，人类的防线瞬间就会被冲垮。」

整个学术共同体正在陷入前所未有的危机——未来的论文怎么署名？是写「作者：GPT-6 Astra」，然后AI在致谢里感谢人类提出了一个好问题吗？

如果连证明过程人类都看不懂，数学研究的意义到底是什么？以陶哲轩为首的25位菲奖得主，紧急发出了抗议公开信。信中没有要求拔掉AI电源，而是提出：我们是否即将失去数学的「人类性」？