啱啱，奧特曼又曝新料了。
在和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安全與對齊領域。
因為他們意識到，在黑板上推導公式已經沒有意義了。
人類現在唯一且最緊迫的任務，是確保這個即將誕生的「機器神明」，不會在醒來的第一秒，把全人類當成需要被抹除的Bug。