2026年10月初，沒有預先向學術界打招呼，沒有經過同行評審期刊漫長的審稿流程，OpenAI直接將722篇由未公開前沿大模型撰寫的純數學研究手稿公之於眾。這批手稿被歸攏為372個成果族，內容涵蓋數論、代數幾何、理論電腦科學、流體力學與統計物理等17個前沿領域，甚至直接觸碰了3道享譽世界的千禧年數學難題。此前，純數學向來被視為人類智力皇冠上最堅固的堡壘，需要頂尖學者窮經皓首，才有靈光一閃。然而，AI以極快的運算節奏，一口氣將堆積如山的嚴密證明推到人類學者眼前，在當代科學界引發了一場劇烈的海嘯。
沉睡了160多年的數學明珠與那些未解之謎
在純數學的宏偉大廈裡，數論就像基石，而素數的分佈規律又是基石中的核心。素數也就是那些只能被1和自身整除的整數，比如2、3、5、7、11等。它們如同數字世界的原子，構成了所有整數，但它們出現的位置看上去卻雜亂無章。
1859年，德國數學家黎曼發表了一篇僅8頁紙的論文。他定義了一個特殊的複變函數，即著名的黎曼zeta函數，並提出了一個驚人的猜想。黎曼指出，這個函數所有神秘的非平凡零點，其坐標實部的值都精確地落在1條豎直線上，這條線就是實部等於1/2的黃金分割線。如果這個猜想成立，素數在數軸上的分佈規律就擁有了極其嚴密的精確刻畫。160多年來，黎曼猜想成為了現代數學王冠上最璀璨的明珠，現代解析數論中有上千條定理都是在假定該猜想成立的前提下建立起來的。
證明極其艱難。一個半世紀以來，全世界最聰明的頭腦也沒能征服它，數學家至退而求其次去尋找準黎曼猜想，也就是試圖證明在實部遠離1/2的某個區域裡，絕對沒有零點存在。此前學界最好的進展，也僅僅是證明了在貼近實部等於1的極狹窄邊緣沒有零點，而且隨著高度上升，這個無零點區域還在不斷變窄，數學家甚至無法排除在實部大於0.99的豎直帶狀區域記憶體在反常零點的可能。不僅如此，數論領域還遊蕩著一個被稱作西格爾零點的幽靈，某些特殊函數可能在非常靠近1的實數軸上藏有搗亂的零點，這讓許多關於素數的經典推導始終懸在半空。
除了黎曼猜想，數學界在2000年由克雷數學研究所評選出了7道千禧年大獎難題，每一道都懸賞100萬美元，其中就包括研究複雜幾何形狀與代數方程關聯的霍奇猜想、探索橢圓曲線有理點深層規律的伯奇和斯溫納頓-戴爾猜想，以及描述流體運動本質規律的納維-斯托克斯方程。這些難題猶如冰川絕壁阻擋了數代先驅的步伐，人類甚至做好了再花幾個世紀慢慢攻克它們的準備。
從准黎曼猜想推移到常數破解的數字突圍
這次公開的722篇手稿中，最為引人注目的當屬編號為第003組的成果，它直接將矛頭對準了困擾學界百年的准黎曼猜想。手稿中給出的證明顯示，黎曼zeta函數以及所有更廣泛的狄利克雷L函數，在實部大於7/8的整個半平面區域內，絕對不存在任何非平凡零點。另一份同組的獨立手稿則給出了實部大於11/12的界限證明，並且以非常完備的邏輯徹底排除了一致西格爾零點的存在。
這意味著AI將此前牢牢卡死人類的安全邊界向中心硬生生推進了一大步。雖然這距離最終的1/2線仍有一段距離，但在解析數論學者眼中，把無零點區域推進到一個固定的常數邊界，並徹底驅逐潛伏在1附近的特殊反常零點，已經是該領域半個世紀以來最具顛覆性的跨越。
驚喜與震動並沒有在數論領域止步。編號為第004組的手稿把目標鎖定了有理數域上的希爾伯特第10問題。早在1900年，數學大師希爾伯特就提出了一個宏偉設想：能否找到一套通用的機械計算流程，只要輸入任意一個多元整數係數多項式方程，就能自動判斷它是否存在整數解。1970年，學者們已經證明了整數範圍內的通用演算法根本不存在。可是，一旦把尋找解的範圍放寬到由兩個整數相除構成的有理數範圍，這個問題就懸置了50多年。這次的論文手稿宣告，在有理數範圍內，判斷方程解是否存在的通用演算法同樣在邏輯上絕無可能。
令人拍案叫絕的還有兩個看起來極為基礎、卻讓無數大師折戟的數學常數難題。其中一篇手稿證明，圓周率π的無理性指數恰好等於2。用通俗的話來講，無理性指數衡量的是用普通分數去逼近一個無理數的精準極限。以往人類經過漫長複雜的分析，只能把這個指數壓縮到7.1左右，而這次，AI一舉將它推到了理論極限的數字2。另一篇論文則完成了對卡塔蘭常數無理性的證明，這個從19世紀就被深入探討的特殊數值，此前從未在嚴謹意義上被證實到底是不是無理數。
這批手稿涉及的領域縱深極為廣闊。從理論電腦科學中關於最佳化難題極限的唯一遊戲猜想，到描述超導與自旋玻璃的統計力學公式，再到描述帶電粒子束運動的相對論性弗拉索夫-麥克斯韋方程整體平滑解，演算法將觸角同時伸向了17個分支，展現出令人難以置信的知識跨度。
僅需3小時思考的矽基風暴是如何颳起來的
面對鋪天蓋地的數學定理，普通大眾最關心的問題無疑是：電腦究竟掌握了怎樣的神通，能夠在短短時間內寫出數百篇連頂級學者都需要研讀數月的硬核論文。
根據研發團隊披露的技術細節，這批龐大手稿全部出自一個尚未向公眾開放的內部前沿大模型。在此之前，研發人員為模型設定了大約4000個高難度的前沿純數學研究命題進行測驗。驚人的是，在最終成功產出成果的手稿中，平均每一項突破所耗費的計算資源，僅僅相當於其旗艦產品專業版思考模型全速運轉3小時的計算量。3小時的矽基運算，便跨越了人類頂級學者數年甚至數十年的推演跋涉。
過去的人工智慧處理文字，本質上依賴於機率分佈的聯想，這種模式在嚴苛的數學證明中極易產生似是而非的幻覺。只要某一步推匯出現那怕一丁點邏輯漏洞，整個宏偉的證明大廈就會瞬間崩塌。為了打破這一瓶頸，研發人員結合了前沿的邏輯推理鏈條與一種被稱為Lean的電腦形式化驗證語言。
Lean形式化語言就像一個毫無感情、冷酷無情的嚴苛法官。在它的世界裡，數學概念被拆解為一行行嚴謹的程式碼，公理、定義與每一步推演都必須通過底層邏輯核心的嚴格檢驗。如果某一處邏輯跳躍無法成立，系統就會直接報錯拒絕通過。在本次公開的數學成果中，模型不僅用人類自然語言寫成了包含引理、命題和推論的學術論文，還為其中大量的核心結果附帶了可以直接跑在電腦上的Lean程式碼。
這意味著什麼呢。一位獨立學者下載了准黎曼猜想相關的程式碼與校驗配置檔案，在自己的電腦終端上運行了Lean系統的核心檢測。驗證軟體最終輸出了校驗通過的綠燈訊號。這意味著模型給出的邏輯推導，在形式化系統底層經受住了考驗，完全排除了傳統大模型胡言亂語的幻覺缺陷。
研發團隊坦言，絕大多數論文都是模型依照一套固定的自動化流水線自主生成的。只有在黎曼zeta函數無零點區域以及復乘阿貝爾簇上的霍奇猜想等極少數超重量級成果上，研究人員才參與了格式調整，對論文的語句排版進行了人工編輯，以確保人類數學家在閱讀時不至於被過於冰冷的機械推導結構所困擾。此外，為了輔助這種高密度的邏輯作業，系統還引入了長任務自動審查機制，由專門的輔助智能體即時監控推導過程，在發生邏輯偏差前及時糾錯，極大地提升了深度思考的精準度。
手稿堆成大山之後的學術震盪與恐慌
這722篇論文如同核彈雨般傾瀉而下，全球數學的感受並不是單純的狂喜，其中夾雜著無力、戒備與深重焦慮的複雜震盪。傳統學術界有一套沿襲了數百年的運作節奏：學者提出構想、撰寫手稿、提交同行評議、在研討會上反覆辯論，最終由學術共同體在數年時間裡逐步消化吸收並建立信任。
然而，一家商業科技巨頭越過了期刊出版商，越過了學術評審流程，在一天之內將數百篇高度抽象的研究成果砸向學術圈。面對幾千頁密密麻麻的符號推演，德克薩斯大學奧斯汀分校的幾何分析學者弗朗切斯科·馬吉在社交平台上發出了充滿無奈的感嘆。他提到，此前研究人員發佈的納維-斯托克斯方程證明，全球專家至今還在埋頭鑽研它的運作機理；現在突然又湧出來幾百篇，全世界的數學家就算不吃不喝，又那來那麼多精力去逐字逐句研讀。更為關鍵的是，即便讀完了，人類學者究竟能從中提煉出富有啟發的數學思想，還是只能跟在AI的身後疲於奔命。
早在手稿發佈的兩個月前，即2026年8月，OpenAI研發團隊曾經在私下裡邀請了大約40位全球頂級數學家舉行閉門交流會，試圖探討如何平穩地公佈這些成果。西北大學知名學者布琳娜·克拉回憶，當時的會議現場瀰漫著一種極度亢奮與極度不安交織的怪異氣氛。數學家們當時懇切地呼籲，希望企業遵守學術倫理與發表規範，以清晰、易讀且符合學術傳統的方式逐步公開成果，留給人類學者充分的驗證與理解窗口。許多與會學者原以為對方會分批次、細水長流地推出成果，卻沒想到最終迎接他們的是一場鋪天蓋地的程式碼庫突襲。
在手稿上線後不久，由9位國際知名學者組成的數學與人工智慧獨立顧問組迅速發表了一份措辭嚴謹的聲明。這個顧問組極具份量，成員中包括了菲爾茲獎得主蒂莫西·高爾斯、馬丁·海爾以及當代物理學巨擘愛德華·威滕。顧問組在聲明中開門見山地指出，這無疑是數學發展史上的一件大事，但顧問組此前向該機構提供交流建議，絕不代表學術界已經背書並認可了這批手稿中的所有結論，更不代表認同這種簡單粗暴的成果產出與傾倒方式。這些手稿究竟在邏輯上是否完全站得住腳，對未來的科學探索能產生多大價值，必須交由各個細分領域的人類學者耗費漫長時間去獨立研判。
曾經對人工智慧輔助研究抱有極大熱情的菲爾茲獎得主陶哲軒，在近期的一場學術演講中也罕見地表達了謹慎態度，坦言技術的演進節奏實在是太瘋狂了，其推進速度甚至超越了必要的理性界限。另一位菲爾茲獎得主塞德里克·維拉尼在看到AI攻入千禧年難題的核心地帶後，更是直言感受到了前所未有的心理衝擊，甚至將其形容為數學界從未直面過的劇烈震盪。
不少學者產生恐慌的原因，還在於這批代表人類抽象思維極境的智力成果，正在被極少數擁有海量算力與工程壁壘的技術寡頭所主導。當數學定理的發現過程從人類智者的沉思，演變為資料中心內部數萬枚高性能計算晶片數小時內的暴力搜尋，科研範式正在經歷一場哥白尼式的變軌。 (心智觀察所)