數學家陶志明警告:隨著 AI 解決了 10 個研究問題中的 7 個,數學正面臨證明匱乏危機

根據在國際數學家大會(ICM)上數學家陶致明(Zhiming Tao)的說法,數學正因研究方法與價值而面臨根本性危機,因為現今的 AI 系統已能以每題 10 到 1,000 美元的成本解決研究層級的數學問題。根據 First Proof 的測試,AI 系統在 10 個全新研究問題中解出了 7 個達到可發表品質的解答,令數學從「證明稀缺」轉向「證明充裕」。陶強調,未來的關鍵能力將不再是率先解題,而是改為判斷結果的重要性、清楚解釋證明,並將其轉化為可供人類共同理解的知識。
免責聲明:本頁面資訊可能來自第三方來源,僅供參考,不代表 Gate 的立場或觀點,亦不構成任何財務、投資或法律建議。虛擬資產交易具有高風險,請勿僅依賴本頁資訊作出決策。詳情請參閱 免責聲明
回覆
0/400
暫無回覆