為什麼人工智能的發展會威脅數學家職業,但不會威脅哲學家 一、數學的核心是可形式化的推理,而AI擅長的正是形式化任務 數學的本質在很大程度上是在給定公理系統內進行嚴格的符號操作、證明和計算。無論問題多麼複雜,數學推理最終可以被還原為一系列可被機器驗證、甚至生成的邏輯步驟。近年來,從自動定理證明器到大模型在國際數學奧林匹克競賽中取得的成績,都表明AI已經能夠在相當高的水平上完成數學證明、猜想探索甚至新定理的發現。這意味着數學家工作中很大一部分——尤其是"解題""證明""計算"這類環節——正在被機器逐漸接管。 二、哲學處理的是意義、價值與前提本身,而非在既定規則內求解 哲學不是在一套給定公理下尋找答案,而恰恰是在不斷追問"這套公理為何成立""這個問題該如何被提出"。哲學的核心活動——概念澄清、價值判斷、對前提的反思、對"什麼才算合理"本身的追問——本質上不是可以被算法在封閉系統內窮舉的任務。AI可以模仿哲學論證的語言形式,甚至生成看似有說服力的論述,但它無法像人類那樣,從活生生的生存處境、倫理關切和自我意識出發去"提出"真正具有原創性的問題。哲學問題的價值往往不在於"被解決",而在於被不斷重新理解。 三、數學有客觀的對錯標準,哲學沒有 數學命題一旦被證明,正確性是可以機械驗證的,這恰恰給了AI一個可訓練、可優化的明確目標(如強化學習中的"驗證器")。而哲學論證的"好壞"高度依賴於視角、價值預設和歷史語境,沒有一個統一、可自動化驗證的標準。這種"無法被單一標準窮盡"的特性,反而保護了哲學不被簡化為一種可被優化的任務。 四、哲學家的工作對象包括AI本身的意義 諷刺的是,AI的興起本身恰恰為哲學提供了新的、無法被AI自己回答的問題:智能是什麼?意識能否被模擬?機器能否真正"理解"?這類關於AI本身的元反思,只能由人——具有自我意識和存在處境的主體——來承擔,AI無法從外部為自身的意義"代言"。 結語 數學家的部分工作可以被形式化並因此被自動化;哲學家的工作恰恰在於不斷挑戰"形式化"本身的邊界。這也提示我們:真正難以被AI取代的,不是知識的複雜度,而是提出問題、質疑前提、賦予意義這一類不能被封閉在規則系統內的活動。 |