奥特曼又曝新料了

刚刚，奥特曼又曝新料了。

在和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就冷不丁宣布：「我们在另一个千禧年难题上，也取得了重大进展。」

这让全世界的神经再次紧绷！目前未解的千禧难题仅剩五个。

1.P与NP问题

2.黎曼猜想

3.杨-米尔斯规范场与质量间隙

4.霍奇猜想

5.BSD猜想

其中，呼声最高、最让人感到恐惧的，毫无疑问是P与NP问题。

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

也有传闻指出，OpenAI有可能已接近解决霍奇猜想或BSD猜想。

所有线索都指向这个事实：OpenAI手里，或许真的捏着一张终极王牌，将彻底改写人类科学范式。

计算机泰斗的绝望：奇点已来，人类只剩下两周时间了？

而理论计算机科学家 Scott Aaronson 的那篇深夜长文，更是把一切推向高潮。

Scott Aaronson，量子计算理论界的泰斗，提出了著名的「玻色采样」（量子霸权的核心基础），更是学术界出了名的「毒舌」和「保守派」。