The Verge 的播客節目 Decoder 最新一期聚焦 AI 對數學領域的衝擊,主持人 Nilay Patel 與 The Verge 駐倫敦 AI 記者 Robert Hart 展開對話,探討近期 OpenAI 釋出的一組數學難題解決方案如何在數學界引發軒然大波,並催生了一場關於學科未來的存在危機。

Robert Hart 在節目中表示,過去半年到一年間,AI 在專業數學領域的能力出現“爆炸式”提升,從原先的“非常糟糕”迅速轉變為“真正擅長”,這種壓縮式變化讓數學界措手不及,類似軟體工程領域過去幾年經歷的 AI 衝擊,但時間被大幅縮短。

值得注意的是,AI 在數學上的表現呈現兩極分化。一方面,模型在基礎算術上依然“非常糟糕”,例如無法準確數出單詞“strawberry”中字母 R 的數量,甚至搞不清星期幾;但另一方面,在高階抽象數學領域,AI 卻展現出驚人的能力,能夠連線不同領域、以新方法應用舊理論。Robert Hart 指出,數學並非單一學科,就像生物學涵蓋從動物觀察到細胞機制的不同層面,AI 在不同數學分支上的能力參差不齊,例如拓撲學據稱仍是其弱項。

OpenAI 釋出的解決方案被形容為在數學界“像炸彈一樣炸開”,引發了激烈辯論。Robert Hart 採訪了多位當代最傑出的數學家,他們普遍擔憂 AI 若能達到如此水平的數學能力,是否意味著 AI 實驗室能將這種技能遷移到其他領域。更深層的焦慮在於:如果前沿模型能解答所有懸而未決的問題,那麼大學培養新一代數學家、資助學術研究以發現新問題的意義何在?

節目還提出了一個尖銳的質疑:AI 在數學上的高調錶現,是否只是前沿 AI 實驗室的營銷手段?這些實驗室可能並不真正關心數學這一最古老、最基礎學科的未來。Robert Hart 表示,他採訪的許多人對此持有不同看法,但普遍認為數學界正面臨一場“全面的存在危機”。

這場討論折射出 AI 技術對傳統學術領域的深層衝擊。隨著模型在專業推理任務上的能力躍升,不僅是數學,其他依賴抽象思維的學科也可能面臨類似的反思。對於 AI 產業觀察者而言,這不僅是學術界的內部爭論,更關乎 AI 能力邊界的拓展及其對科研生態、人才培養模式的潛在重塑。