逾20菲爾茲獎得主警告:AI公司在摧毀數學

  【大公報訊】綜合法新社、《紐約郵報》報道:美國人工智能(AI)公司OpenAI日前宣稱利用AI攻克數學界百年難題,引發熱議。當地時間11日,包括陶哲軒和鄧煜等25位菲爾茲獎得主聯合發表聲明,批評AI公司把攻克數學難題當作跑分指標,破壞數學研究生態。

  這份題為《人工智能在數學中的嚴重失衡》的聯合聲明指出,AI公司將數學難題視為衡量模型能力的「基準測試」,與數學研究追求「形成概念理解和新洞見」的核心目標出現「嚴重錯位」。聲明警告,AI公司「搶發」結果,導致解法來不及經過完整證明、方法提煉和引用前人工作,引發「嚴重的署名和抄襲問題」;沒有數學家的消化和整理,AI找到的想法無法真正融入數學體系,人類數學家之間關鍵的「傳承鏈」將因此斷裂。

  過去半年,AI在解決數學難題方面頻頻取得突破性進展,上述聲明導火索是OpenAI於9月8日宣布,其AI模型僅用88小時便攻克困擾數學界近百年的「千禧年難題」之一:納維—斯托克斯方程的存在性與光滑性問題。OpenAI稱此次運算動用約1萬個AI智能體,消耗1300億個Token,成本高達1000萬美元。但是,紐約大學數學家巴克馬斯特公開指控,他與Anthropic研究員阿爾波格早已在該問題上取得實質進展,並發現關鍵解題路徑。巴克馬斯特稱,OpenAI在獲悉他們的研究後,利用算力優勢「暴力窮舉」,搶先得出證明。

  作為AI輔助數學研究的支持者,陶哲軒警告,AI的介入將導致數學家不再敢公開分享自己尚未成熟的研究方向,因為一旦公開,大量AI算力便會迅速湧入「暴力截糊」。