鉅亨網新聞中心
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電源，而是提出：我們是否即將失去數學的「人類性」？
