陶哲軒警告數學危機：AI證明覆雜難懂

陶哲軒指出AI將導致證明充裕，核心價值轉向驗證與闡釋，無法清晰解釋的AI證明不應發表。

據 Woofun AI 消息，數學家陶哲軒在國際數學家大會演講中警告，數學領域正面臨價值觀與研究方法的根本性危機。他指出，人工智能很快能以合理成本完成大量研究級數學任務，在最新測試中，AI系統以10至1000美元的成本爲7道新題目提供了可發表質量的解決方案。陶哲軒認爲，數學將從'證明稀缺'轉向'證明充裕'，真正稀缺的能力變爲評估結果重要性及清晰闡釋證明過程。他強調，若研究者無法準確闡述由AI生成且已驗證的證明，相關成果不應予以發表。