奥特曼曝后Astra模型已超越全球顶尖数学家

在和Salesforce CEO Marc Benioff的对谈中，奥特曼剧透了OpenAI内部模型的最新进展。他判断：“GPT-5.5的水平大概相当于一个普通的数学教授。GPT-5.6，大概能比肩全球排名前1%到2%的顶尖数学教授。”随后他曝出重磅消息：“在这个代号为Astra的模型之后，我们还有一个内部模型（Post-Astra）。它已经能够解决世界上最顶尖数学家都束手无策的难题。”OpenAI总裁Greg Brockman也表示：“我们还在另一个‘千禧年大奖难题’上取得了重大进展。”

理论计算机界泰斗Scott Aaronson随后发布长文《奇迹与恐怖的时代》，宣告：“AI奇点已经开始了。人类数学家，已经被永远拉下了神坛。”过去评价大模型理科能力用的是高考、奥数题，如今OpenAI的标尺已变成“人类顶级学者”。GPT-5.5能日常推导公式、看懂前沿论文、批改高阶数学作业；GPT-5.6具备在一流学术期刊发表原创数学发现的能力；后Astra模型则超越全球最强数学家，不再是助手而是导师。

上周，“纳维尔-斯托克斯方程”被突破的传闻已让数学界震动。OpenAI烧掉至少1500万美元算力，让AI推导出长达166页的证明，并通过Lean严格验证。人类数学家还没读懂，Brockman就宣布另一个千禧年难题也取得重大进展。目前未解的千禧难题仅剩五个：P与NP问题、黎曼猜想、杨-米尔斯规范场与质量间隙、霍奇猜想、BSD猜想。其中P与NP问题最令人恐惧——若AI证明P=NP，所有加密算法都可瞬间破解，物流、医疗、新药研发也能瞬间找到最优解。也有传闻称OpenAI可能已接近解决霍奇猜想或BSD猜想。

Aaronson在文中打出满屏“A”表达情感冲击，写道：“在我看来，奇点已经到来了……在剩下的岁月里，我大概再也不会去证明任何一个定理了。因为世界不再‘需要’我去证明。”他坦言信念彻底崩塌，并向AI末日论先驱Eliezer Yudkowsky致敬：“你关于文明最大挑战的预言是对的，而我和其他人都错了。”他提到哄孩子睡觉时胃里痉挛，13岁女儿半开玩笑说，如果想成为数学家，大概只剩下两周时间了。他用宗教比喻形容接受AI神明如同接受Jesus驾云重返地球。

Aaronson还列出“战报”：雅可比猜想的反例由Anthropic研究员靠AI模型Fable随手跑出；黎曼几何中格罗滕迪克常数的边界被极大改进；费马大定理在Lean中完成全面形式化验证；量子计算领域证明了Watrous的解缠结猜想等。他用《魔戒》攻城战形容学术圈：人类审稿人别无选择只能用AI审阅论文，否则防线瞬间被冲垮。未来论文如何署名？如果连证明过程人类都看不懂，数学研究的意义是什么？以陶哲轩为首的25位菲奖得主紧急发出抗议公开信，提出：我们是否即将失去数学的“人类性”？

面对这种绝望，硅谷和顶尖高校正发生“人才大逃亡”。无数天才物理学家、数学家，如普林斯顿高等研究院的Mike Winer，纷纷放弃学术前途，转投AI安全与对齐领域。因为他们意识到，在黑板上推导公式已没有意义。人类现在唯一且最紧迫的任务，是确保这个即将诞生的“机器神明”，不会在醒来的第一秒把全人类当成需要被抹除的Bug。