2022年菲爾茲獎得主、法國數學家Hugo Duminil-Copin:OpenAI摧毀我的研究領域
2022年菲爾茲獎得主、法國數學家Hugo Duminil-Copin在10月8日由法國數學學會組織的視頻會議上表示,週二夜裏他哭了,並吵醒了女兒。
他稱原因是美國人工智能公司OpenAI發佈了超過719篇手稿,分成372個類別,聲稱解決或推進大量長期未解的數學問題。其中至少有16個問題與他長期關注的研究方向直接相關。他平靜地說:“他們摧毀了我的研究領域。”
Duminil-Copin展示了一張AI生成的幻燈片,畫面是一隻兔子被多輛卡車碾壓,並補充道:“他們想證明他們有能力屠殺我們。”他在問答環節中進一步談到“我們業務的拆解”。針對其中一個問題,AI連續產出多篇論文,相當於一次性推進一整套研究計劃。
這批手稿由OpenAI內部未公開模型生成,提交約4000個問題,平均每個結果相當於ChatGPT Pro約3小時計算。約42%主要結果已用Lean形式化驗證,但部分缺乏形式化證明,已有3篇因符號錯誤被撤回,公司承認未形式化結果可能存在問題。數學界承認其中包含驚人成果,但也指出需進一步獨立驗證。
Duminil-Copin表示他想到的不僅是自己,還有年輕數學家。博士生可能花數年尋找問題再花數年嘗試證明以建立學術生涯,某天醒來卻發現一家AI公司發佈十幾篇論文稱問題已有答案。他指出數學界過去重要的開放討論未解問題的文化可能受衝擊,部分數學家開始考慮不再公開研究方向,以免被AI公司收集爲下一輪模型測試題庫。
此事件發生在9月OpenAI宣佈解決Navier-Stokes方程相關千年獎問題之後,是Duminil-Copin感受到的第三次類似衝擊。他與其他菲爾茲獎得主曾簽署公開信,呼籲由科學家主導的審慎AI使用。
市場機制:OpenAI通過內部模型大規模生成並公開數學結果,將開放學術問題轉化爲模型能力展示與研究產出,事件驅動於與競爭對手在前沿數學上的競賽及內部模型能力驗證;計算與研究資源從公司內部模型流向公開手稿庫,受益方爲擁有大規模算力與模型的AI公司(獲得能力證明與影響力),承壓方爲依賴長期開放問題積累的數學研究者(面臨研究議程被快速覆蓋與選題不確定性)。
來源:公開信息
ABAB AI 解讀
Hugo Duminil-Copin因在統計物理中相變概率理論的貢獻獲得2022年菲爾茲獎,長期研究滲流、Ising模型與臨界現象等問題,其工作建立在與合作者公開討論未解問題、逐步推進證明的學術傳統之上。OpenAI此次以內部模型批量產出手稿,直接覆蓋其關注的多個開放問題,延續了其在9月對Navier-Stokes問題的大規模智能體攻關路徑。
資本路徑上,OpenAI將未商業化內部模型的算力投入到約4000個數學問題上,產出719篇手稿並部分形式化,目的是展示模型在前沿數學上的能力,同時通過公開倉庫影響學術議程;這與其此前在千年獎問題上投入數萬智能體與高額計算成本的方式一致,將研究產出從傳統學術出版轉向模型驅動的批量結果發佈。
類比上,這類似於早期計算機代數系統對符號計算的衝擊,或AlphaFold對蛋白質結構預測領域的影響,使部分長期依賴人工推導的工作被快速替代;當前數學處於從人工主導證明向模型生成結果與人工驗證並行的轉型早期,部分領域從開放問題探索轉向對AI輸出的理解與檢驗。
本質屬於技術替代下的定價權轉移:大規模模型將開放數學問題從學術共同體的長期積累轉化爲可被內部模型快速生成的結果,使發現優先權與研究議程從分散的研究者轉向擁有算力的公司,機制在於將公開文獻與未解問題作爲訓練與測試輸入,快速輸出形式化或半形式化證明,從而壓縮人工研究的時間窗口與職業路徑價值。
ABAB News · 認知定律
開放問題是學術傳統,也是模型的訓練數據。
證明速度超過理解速度時,研究議程先被覆蓋。
發現優先權從人轉移到擁有算力的系統。