📁 泰倫斯·陶,菲爾茲獎數學家,表示數學可能成為AI最安全且最強大的領域。 語言模型可能非常出色或完全錯誤,但在數學中,每一個主張都必須經過邏輯的檢驗,甚至可以通過證明助手來驗證。 在其他領域面對不可靠性時,數學能夠消除噪音,僅保留真實的內容。