動察 Beating AI 快訊,陶哲軒、鄧煜、Peter Scholze 等 25 位菲爾茲獎得主聯名發布聲明,稱 AI 公司正把解決重大數學難題當成 benchmark,已經開始傷害數學研究。聲明承認,大模型最近幾個月進步很快,已經能解決多個領域的重要未解問題,但數學更看重由此產生的新概念、新方法和理解。
他們最不滿的是 AI 公司搶著公布結果。聲明稱,一些解法還沒來得及整理完整證明、提煉新方法、補齊前人引用,就已經對外宣布,由此帶來嚴重的署名和抄襲問題。沒有數學家繼續消化和整理這些結果,AI 找到的想法也很難真正進入數學體系。
聲明沒有點名 OpenAI,但《經濟學人》的配套報道直接把標題寫成「頂尖數學家對 OpenAI 的做法感到憤怒」。幾天前,OpenAI 剛因 Navier-Stokes 證明陷入署名和未公開研究爭議。陶哲軒稱,這份聲明是 25 位菲爾茲獎得主過去一週討論後快速形成的,因為他們認為情況已經足夠緊急。