OpenAI 公佈內部模型數學成果：生成 722 篇論文，捐資 500 萬支援驗證

頂尖數學家苦幹一輩子，可能也就啃下兩三個世紀難題。現在，OpenAI 一口氣把幾百篇論文直接甩了出來。

OpenAI 在 GitHub 上公開發布了 722 篇數學論文手稿。這些成果全部出自一個尚未對外公開的內部前沿大模型，涵蓋了 372 個研究家族，涉及數論、幾何學和理論電腦科學等多個領域。

更讓學界震驚的是效率。OpenAI 表示，模型總共嘗試了大約 4000 個數學問題。除了極少數情況，幾乎所有成果都是靠單次提示詞跑出來的，平均每個結果僅消耗相當於 ChatGPT Pro 思考大約 3 個小時的算力。

準黎曼猜想與 Lean 驗算機

這批論文裡最大膽的一項斷言，是對「準黎曼猜想」的證明。這是那個著名的 100 萬美元大獎難題——黎曼猜想的弱化版本，核心研究的是質數的分佈規律。

雖然大模型並沒有徹底攻克黎曼猜想，但它證明了神秘的非平凡零點不可能出現在區域邊緣 12.5% 的範圍內，相當於把可能的零點區域硬生生縮小了 25%。

除了準黎曼猜想，模型還在希爾伯特第十問題上做出了延伸證明。它給出的推演表明，即便放寬條件允許使用分數，依然不存在一個通用演算法能判斷所有多變數代數方程是否有解。這意味著計算機的能力本身也受制於數學的理論極限。

為了應對學術界的造假與幻覺質疑，OpenAI 這次留了一手。他們在 GitHub 倉庫中列出了 162 篇核心成果已經用 Lean 語言完全形式化的論文。

所謂 Lean，是一種可以由計算機逐行嚴格檢驗每一步邏輯證明的程式語言。這意味著這 162 項成果在邏輯上已經被程式碼徹底坐實，而剩下的手稿還在等待後續的形式化與同行檢驗。

學界炸鍋與 500 萬美元安撫基金

面對這種排山倒海式的內容傾倒，業內反響呈現出兩極分化。

曾在 7 月份推進雅可比猜想的 Anthropic 頂尖數學家 Levent Alpöge 毫不吝嗇讚美，直接稱這是「數學歷史上最重大的時刻」。

但大批一線學者卻感到被冒犯和焦慮。《WIRED》報道稱，許多數學家對這種突襲式的大規模傾倒十分憤怒。參會學者們透露，OpenAI 曾口頭承諾會拉長戰線、分批發布，好讓人類學界有時間消化，但這次顯然食言了。OpenAI 發言人對此回應稱，公司並不知道有這項承諾。

為了平息學界的不滿並協助消化研究成果，OpenAI 隨後在 10 月 15 日宣佈向西蒙斯基金會（Simons Foundation）的新倡議捐贈 500 萬美元。

這筆資金將完全由基金會管理，專門用來資助數學家舉辦研討會、審閱並消化這些 AI 生成的結論，同時 OpenAI 還會向該基金會支援的學者開放模型介面與算力資源。

為什麼重要

我們認為，OpenAI 這次的操作標誌著前沿科研的底層範式徹底變了。過去數學突破依賴人類天才的大腦靈光一閃，現在卻變成了「堆算力、跑程式碼、機器批處理」。

對數學研究者和開發者來說，短期內的衝擊是實打實的。幾十萬名博士和青年學者很可能發現自己鑽研數年的冷門課題，被 AI 用 3 小時算力順手解掉了。但換個角度，真正的研究重心會從「辛苦做證明」轉向「誰能提出好問題」以及「誰能讀懂並擴充套件機器的證明」。

OpenAI 的做法聰明在於引入了 Lean 機器證明。只要程式碼驗證通過，學術界就無法用「模型在胡說八道」來一筆帶過，逼得對手不得不正視它的學術有效性。

但這種「機海戰術」的隱患同樣巨大。722 篇論文只有約四分之一經過了機器驗證，剩下的手稿裡究竟藏著多少看似精巧實則漏洞百出的推演，目前誰也說不準。單方面把數千頁未消化的論文扔給學界，本質上是將驗證成本強行轉嫁給了學術共同體，這也就是為什麼那麼多一線學者會感到憤怒。

看起來，當數學發現的速度不再受人類腦力限制，而是直接跟晶片算力掛鉤時，現有的學術評審和論文出版體系，已經到了必須徹底重構的邊緣。