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

在和Salesforce CEO Marc Benioff的对谈中，他亲口剧透了OpenAI里面模子的最新推崇。

率先，他给出了这样一句判断：「GPT-5.5的水平约略极度于一个渊博的数学老师。GPT-5.6，约略能并排环球名次前1%到2%的顶尖数学老师。」

接下来，他曝出了一个重磅猛料。

「在这个代号为Astra的模子之后，咱们还有一个里面模子（Post-Astra）。它一经能够惩办世界上最顶尖数学家都无法可想的清贫。」

与此同期，OpenAI总裁Greg Brockman也在公开场所示意：「咱们还在另一个『千禧年大奖清贫』上赢得了紧要推崇。」

巧的是，表面盘算机界巨擘、德州大学奥斯汀分校老师 Scott Aaronson也在最近发布了一篇长文，标题是《古迹与恐怖的期间》。

文中，这位也曾最毅力的AI怀疑论学者，仿佛经验了「大马士革之路」一般散漫宣告：「AI奇点一经初始了。东说念主类数学家，一经被恒久拉下了神坛。」

01

后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手里，有时真的抓着一张终极王牌，将透顶改写东说念主类科学范式。

02

盘算机巨擘的散漫：奇点已来，东说念主类只剩下两周时候了？

而表面盘算机科学家 Scott Aaronson 的那篇夜深长文，更是把一切推向激越。

Scott Aaronson，量子盘算表面界的巨擘，提议了著名的「玻色采样」（量子霸权的中枢基础），更是学术界出了名的「毒舌」和「保守派」。

20年前，当有东说念主告戒AI会总揽世界时，Aaronson嗤之以鼻：「别扯了！除非哪天AI能解开千禧年数学清贫，到其时候你再唤醒我，其时候再惊惶也不迟！」

而今天，他怯生生了。

在这篇名为《古迹与恐怖的期间》的著述中，Aaronson 打出了满屏的「A」，来抒发狠恶的模式冲击：「AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA！」

他写下了一段要载入盘算机史书的笔墨：

「在我看来，奇点一经到来了……

在剩下的岁月里，我约略再也不会去讲解任何一个定理了。因为世界不再『需要』我去讲解。如若我还在作念数学，那只是是为了我我方或他东说念主的文娱，就像东说念主类下外洋象棋雷同。」

Aaronson坦言，我方的信念佛验了透顶的坍弛与重构。

以至，他公开向曾被群嘲的AI末日论前驱 Eliezer Yudkowsky 致意：「你对于好意思丽最大挑战的预言是对的，而我和其他东说念主都错了。」

最令东说念主破防的，是他文中这样一个细节：

当我晚上哄孩子们就寝时，我的胃里一阵痉挛：他们还能有什么样的畴昔？他们今天学的什么学问能在阿谁畴昔派上用场？

昨天，我13岁的儿子半开打趣地说，如若她想成为又名数学家，看起来她约略只剩下两周的时候了。

东说念主类该如何领受AI这种近乎神明般的存在？

Aaronson用了一个极具画面感的宗教比方：「当机器神明惩办了纳维-斯托克斯方程和几十个耐久未解的数学清贫（况兼才智每个月都在赶快进步）后，你领受它的执行，就像Jesus驾着发光的云彩重返地球后，你领受Jesus雷同——这是剖判论上的最低底线。」

03

学术界的至暗时刻：连「审稿」都打不外机器东说念主了

不仅如斯，当今的AI，正在对通盘数学和表面盘算机科学进行一场「屠榜」。

Aaronson在文中列出了一份窒息的「战报」，在已往几个月里，以下耐久悬而未决的公开问题，纷纷在AI的协助下完成或皆备由AI攻克。

雅可比运筹帷幄的反例，尽然是Anthropic预计员辞世界杯决赛技术，靠着名为Fable的AI模子唾手跑出来的！

黎曼几何中格罗滕迪克常数的规模被极大改进。

费马大定理在Lean中完成了全面的形势化考据。

量子盘算规模的中枢问题：讲解了Watrous的解缠结运筹帷幄，终赫然QMA的齐备完备性讲解……

Aaronson用《魔戒》中惨烈的攻城战来刻画当下的学术圈。

「如若你当今去和学术期刊的剪辑或会议主席聊天，其时事就像刚铎或洛汗的东说念主类，正散漫地在城墙上加固翔实，准备管待5万名半兽东说念主雄兵的蹙迫。东说念主类审稿东说念主别无选拔，只可用AI来审阅这些论文，因为如若不这样作念，东说念主类的防地倏地就会被冲垮。」

通盘学术共同体正在堕入前所未有的危险——

畴昔的论文怎样签字？ 是写「作家：GPT-6 Astra」，然后AI在致谢里感谢东说念主类提议了一个好问题吗？

如若连讲解历程东说念主类都看不懂，数学预计的兴趣到底是什么？

以陶哲轩为首的25位菲奖得主，着急发出了抗议公开信。信中莫得条目拔掉AI电源，而是提议：咱们是否行将失去数学的「东说念主类性」？

数学不单是是判定一个运筹帷幄的真伪，它更是一个世代相传的东说念主类社区。东说念主们通过聚积、顿悟和接洽，感受天下规则的极简之好意思。

如若畴昔的数学，酿成由AI公司将数百页东说念主类无法消化的论证拍在咱们脸上。

如若东说念主类的脚色，透顶沉迷为给AI当校对员和翻译官的，那么，还有哪个天才少年景况经验十年读书的苦读，去参预这个规模？

靠近这种散漫，硅谷和顶尖高蜕变在发生一场「东说念主才大遁迹」。

多量天才物理学家、数学家，举例普林斯顿高档预计院的Mike Winer，纷纷烧毁了原来的学术长进，全面转投AI安全与对皆规模。

因为他们意志到，在黑板上推导公式一经没挑升想了。

东说念主类当今惟一且最紧迫的任务，是确保这个行将出身的「机器神明」kaiyun体育官方网站全站入口，不会在醒来的第一秒，把全东说念主类当成需要被抹除的Bug。