AI RACE— 每日追蹤 AI 競爭賽局
Research

OpenAI 一次釋出逾 700 篇數學證明手稿,引發全球數學界震驚與強烈反彈

在 OpenAI 於 GitHub 發布 700 多篇聲稱解開數百個懸而未決難題的手稿後,多位頂尖數學家表達了極大震撼、職涯焦慮,以及對人類學術研究體系遭受衝擊的深切擔憂。

2026/10/10 20:03
OpenAI bất ngờ công bố hơn 700 chứng minh toán học cùng lúc, gây chấn động và làn sóng phản đối trong giới toán học toàn cầu

2026 年 10 月 6 日,OpenAI 在 GitHub 上傳了 700 多篇手稿,一次性宣稱解開了數百個長期未解的數學難題。這次大規模釋出是接續 2026 年中開始的一連串突破,其中包括單位距離猜想(Unit Distance Conjecture)、納維爾-斯托克斯方程式(Navier-Stokes)的進展,以及隨 OpenAI 的 Astra 模型一同亮相的十個解答。

此舉在學術界掀起巨大波瀾。已有超過 100 位研究人員在數學部落格《Proofs and Prompts》發表回應,表達的情緒從理智上的好奇,到對整個學科遭受顛覆的無力感、悲傷與憤怒皆有。

頂尖數學家的震撼反應

這次釋出的龐大規模讓頂尖學者措手不及。2022 年菲爾茲獎(Fields Medal)得主 Hugo Duminil-Copin 表示,OpenAI 聲稱解決了他在職業生涯中曾公開討論過的每一個重大未解難題。「震驚是巨大的,我整個人僵住了,」Duminil-Copin 寫道,並補充:「明天我們會找到前進的方向……但現在,我真的毫無心力。」

Ben Green 指出,這批成果似乎解決了他幾個月前(6 月)才獲得的一項聲譽卓著的歐洲資助計畫中約四分之三的研究目標。Roman Sauer 則發現,自己花費數年開發的一項技術,已被 OpenAI 應用在解決另外兩個完全不同的問題上。

Alvaro Lozano-Robledo 將 10 月 6 日形容為「可能是數學史上迄今最重要的一天」,但同時指出模型仍有極限:OpenAI 瞄準了黎曼猜想(Riemann Hypothesis),但最終僅攻克了被稱為擬黎曼猜想(quasi-RH)的較弱變體。

陶哲軒(Terence Tao)表達了複雜的心情,他指出機器生成的證明似乎「引入了巧妙的新構想,消化後將大有斬獲」,但也對缺乏人類同行來發表、辯論或傳授這些發現感到深深的失落。陶哲軒先前曾描繪過一個新興的「Math 2.0」時代,在該時代中,單純解決問題已不再是數學學科的唯一核心。

可讀性與學術規範的質疑

要全面評估 GitHub 上傳內容的數學有效性仍是一大挑戰。部分論文已被撤回,其他論文則因可讀性極差而飽受批評。

博士生 Tristan Humbert 發現 OpenAI 聲稱解決了他博士論文的核心難題,他起初對申請博士後研究感到恐慌,但隨後發現該文本「大多是難以閱讀的劣質內容(slop)」時,恐慌轉化成了憤怒。

Enrico Fatighenti 認為,數學界正承受著解讀粗糙 AI 產出內容的不公平負擔:如果人類投稿的論文引言晦澀難懂,必定會被退稿,但現在研究人員卻面臨解讀 AI 手稿的壓力,而榮譽全歸 OpenAI 所有。Henry Wilton 則批評該公司未列出作者姓名或失敗率,並斷言這種忽略意味著「數學不再是人類的事業」。

Ian Agol 將這次釋出比作格里戈里·佩雷爾曼(Grigori Perelman)在 2002 年提出的證明——當時數學家團隊花費數年才重構出缺失的推導步驟,並補充道:「現在是一家市值兆美元的公司直接帶著黃色炸藥(TNT)把整個地方炸開。」Matt Zaremsky 也有同感,將自己在某個問題上長達四年的穩定研究形容為一場考古挖掘,如今卻突然被人用炸藥炸得四分五裂。

資安警告與青年學者的職涯焦慮

OpenAI 這項工作的影響亦延伸到了理論數學之外。菲爾茲獎得主 Peter Scholze 呼籲保持耐心,強調數學是一場以人類理解為核心的馬拉松。然而,Scholze 也對數位基礎設施表示擔憂,警告這些系統可能有能力發現破解廣泛使用之加密演算法的方法。

這項聲明引發了青年研究人員的普遍焦慮。Mark Hagen 指出,在成果釋出當天,處理焦慮不安的年輕同僚的求助電話,比閱讀預印本更具急迫性。Mitchell Taylor 提到同行間普遍感到焦慮並失去方向與目標,而 Petra Schwer 則觀察到研究社群內部的信任度日益下滑。

在成果發布前,人類數學協會(Association for Human Mathematics)便曾因 OpenAI 違反科學規範而呼籲對其進行抵制,包括陶哲軒和 Scholze 在內的 25 位菲爾茲獎得主也發表聯合聲明,強調商業 AI 產業與學術數學界之間的理念脫節。

儘管少數研究人員仍持樂觀態度——例如持續與 Astra 合作的 Constantin Kogler,以及為使用 Anthropic 的 Claude 編寫數學動畫程式碼而感到欣喜的 Danny Calegari——但其他人看到的則是更灰暗的前景。數學家 Martin Bridson 告誡研究人員切勿被企業的宣傳牽著鼻子走:「我們應當擁抱機器所帶來的力量,但絕不能淪為盲從其主導的奴僕。」

◗ 參考來源

The Decoder10/10

相關文章

Research

追求認知永生:六項正在崛起的關鍵技術

技術專家與神經科學家正致力於研究頭部移植、人工智慧心智複製人以及生物混合介面,試圖在生物死亡後延續人類意識。儘管短期內的醫療效益已初見端倪,但真正的全腦模擬預計至少還需要一個世紀才能實現。

昨天