設萬維讀者為首頁 萬維讀者網 -- 全球華人的精神家園 廣告服務 聯繫我們 關於萬維
 
首  頁 新  聞 視  頻 博  客 論  壇 分類廣告 購  物
搜索>> 發表日誌 控制面板 個人相冊 給我留言
幫助 退出
     
  hare的博客
  In Reason We Trust
網絡日誌正文
為什麼人工智能的發展會威脅數學家職業,但不會威脅哲學家 2026-09-23 10:17:29

為什麼人工智能的發展會威脅數學家職業,但不會威脅哲學家

一、數學的核心是可形式化的推理,而AI擅長的正是形式化任務

數學的本質在很大程度上是在給定公理系統內進行嚴格的符號操作、證明和計算。無論問題多麼複雜,數學推理最終可以被還原為一系列可被機器驗證、甚至生成的邏輯步驟。近年來,從自動定理證明器到大模型在國際數學奧林匹克競賽中取得的成績,都表明AI已經能夠在相當高的水平上完成數學證明、猜想探索甚至新定理的發現。這意味着數學家工作中很大一部分——尤其是"解題""證明""計算"這類環節——正在被機器逐漸接管。

二、哲學處理的是意義、價值與前提本身,而非在既定規則內求解

哲學不是在一套給定公理下尋找答案,而恰恰是在不斷追問"這套公理為何成立""這個問題該如何被提出"。哲學的核心活動——概念澄清、價值判斷、對前提的反思、對"什麼才算合理"本身的追問——本質上不是可以被算法在封閉系統內窮舉的任務。AI可以模仿哲學論證的語言形式,甚至生成看似有說服力的論述,但它無法像人類那樣,從活生生的生存處境、倫理關切和自我意識出發去"提出"真正具有原創性的問題。哲學問題的價值往往不在於"被解決",而在於被不斷重新理解。

三、數學有客觀的對錯標準,哲學沒有

數學命題一旦被證明,正確性是可以機械驗證的,這恰恰給了AI一個可訓練、可優化的明確目標(如強化學習中的"驗證器")。而哲學論證的"好壞"高度依賴於視角、價值預設和歷史語境,沒有一個統一、可自動化驗證的標準。這種"無法被單一標準窮盡"的特性,反而保護了哲學不被簡化為一種可被優化的任務。

四、哲學家的工作對象包括AI本身的意義

諷刺的是,AI的興起本身恰恰為哲學提供了新的、無法被AI自己回答的問題:智能是什麼?意識能否被模擬?機器能否真正"理解"?這類關於AI本身的元反思,只能由人——具有自我意識和存在處境的主體——來承擔,AI無法從外部為自身的意義"代言"。

結語

數學家的部分工作可以被形式化並因此被自動化;哲學家的工作恰恰在於不斷挑戰"形式化"本身的邊界。這也提示我們:真正難以被AI取代的,不是知識的複雜度,而是提出問題、質疑前提、賦予意義這一類不能被封閉在規則系統內的活動。

瀏覽(776) (1) 評論(8)
發表評論
文章評論
作者:恨中 留言時間:2026-09-27 13:32:27

真相只有一個

說明哲學家胡說八道,並非真理

回復 | 0
作者:菓趣 回復 hare 留言時間:2026-09-23 15:36:45

黎曼猜想的證明算不算我是歷史上前幾位?菲爾茨獎的得主不是因為那個獎受到威脅,是因為他們得獎只是當大數學家的起點。如果繼續做出同樣甚至更好的結果不是太容易,所以受到威脅。我做出這個黎曼猜想就沒有後顧之憂了,美國聯邦政府要聘我擔任高官為政治學術軍事當指路人。我的職位到手,職稱有點嚇人。

回復 | 0
作者:hare 留言時間:2026-09-23 14:21:26

嚴格地說,應該是普通數學家和哲學教師的職業受人工智能的危脅。真正的大哲學家和數學家不在此列。23個費爾茨獎得主簽名,他們感到威脅,說明這個群體很難稱為大數學家了。只有在人類歷史上前幾位的,才不會在乎人工智能的發展。

回復 | 1
作者:菓趣 留言時間:2026-09-23 13:23:57

“計算性智能”是我與ChapGPT討論良久好幾天后,它同意採用我的用詞“計算性智能”來代替容易使人誤解的“人工智能”。

回復 | 0
作者:菓趣 留言時間:2026-09-23 13:21:54


ChapGPT 修改我的評論覺得它的如下評論更為合適:


數學教學中的部分重複性工作,確實可能由計算性智能協助或替代;數學家的工作卻不能簡單等同於這些工作。提出值得研究的問題、創造新的概念和方法、判斷證明的意義,仍然需要人的思考與判斷。

計算性智能擁有龐大的信息處理能力和很高的運算速度,是數學研究的有力助手。我在其他博文中也討論了它的計算機原理,以及為什麼不能把出色的計算表現直接等同於人類思維。歡迎討論這些論證。


回復 | 0
作者:菓趣 留言時間:2026-09-23 13:16:07

一位不成功的哲學家說 AI將威脅數學家的工作,但是不會威脅哲學家的工作。我應該如何回評?


ChapGPT說,


人工智能確實會改變數學家的工作:它可以協助計算、檢索文獻、尋找例子,甚至提出證明思路。但數學研究還需要判斷什麼問題值得研究、發現概念之間的新聯繫,並嚴格審查證明是否成立。

哲學家的工作也會受到影響。梳理文獻、比較論證和起草文字,人工智能同樣可以協助完成。因此,說它只威脅數學家、不威脅哲學家,恐怕低估了它對兩個領域的影響,也把“協助工作”過早地等同於“取代學者”。

回復 | 0
作者:菓趣 留言時間:2026-09-23 13:00:46

作者:菓趣留言時間:2026-09-23 12:51:05

這是我的另一處評論。那裡提到的六位研究員,其中一位除了其他條件外,需要是精通英文中文(比如遠超過我作為負責人的英文中文水平)的專家。

回復 | 0
作者:菓趣 留言時間:2026-09-23 12:47:35

數學家的工作不可能被人工智能(計算性智能)代替,我剛寫了一篇這個問題的論文。明天發表!

程伏銳:

人類思維與計算性智能的互補

-- 人機合作如何擴展創造過程的初步研究


倒是數學老師的工作部分至少被計算性智能替代。但是只有創新才算真正的數學家的工作,不可能被AI替代。因為人工智能不可能具備人類的創新能力,它不會思考只是重複性工作(我那裡也有其他博文解釋為什麼AI受制於計算機原理)。但是計算性智能的龐大記憶能力和高速運轉能力是人類的巨大幫手。請移步到我那裡評論明天我將發表的論文,這篇論文將作為我的聯邦行政職位上的作品。我還需要三位副手,六位研究員;這些要等我的職位正式宣布後根據聯邦法律和行政法規開始招聘。同時被聘人員需要通過嚴格的安全審查。


回復 | 0
我的名片
hare
註冊日期: 2012-01-13
訪問總量: 2,790,148 次
點擊查看我的個人資料
Calendar
最新發布
· 中國文化最主要的問題是缺乏精神
· To Say That Artificial Intelli
· 為什麼中國讀書人喜歡一人之下萬
· 為什麼90%以上的文科學人都是人
· 人工智能的危機:混淆了思維和思
· 從哈薩比斯的虛擬細胞到人工生命
· AA與物自體有什麼區別?
友好鏈接
· Rabbit:Stinger 的博客
· bunny2:bunny2的博客
· microsoftbug:microsoftbug的博
· InstanceTV:InstanceTV的博客
· 中國現代哲學家學會:中國現代哲
· Madhatter:English_only的博客
分類目錄
【公告】
· 在中國創辦《標準英語》教學法-
· 聲明關於人工智能幫助寫作
· 川小子承認輸了,“但你等着,我
· 他們能算中國人嗎?
· 對待文化和語言就應像對待手機
· 關於“範例哲學”的聲明
· 支持發展哲學建個人音樂網頁
· 《論範例》第一版出版日期:2013
· 【論範例】建議網名改真名通知
· 【】範例電視台本周末講座預告【
【政治】
· 中國文化最主要的問題是缺乏精神
· 中國現在到底是個什麼社會?
· 北京打起來了?
· 倒習失敗-又一次狼來了?
· 台灣應該造原子彈來保衛自己
· 維護世界秩序需不需要警察?——從
· 為什麼中國人熱衷社交“面子”,卻
· 一個山貨郎的狂妄:對無知、自大
· 為什麼在中國什麼都可以造假?——
· 川普與習再會——中美關係的百年恩
【知識分子】
· 為什麼90%以上的文科學人都是人
· 我的語言故事
· 西方知識分子的 intellectual ho
· 為什麼世界往往不喜歡哲學家?
· 從世界一流人才的聚集看美國的偉
· 中國讀書人為什麼看不清皇權專制
· a comprehensive list of 20 b
· 從中國音樂、數學、文字、哲學、
· 為什麼中國讀書人不喜歡“人人平
· 知識的背叛
【生活】
· 面子國的面子王訪美-川普真搞懂
· 幾個觀察
· 回中國的感慨
· 《標準英語》徵求意見稿
· 一位應該立雕像的中國人
· 人性與敵人
· 為什麼太太從不對先生承認自己錯
· 嫉妒還是真相?
· 誰是最偉大的人?
· 哲學界沒有諾貝爾獎,是一件極大
【Test】
· 中國的讀書人- 政治盲人
· 學外語前個人的語言天賦量化測定
· U r invited to give your BEST
· 2020年美國大選最大的賊-川普本
· 周末思緒
· 海外華人里誰的英語最牛(3)
【絕學】
· To Say That Artificial Intelli
· 為什麼中國讀書人喜歡一人之下萬
· 人工智能的危機:混淆了思維和思
· 從哈薩比斯的虛擬細胞到人工生命
· AA與物自體有什麼區別?
· 為什麼人工智能的發展會威脅數學
· On Numbers theory and infinity
· From Elephant and Teapot to
· On the two levels of wholeness
· Why PI is Uncountable- an Inst
存檔目錄
2026-10-01 - 2026-10-04
2026-09-02 - 2026-09-30
2026-08-16 - 2026-08-16
2026-03-08 - 2026-03-22
2026-02-05 - 2026-02-28
2026-01-02 - 2026-01-31
2025-12-01 - 2025-12-31
2025-11-01 - 2025-11-30
2025-10-02 - 2025-10-30
2025-09-05 - 2025-09-28
2025-08-03 - 2025-08-28
2025-07-10 - 2025-07-29
2025-06-01 - 2025-06-26
2025-05-01 - 2025-05-30
2025-04-01 - 2025-04-30
2025-03-06 - 2025-03-31
2025-02-13 - 2025-02-17
2023-12-20 - 2023-12-24
2023-11-08 - 2023-11-29
2023-10-01 - 2023-10-20
2023-09-03 - 2023-09-19
2023-03-21 - 2023-03-21
2023-01-07 - 2023-01-22
2022-12-04 - 2022-12-04
2022-11-27 - 2022-11-28
2022-09-11 - 2022-09-11
2022-08-07 - 2022-08-07
2022-07-11 - 2022-07-25
2022-06-01 - 2022-06-07
2022-05-05 - 2022-05-29
2022-04-01 - 2022-04-26
2022-03-02 - 2022-03-30
2022-02-12 - 2022-02-28
2022-01-02 - 2022-01-22
2021-12-01 - 2021-12-30
2021-11-03 - 2021-11-27
2021-10-01 - 2021-10-23
2021-09-11 - 2021-09-30
2021-08-05 - 2021-08-22
2021-07-04 - 2021-07-31
2021-05-09 - 2021-05-17
2021-04-18 - 2021-04-18
2021-02-01 - 2021-02-13
2021-01-04 - 2021-01-22
2020-12-17 - 2020-12-17
2020-11-09 - 2020-11-29
2020-10-23 - 2020-10-24
2020-03-21 - 2020-03-21
2020-01-19 - 2020-01-25
2019-08-04 - 2019-08-21
2019-07-04 - 2019-07-05
2019-06-28 - 2019-06-28
2019-05-14 - 2019-05-27
2019-04-06 - 2019-04-26
2019-03-03 - 2019-03-29
2019-02-02 - 2019-02-26
2019-01-01 - 2019-01-31
2018-12-02 - 2018-12-31
2018-11-02 - 2018-11-29
2018-10-01 - 2018-10-26
2018-09-02 - 2018-09-27
2018-08-01 - 2018-08-31
2018-07-01 - 2018-07-31
2018-06-02 - 2018-06-29
2018-05-01 - 2018-05-27
2018-04-05 - 2018-04-25
2018-03-01 - 2018-03-30
2018-02-06 - 2018-02-25
2018-01-06 - 2018-01-31
2017-12-01 - 2017-12-31
2017-11-04 - 2017-11-26
2017-10-27 - 2017-10-27
2017-08-25 - 2017-08-31
2017-07-11 - 2017-07-15
2017-04-02 - 2017-04-25
2017-01-18 - 2017-01-18
2016-11-15 - 2016-11-15
2016-04-04 - 2016-04-11
2016-03-01 - 2016-03-31
2016-02-14 - 2016-02-29
2016-01-08 - 2016-01-24
2015-10-08 - 2015-10-08
2015-09-03 - 2015-09-25
2015-08-03 - 2015-08-29
2015-07-27 - 2015-07-31
2015-06-12 - 2015-06-12
2015-05-16 - 2015-05-16
2015-04-25 - 2015-04-25
2015-03-03 - 2015-03-07
2015-02-14 - 2015-02-22
2015-01-03 - 2015-01-25
2014-12-08 - 2014-12-08
2014-11-12 - 2014-11-27
2014-10-01 - 2014-10-30
2014-09-04 - 2014-09-29
2014-08-04 - 2014-08-14
2014-07-13 - 2014-07-24
2014-06-15 - 2014-06-29
2014-05-04 - 2014-05-25
2014-04-21 - 2014-04-26
2014-03-01 - 2014-03-16
2014-02-02 - 2014-02-26
2014-01-01 - 2014-01-26
2013-12-01 - 2013-12-26
2013-11-27 - 2013-11-30
2013-10-12 - 2013-10-17
2013-09-03 - 2013-09-15
2013-08-07 - 2013-08-31
2013-07-13 - 2013-07-23
2013-06-05 - 2013-06-19
2013-05-06 - 2013-05-31
2013-04-02 - 2013-04-30
2013-03-14 - 2013-03-28
2013-02-02 - 2013-02-27
2013-01-04 - 2013-01-30
2012-12-03 - 2012-12-31
2012-11-01 - 2012-11-30
2012-10-01 - 2012-10-31
2012-09-01 - 2012-09-29
2012-08-01 - 2012-08-27
2012-07-01 - 2012-07-30
2012-06-02 - 2012-06-28
2012-05-03 - 2012-05-30
2012-04-04 - 2012-04-26
2012-03-01 - 2012-03-09
2012-02-02 - 2012-02-29
2012-01-12 - 2012-01-31
 
關於本站 | 廣告服務 | 聯繫我們 | 招聘信息 | 網站導航 | 隱私保護
Copyright (C) 1998-2026. Creaders.NET. All Rights Reserved.