![]()
來自全球各地的150多位數學專家近日簽署一份新宣言,嚴厲警告政府在評估人工智能解決復雜數學問題的能力時,切勿“相信炒作”。這一舉動為近期關于AI在數學領域取得革命性突破的說法潑了一盆冷水。
學界駁斥“AI自主解題”論調
爭議的導火索源于今年早些時候的一系列事件。一名毫無正式數學訓練背景的23歲年輕人聲稱利用ChatGPT解決了著名的“埃爾德什問題”之一;隨后,OpenAI又宣稱其AI模型推翻了一項由匈牙利數學家保羅·埃爾德什提出、已有80年歷史的“單位距離”猜想,并自夸這是“人工智能首次自主解決了一個對數學領域至關重要的著名開放性問題”。
然而,這些說法在專家群體中引發了激烈爭論。國際數學聯盟副主席烏爾麗克·蒂爾曼(Ulrike Tillmann)在伴隨《萊頓宣言:人工智能與數學》發布的聲明中指出,人工智能提出了“不能不予以審視的問題”。她強調,未來的數學研究必須由人類判斷、公平透明的實踐以及全球數學社區的共享價值觀來指導。
警惕“看似合理”的錯誤證明
宣言指出,科技行業存在夸大產品能力的強烈商業動機,建議政策制定者在決策時應咨詢包括數學家在內的專家,而非依賴新聞稿或大眾媒體的報道。
牛津大學計算機科學系主任萊斯利·安·戈德堡(Leslie Ann Goldberg)作為簽署人之一警告稱,當前的自動化技術可能產生看似合理但不可靠、甚至錯誤的論證,且難以與正確的數學證明區分。鑒于數學研究幾乎總是建立在先前成果之上,文獻結果的正確性至關重要,AI生成的錯誤內容可能對學科基礎造成嚴重破壞。
學術困境與倫理隱憂
宣言還揭示了學者們面臨的現實困境。在高等教育資金不足和學術就業不穩定的背景下,工業界提供的優厚職位、金錢獎勵及計算資源對數學家極具吸引力,迫使他們有時不得不支持該技術。此外,宣言呼吁對AI進行更廣泛的監管監督,提及該行業參與軍事和大規模監控、開發破壞民主的技術以及高昂的環境成本等問題。
幫助起草宣言的萊頓大學AI人類學家羅德里戈·奧奇加梅(Rodrigo Ochigame)指出,許多從未打算為AI發展做出貢獻的數學家,其作品在未經同意的情況下被用于訓練模型,這是一種令人擔憂的狀況。這不僅關乎數學界,更反映了整個科學界正面臨因過度依賴AI及“幻覺”污染同行評審過程的風險。
【星途科訊 圖文丨陸川】
特別聲明:以上內容(如有圖片或視頻亦包括在內)為自媒體平臺“網易號”用戶上傳并發布,本平臺僅提供信息存儲服務。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.