中國新聞周刊記者：周游

　　發(fā)于2026.9.21總第1253期《中國新聞周刊》雜志

　　當(dāng)?shù)貢r間9月11日，包括陶哲軒、鄧煜在內(nèi)的25位菲爾茲獎得主聯(lián)合發(fā)表《人工智能在數(shù)學(xué)中的嚴(yán)重錯位》的聲明(以下稱“聯(lián)合聲明”)，將OpenAI、Anthropic等AI公司與數(shù)學(xué)界的一場“大戰(zhàn)”推向高潮。聯(lián)合聲明稱，AI公司將解決數(shù)學(xué)難題作為模型能力基準(zhǔn)的做法，對數(shù)學(xué)科學(xué)本身及數(shù)學(xué)界造成了損害，與數(shù)學(xué)共同體追求概念理解的根本目標(biāo)產(chǎn)生了顯著分歧。

　　這一分歧近期越發(fā)明顯。9月8日，OpenAI宣稱其未公開的內(nèi)部AI模型用88個小時解決了納維-斯托克斯方程(N-S方程)的存在性與光滑性問題。N-S方程是描述流體運動的核心方程，廣泛應(yīng)用于天氣預(yù)報、飛機(jī)設(shè)計等領(lǐng)域。美國克雷數(shù)學(xué)研究所(CMI)2000年將這一問題列為七大千禧年大獎難題之一，懸賞100萬美元。然而，紐約大學(xué)的一位數(shù)學(xué)家卻聲稱，OpenAI的模型在解題過程中，半路截走了他的成果。

　　OpenAI的做法迅速引發(fā)了一場關(guān)于學(xué)術(shù)優(yōu)先權(quán)、數(shù)據(jù)倫理與AI科研邊界的激烈爭論。多位簽署聯(lián)合聲明的菲爾茲獎得主對《中國新聞周刊》稱“感到威脅”。不過，除了成果可能被竊取、工作或被取代外，他們眼中真正的威脅，要復(fù)雜得多。

　　“霸凌”

　　就在聯(lián)合聲明發(fā)布前一周，美國芝加哥大學(xué)數(shù)學(xué)系教授鄧煜發(fā)了一條朋友圈，說最近數(shù)學(xué)界似乎彌漫著一股浮躁不安的氛圍。他用半開玩笑的語氣勸說那些感到焦慮迷茫、想轉(zhuǎn)行的同行，等這一波喧囂過去，數(shù)學(xué)界自然會慢慢適應(yīng)，“過一兩年再決定也為時不晚”。

　　然后，OpenAI于9月8日的聲明便引爆了整個數(shù)學(xué)界。一個“能力顯著強(qiáng)于”其剛發(fā)布的GPT-6 Astra的內(nèi)部模型，率領(lǐng)約1萬個AI智能體并行工作約88小時，找到了N-S方程的一個反例。

　　這一反例看上去像是一個不斷向內(nèi)旋轉(zhuǎn)的渦旋。原本，N-S方程是描述流體的一項“鐵律”。它將水、空氣等看作是光滑連續(xù)的，通過速度、壓力、黏性和外力等來解析流體的運動。但在OpenAI構(gòu)造的這一獨特渦旋中，流體不斷向中心旋轉(zhuǎn)，核心持續(xù)收縮并在縱向被拉長，就像一根越來越細(xì)長的意面。這個過程不斷加速，出現(xiàn)了N-S方程所不能描述的“奇點”。流體光滑不再，數(shù)學(xué)家們稱這一結(jié)果為“爆破”。

　　此前，紐約大學(xué)柯朗數(shù)學(xué)科學(xué)研究所數(shù)學(xué)教授特里斯坦·巴克馬斯特與Anthropic研究員萊文特·阿爾珀格已就N-S方程相關(guān)的流體問題取得了關(guān)鍵進(jìn)展，并于9月7日午夜前公開了成果，比OpenAI官宣早約12小時。巴克馬斯特隨后抨擊OpenAI，認(rèn)為其在聽聞他們?nèi)〉眠M(jìn)展后才加大投入。他透露，自己曾將未發(fā)表的草稿和推導(dǎo)放在OpenAI的代碼工具中使用，懷疑被OpenAI的模型“偷看”。

　　哈佛大學(xué)數(shù)學(xué)系講席教授柯蒂斯·麥克馬倫是1998年菲爾茲獎得主，也是簽署此次聯(lián)合聲明的25人之一。他將整個事件類比為登山?！笆澜缬性S多尚未登頂?shù)母呱?，?shù)學(xué)家就是每天盤算如何登頂?shù)牡巧秸?。多年來許多人已在一座名為N-S方程的山上爬到了相當(dāng)高的位置?！丙溈笋R倫對《中國新聞周刊》說，巴克馬斯特與阿爾珀格在山腰建立了營地，也許離頂峰只差幾個月路程。

　　但OpenAI做了一件令人憤懣的事。麥克馬倫說，他們四處物色可以空投的位置，在發(fā)現(xiàn)上述營地后，就立刻往那兒空投了一隊機(jī)械登山者，然后搶在所有人之前，登上了峰頂。而這一切僅因為，他們擁有一架飛得比任何人都高的直升機(jī)。

　　最令麥克馬倫感到不可接受的是，多年來為N-S方程研究做出貢獻(xiàn)的人們，在OpenAI勾勒的證明圖景里被完全排除了?！皼]有恰當(dāng)?shù)囊?，沒有對此前工作的說明，只是按下了一個按鈕，然后得到了一個結(jié)果。這是對人類知識的一次公然背棄。”

　　瑞士日內(nèi)瓦大學(xué)教授斯坦尼斯拉夫·斯米爾諾夫是2010年菲爾茲獎得主，同樣簽署了聯(lián)合聲明。他對《中國新聞周刊》分析：“有人認(rèn)為AI抄襲人類是可以接受的，我很難認(rèn)同這種觀點?！?/p>

　　事發(fā)之初，OpenAI方面對巴克馬斯特的指控予以否認(rèn)，但承認(rèn)無法完全排除用戶數(shù)據(jù)在模型訓(xùn)練中發(fā)揮的間接作用。OpenAI也承認(rèn)巴克馬斯特團(tuán)隊在相關(guān)成果上擁有優(yōu)先權(quán)。但在9月10日《紐約時報》的采訪中，OpenAI方面則更加強(qiáng)硬地表示，巴克馬斯特過去兩個月在代碼工具上寫的提示詞，絕不可能以任何方式影響其內(nèi)部模型。目前，OpenAI沒有申領(lǐng)CMI懸賞的打算。數(shù)學(xué)界尚未對OpenAI的證明給出正式認(rèn)可。

　　巴克馬斯特等人的成果是否被竊取，多數(shù)受訪者持謹(jǐn)慎態(tài)度。2018年菲爾茲獎得主、瑞士蘇黎世聯(lián)邦理工學(xué)院教授阿萊西奧·菲加利指出，根據(jù)現(xiàn)有信息還無法對這場糾紛做出責(zé)任判斷。他認(rèn)為，這件事的重要性在于其揭示了一個更普遍的問題?！皵?shù)學(xué)極其依賴非正式交流，我們會告訴同事我們正在做什么，在會議上討論尚未完善的想法。這種開放只有在人們確信不會使其處于競爭劣勢的情況下，才有正當(dāng)性。”

　　況且，數(shù)學(xué)家越來越有可能在研究成果尚未發(fā)表時，就與AI討論和交互。菲加利告訴《中國新聞周刊》，現(xiàn)在的問題是，只要傳出有人即將解決某個數(shù)學(xué)問題的風(fēng)言風(fēng)語，AI公司就會趨之若鶩。在他看來，學(xué)術(shù)研究的基本原則，例如保密、署名、對未發(fā)表成果的保護(hù)等，在AI時代必須繼續(xù)適用。

　　顯然，AI公司不會考慮這些。在解決N-S方程難題后，OpenAI幾乎馬上宣布，其已著手突破另一千禧年大獎難題霍奇猜想。麥克馬倫指出，AI 公司靠這樣的方式吸引投資、擴(kuò)張商業(yè)版圖，本無可厚非。但商業(yè)世界的倫理圖景與學(xué)術(shù)界截然不同，二者的游戲規(guī)則有著明顯差異。

　　巴克馬斯特提到，OpenAI曾提議將阿爾珀格從聯(lián)合署名中移除，因為后者在競爭對手Anthropic任職。阿爾珀格本科在哈佛大學(xué)學(xué)習(xí)時，麥克馬倫曾教過他，二人如今是好友。麥克馬倫回憶，OpenAI方面確實曾直接要求除名?！帮@然，只要不用和Anthropic分享功勞，他們很樂意和巴克馬斯特合作。這是純粹金錢驅(qū)動的倫理失范，坦率地說，是一種霸凌。”

　　更令他生氣的還是那句“你想毀掉自己的職業(yè)生涯嗎？”。OpenAI發(fā)言人坦言其對巴克馬斯特說過這句話，但當(dāng)時就收回并道歉了。“我們說不出這種話?！丙溈笋R倫認(rèn)為，此時此刻，AI公司背后聳立的傲慢，灼傷了他。

　　危機(jī)

　　“(數(shù)學(xué)界)每個人都因眼下正在發(fā)生的事情輾轉(zhuǎn)反側(cè)。數(shù)學(xué)是我們的職業(yè)和生命，而它本身正面臨生存危機(jī)?！蹦戏娇萍即髮W(xué)講席教授葉菲姆·澤爾曼諾夫稱。

　　這位1994年菲爾茲獎得主接受《中國新聞周刊》采訪時，正在前往德國海德堡的路上。他將參加第13屆海德堡桂冠論壇，今年將有專門的議程探討AI與數(shù)學(xué)間的關(guān)系。他雖然沒有參與聯(lián)合聲明的撰寫，但在看到它的一瞬間，他感到情緒有了出口。

　　麥克馬倫確信，聯(lián)合聲明最初的牽頭者包括陶哲軒、德國馬克斯·普朗克數(shù)學(xué)研究所所長彼得·朔爾策等。這些當(dāng)今數(shù)學(xué)界赫赫有名的人物都在訴說著同一件事：數(shù)學(xué)界內(nèi)部正在積累深切的憂慮與不安，而AI 公司一直在主導(dǎo)著媒體敘事?！笆菚r候集體發(fā)聲了?！?/p>

　　這并不是數(shù)學(xué)家第一次針對AI集體發(fā)聲。今年6月，國際數(shù)學(xué)聯(lián)盟發(fā)布《人工智能與數(shù)學(xué)萊頓宣言》(以下稱《萊頓宣言》)，旨在應(yīng)對AI給數(shù)學(xué)研究帶來的挑戰(zhàn)，強(qiáng)調(diào)數(shù)學(xué)核心價值與科研誠信?！度R頓宣言》歷經(jīng)半年多打磨才最終面世，與之相比，聯(lián)合聲明從起草到發(fā)布僅用了一周。

　　在菲加利看來，這不是草率，而是緊迫。更長時間的磋商肯定會產(chǎn)生一份更全面的聲明，但現(xiàn)在需盡快提出問題，鼓勵廣泛的討論。聯(lián)合聲明想要討論的是，如果人類將解決復(fù)雜數(shù)學(xué)問題作為衡量AI能力的基準(zhǔn)，是否等于拋棄了數(shù)學(xué)學(xué)科的傳統(tǒng)價值。

　　什么是數(shù)學(xué)的傳統(tǒng)價值？澤爾曼諾夫解釋，數(shù)學(xué)家鉆研某個問題時，往往不在乎它有什么應(yīng)用，而僅是因為它美。在此之上，數(shù)學(xué)生長出了一套綿延幾千年的體系。人們提出問題的目的，其一是發(fā)展理論，因為人們發(fā)現(xiàn)不建立新的數(shù)學(xué)工具就不可能解決這一問題。“這不只是為了登頂一座山，更是為了修路。”

　　另一個目的，是培養(yǎng)做數(shù)學(xué)的人。作為導(dǎo)師，澤爾曼諾夫要為不同層次的學(xué)生設(shè)計問題?！皫а芯可鷷r，我不能一上來就讓他去推導(dǎo)費馬大定理，而是設(shè)計一些中等難度的問題，讓他們鉆研、推導(dǎo)新理論。然后他們發(fā)表論文、獲得學(xué)位、找到工作，這是一套固有體系。”

　　現(xiàn)在，AI登場了。多位受訪者提到，AI擅長構(gòu)造反例，因為它算力強(qiáng)大，能遍歷人類短時間很難遍歷的各種可能性。其次，如果數(shù)學(xué)家已在某個領(lǐng)域耕耘良久，AI能把這些成果拼接到一起，有時候確實能更快做出結(jié)果?！暗谶@個過程中，我們對問題的理解增進(jìn)了嗎？AI幫助我們培養(yǎng)人才了嗎？”澤爾曼諾夫說。

　　他認(rèn)為，數(shù)學(xué)不是國際象棋這樣的純粹智力游戲，而更像是騎自行車。你無法“教會”一個人騎自行車，他必須自己騎上去。但AI公司正將數(shù)學(xué)變成一盤國際象棋。

　　因此，“嚴(yán)重錯位”這一說法多次出現(xiàn)在聯(lián)合聲明的正文里。麥克馬倫稱，除了價值取向的錯位，社會對數(shù)學(xué)本身的理解也有錯位。最典型的是，人們很容易將數(shù)學(xué)和解題等同。麥克馬倫在哈佛大學(xué)當(dāng)了近三十年的教授，見過大量解題能力驚人的學(xué)生，他們中許多人最終沒能在數(shù)學(xué)上有所建樹。他認(rèn)為，“既然有了AI，我們?yōu)槭裁催€需要數(shù)學(xué)家”是一個離譜的想法，因為我們同樣可以問：“既然AI會解微積分，我們?yōu)槭裁催€要教本科生微積分？”

　　以費馬大定理為例，其在1994年被證明前，作為一個猜想懸置了數(shù)百年。它問的是，當(dāng)n大于2時，是否存在整數(shù) x、y、z，使得 xn + yn= zn成立。光看這個問題，澤爾曼諾夫直呼“誰在乎呢？”。但學(xué)界共識是，要解決它，人們必須發(fā)展新的數(shù)學(xué)工具。于是，數(shù)論、代數(shù)幾何和模形式等現(xiàn)代數(shù)學(xué)工具接連誕生。在這條路上，無數(shù)年輕人成長為了杰出的數(shù)學(xué)家?！岸F(xiàn)在，AI把這一切毀了?！?/p>

　　這背后是AI對數(shù)學(xué)研究生態(tài)的深層沖擊。近日，康奈爾大學(xué)數(shù)學(xué)家史蒂文·斯特羅加茨對《連線》雜志表示，他感到深刻的恐懼。AI攻克N-S方程問題后，真正受影響的是數(shù)學(xué)家的自我認(rèn)知。他的合作者則坦言，自己花了15年成為世界級研究者，而“我的技能已不再屬于我”，他感到“完全被威脅”。

　　如今，研究生們開始猶豫，自己還該不該進(jìn)入這一領(lǐng)域。麥克馬倫說，那些從一進(jìn)大學(xué)就想著“讀個數(shù)學(xué)博士，運氣好的話去普林斯頓當(dāng)教授”的本科生們，現(xiàn)在要重新考慮，研究數(shù)學(xué)基本的價值觀是否已發(fā)生改變?！耙园栫旮駷槔?，一個哈佛大學(xué)畢業(yè)生，有數(shù)學(xué)博士學(xué)位，如今在AI大廠工作。培養(yǎng)他們的正是這個即將被AI摧毀的數(shù)學(xué)生態(tài)系統(tǒng)，某種程度上，他們在搬起石頭砸自己的腳?！?/p>

　　有位菲爾茲獎得主告訴澤爾曼諾夫，他已開始拒絕接收研究生了，因為數(shù)學(xué)家這一職業(yè)正在死去。在澤爾曼諾夫看來，這有些“反應(yīng)過度”了，數(shù)學(xué)的火炬仍需傳承。

　　陣痛

　　今年以來，AI在數(shù)學(xué)領(lǐng)域的一系列成果密集涌現(xiàn)，模型之間的競賽也愈演愈烈。

　　5月，OpenAI內(nèi)部模型給出Erdős單位距離猜想的反例，推翻了這一懸置約80年的組合幾何問題。7月，Anthropic公布雅可比猜想的反例，該猜想已懸置87年。8月，Anthropic宣布旗下大模型Claude在黎曼猜想相關(guān)問題上取得進(jìn)展。OpenAI則毫不示弱，公布了與孿生素數(shù)猜想密切相關(guān)的一項新成果。

　　一個很自然的問題是：既然人類已有了“直升機(jī)”，為什么還要費勁去爬山？澤爾曼諾夫的回答是，因為“直升機(jī)”還不具備自己飛到“營地”的能力。更重要的是，人們還完全看不懂它登頂?shù)倪^程。

　　關(guān)于N-S方程問題的突破，OpenAI給出了一份長達(dá)166頁的完整數(shù)學(xué)推導(dǎo)論文及配套的Lean形式化驗證代碼。澤爾曼諾夫介紹，Lean是現(xiàn)在唯一驗證AI證明正確性的方式，這是一種代碼語言，可以理解為證明器。人們可以將數(shù)學(xué)證明輸入Lean，轉(zhuǎn)譯成AI能看懂的一套代碼“跑一遍”，如果能跑通，則說明這一證明嚴(yán)謹(jǐn)可接受。

　　但人類不理解，當(dāng)Lean說驗證成功時，究竟代表著什么。麥克馬倫指出，AI在一個個神經(jīng)網(wǎng)絡(luò)里工作，針對同一個題目，它給出的結(jié)果可能并不確定。人們可以把OpenAI的證明放到Lean里面再跑上100個小時、用上億個詞元(Token)，它卻可能說“我解不出來”。這種不可重復(fù)性讓AI證明的學(xué)術(shù)嚴(yán)謹(jǐn)性受到質(zhì)疑?！斑@就像面對一個長達(dá)一英里的等式，你從頭開始一步步核對到最后，發(fā)現(xiàn)等式是對的，但你什么也沒看懂，什么也沒學(xué)到?！丙溈笋R倫說。

　　他進(jìn)一步指出，Lean 如今被AI公司廣泛用作繞過傳統(tǒng)評審流程的捷徑。AI公司發(fā)布的論文不再送審稿人、投期刊，因為期刊會說“等你們寫出人類可讀的論文再來投”。而AI公司很可能會說，“我們不寫人類可讀的論文，我們的成果也不必經(jīng)數(shù)學(xué)共同體審視”。

　　曾有朋友告訴斯米爾諾夫，數(shù)學(xué)家對AI證明怨聲載道，就像掘土的工人抱怨被挖掘機(jī)取代一樣。他倒覺得應(yīng)該把這個比喻放進(jìn)考古挖掘的場景里。挖掘機(jī)的速度確實更快，但可能會破壞珍貴文物。這些文物如果由一群工作速度慢得多的工人來發(fā)掘，將得到很好的保存。

　　不過，仍然會有人覺得，數(shù)學(xué)家們反應(yīng)如此激烈，是害怕自己的飯碗被AI搶走。麥克馬倫笑稱，所有簽署聯(lián)合聲明的數(shù)學(xué)家，其對AI 的態(tài)度也是天壤之別：有的完全拒絕使用AI，有的則像麥克馬倫一樣，早已開始使用AI提供思路、攻克難題。

　　聯(lián)合聲明之外，數(shù)學(xué)家們的真正訴求是什么？多位受訪者提到了對話，斯米爾諾夫指出，如果AI公司能與數(shù)學(xué)家共享資源，情況或許會好得多。菲加利依然認(rèn)同維持深層次數(shù)學(xué)訓(xùn)練的重要性，即使這不能立即帶來成果。

　　麥克馬倫則提出了三個關(guān)鍵詞：研究范式、規(guī)則，以及 AI 公司自身信奉的價值觀。他認(rèn)為，上層監(jiān)管短期內(nèi)很難解決AI爭端，真正的轉(zhuǎn)型必須發(fā)生在 AI 公司以及數(shù)學(xué)家群體內(nèi)部。前者應(yīng)該重新審視模型“軍備競賽”給社會帶來的負(fù)面影響，而后者應(yīng)積極探索AI輔助下的成果評估體系。這也許將意味著數(shù)學(xué)界很長一段時間的陣痛，但這是必要的。

　　數(shù)學(xué)家會不會消失？澤爾曼諾夫的答案是不會，因為總要有人去探索人類知識的邊界，AI還做不到這一點。沒有人能禁止AI，和所有人一樣，數(shù)學(xué)家也必須重塑自己。

　　“我不會感到不安，甚至覺得相當(dāng)振奮。變革從來都是有趣的?！丙溈笋R倫說。

　　《中國新聞周刊》2026年第35期

　　聲明：刊用《中國新聞周刊》稿件務(wù)經(jīng)書面授權(quán)