過去一年,OpenAI、Anthropic 等研究機構宣布在許多長期的數學難題上取得突破,在某些情況下,其能力遠超研究人員對現有系統的預期,甚至解決了其中一個著名的千禧年數學難題。但以經典矽谷風格,AI 研究機構正快速推進並破壞規則,以一輛失控推土機般的姿態橫掃數學領域。原本可能備受讚譽的成果,反而引發了強烈反彈。AI 研究機構表示他們正在從先前的錯誤中學習。這些承諾是否能兌現,仍有待觀察。
在混亂的幾個月裡,OpenAI 展現了兩件事的驚人一致性:一是取得令人印象深刻的數學突破,二是搞砸了發布這些突破的過程。OpenAI 現在正試圖做得更好。但不知何故,他們又搞砸了。
OpenAI 試圖修復與數學界破裂關係的最新嘗試是諮詢一個由頂尖數學家組成的新獨立顧問小組。但與《The Verge》交談的數學家們,包括該小組的一名成員,形容這是一場混亂且令人困惑的事件,具備了 OpenAI 先前在數學領域倉促嘗試的許多特徵,這表明該公司從錯誤中學到的東西很少。而這個小組面臨的第一個艱鉅任務是:協助協調 OpenAI 稱其未發布模型已產生的更多結果的發布,這前景已在研究人員中引發恐懼,擔心這股即將到來的突破浪潮可能對他們的領域造成什麼影響。
在將一連串驚人的數學成果變成聲譽危機後,OpenAI 正在諮詢人類數學家,以幫助其找出一個災難性較小的前進道路。
週一,該公司宣布成立一個新的獨立數學家小組,負責就 AI 公司與數學研究及更廣泛的數學界的互動提供建議,包括新成果的呈現和發布方式。這個小組的突然出現讓許多數學家感到意外。研究人員告訴《The Verge》,這個小組是個好的第一步,但許多人表示他們對其具體職責、影響力大小以及 OpenAI 是否會真正聽取其意見仍有基本疑問,同時也擔心這樣一個由少數知名研究人員組成的小組能否代表更廣泛的數學界。
過去幾年,OpenAI 一直在數學這個日益艱難的領域插旗。本週,他們聲稱獲得了迄今為止最大的獎項之一:解決了一個傳奇的千禧年數學難題。
在正常情況下,這將被譽為一項歷史性成就。
相反,許多數學家對 OpenAI 的無情推進感到日益不安。對他們來說,這家公司看起來不像是一個熱情的入門者,而更像是一個資源雄厚、無所不能的闖入者,以極少的對長期規範或對其追隨者後果的考量,衝入他們畢生研究的問題。這種不安的核心在於一種感覺,即 OpenAI 從事數學研究的動機不同。數學家們希望推進該領域。OpenAI 則希望贏。
另一位研究人員正在質疑 OpenAI 所使用的數據,這些數據驅動了其日益令人印象深刻的數學發現。就在公司模型是否從未發布的作品中獲益的激烈爭論爆發幾天後,第二位數學家站出來指控這家 AI 巨頭行為不道德且「不誠實」,並對其訓練數據的來源缺乏透明度。
數學家 Andreas Thom 在 Mastodon 上發表了一系列帖子,對他和他的同事在 OpenAI 宣布重大突破之前與 ChatGPT 的互動可能促成了其在該領域的成功表示擔憂。OpenAI 上個月大張旗鼓宣布的 10 項成果之一,就涉及 Thom 的專業領域,即所謂的「非軟群」(non-sofic groups),而 OpenAI 也承認其成果在很大程度上建立在 Thom 和同事 Gábor Kun 的先前工作之上。
OpenAI 週二宣布已解決數學界一個傳奇的千禧年數學難題,這本應是一個勝利的時刻。這項成果既是無可否認的成就,也鮮明地展示了 AI 在數學領域轉型的速度有多快。但在此之前,由於 OpenAI 追求該難題的特殊情況,這項突破已經變得複雜:在聽說其他研究人員正在取得進展後,他們似乎將其龐大的資源投入到最後一搏,以搶在他人之前解決問題。隨之而來的爭議浮現了關於搶先研究、間諜行為以及公然違反長期學術規範的指控,研究人員擔心這可能會對該領域產生寒蟬效應。
正如倫敦瑪麗女王大學數學教授 Abhishek Saha 所解釋的那樣,OpenAI 已經從事了「數學家們通常不會做的事情」。
OpenAI 表示,他們找到了解決一個已懸而未決約 90 年的重大數學問題的方法,正如《紐約時報》和《連線》雜誌先前報導的那樣。在週二的一篇部落格文章中,OpenAI 宣布他們使用了一個比新發布的 GPT-6 Astra 更強大的內部 AI 模型,並結合 10,000 個並行代理,發現了納維-斯托克斯方程(Navier-Stokes equation)的解——該方程與液體和氣體的流動有關。納維-斯托克斯方程是七個千禧年數學難題之一,每個難題的解決者可獲得 100 萬美元獎金。
OpenAI 表示,他們於 8 月 28 日開始訓練內部 AI 模型,該模型「在我們的基準測試中,包括數學方面,表現出前所未有的性能」。這個解決方案對數學界來說是一個重大突破,但並非沒有爭議。
今天在 Decoder 節目中,我將與《The Verge》駐倫敦的 AI 記者 Robert Hart 談論 AI 對數學領域的影響,以及許多頂尖數學家對此感到的生存危機。
OpenAI 剛剛發布了一系列長期數學問題的解決方案,這在該領域引起了轟動。這在數學界引發了巨大的辯論,Rob 花了一些時間與我們這個時代一些最傑出的數學家們就此進行了交談。
數學家 James Maynard 在過去一年裡花了大量時間進行「靈魂的探索」。作為牛津大學教授和著名的菲爾茲獎得主,Maynard 告訴《The Verge》,他一直在努力應對他所在領域的未來,因為這個傳統上緩慢發展的學科正急於適應 AI。
在我們交談前幾天,OpenAI 透露它已經產生了 10 個長期數學問題的解決方案,其中一些問題困擾了學者幾十年。就像用於生成文本和圖像或提出科學和醫學想法的生成式 AI 一樣,這項技術會從其訓練的大量材料中學習模式和聯繫,並利用它們來創造新的東西。應用於數學,這可能意味著以新的方式結合已知結果、方法和工具來解決問題,有時會聯繫不同的領域或重新發掘學術文獻中埋藏的概念。



