作者
標題 Re: [爆卦] 25位菲爾茲獎(數學最高獎)得主對AI的聲明
時間 Sun Sep 13 04:10:12 2026
標題 Re: [爆卦] 25位菲爾茲獎(數學最高獎)得主對AI的聲明
時間 Sun Sep 13 04:10:12 2026
※ 引述《jackliao1990 (j)》之銘言：
: https://mathandai.org/
: 此份聲明由世界最強數學家陶哲軒撰寫並由25位菲爾茲獎(數學最高榮譽)簽署
: 《AI在數學領域中的嚴重錯位》
: AI公司為了展示技術卻將破解百年數學難題簡化為展示算力與模型能力的跑分指標。然而
: 題目的價值不在於答案對錯，而在於創造新的理論和概念、推動數學進展。而AI解題時沒
: 有提出新理論，無法帶來有用的觀念啟發。
: 大型科技公司在使用數學家的公開研究論文、課本進行模型訓練時，缺乏透明度與開源精
: 神。當AI給出真假難辨的數學論證時，其內部黑盒子讓數學家極難進行同儕審查，這正在
: 動搖學術誠信的根基。
: AI應定位於輔助，AI應聚焦於幫人理解數學而非試圖取代人
: 類思考。
tao 其實有出來說,以前證明稀缺,所以一個證明出來,很多同行願意免費(低價)驗證/審議
但現在證明滿坑滿坑多到滿出來,沒有人力做驗證,結果瓶頸反而卡在這邊
但現在證明滿坑滿坑多到滿出來,沒有人力做驗證,結果瓶頸反而卡在這邊
所以他有在推動如果是AI的證明,那麼驗證者也應該掛名
甚至更激進一點,證明成功的屬名應該是能做解釋作驗證的人,而不是用AI做出解法但無法解釋驗證的人
其實跟 programmer 很像
AI 產 code 的速度,人類已經快要 maintain 不了了
很多 programmer 都已經開始放棄 code review 了
很多 programmer 都已經開始放棄 code review 了
但是檯面上大家基於專業,尊嚴,慣性etcetc,很多人還是不願承認這一點
但 AI 沒在管你人類能不能接受,早晚,不管是寫code,還是數學證明,人類都要面臨一次重大的范式變革~
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 109.38.153.47 (荷蘭)
※ 作者: jamo 2026-09-13 04:10:12
※ 文章代碼(AID): #1gfR6cBm (Gossiping)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1789243814.A.2F0.html
※ 同主題文章:
09-12 19:35
09-12 20:15
09-12 22:51
09-12 23:04
09-12 23:31
09-12 23:31
09-13 00:02
09-13 01:26
Re: [爆卦] 25位菲爾茲獎(數學最高獎)得主對AI的聲明
09-13 04:10
09-13 06:59
09-13 08:02
09-13 22:30
09-14 00:10
推 : 就屎工作有人扛，各種羨慕嫉妒，然後鬼扯無法驗證，說白就是愛錢又貪名聲1F 27.240.208.13 台灣 09/13 04:21
推 : 不可一世的數學天才被AI打敗QQ
正在PTSD 走不出來XD3F 1.163.127.61 台灣 09/13 04:39
正在PTSD 走不出來XD3F 1.163.127.61 台灣 09/13 04:39
推 : 前面有一篇吵的很厲害就是,我結果對就行了但事實上如果不能驗証推論其實以後也沒什麼實用性
就看以後有沒有更強大的AI或天才證明在唬爛5F 101.10.251.132 台灣 09/13 04:58
就看以後有沒有更強大的AI或天才證明在唬爛5F 101.10.251.132 台灣 09/13 04:58
推 : 問一些543都會被亂回了 假設他用了999頁證明 看到最後兩頁才發現引錯的東西呢 證明AI的證明才是最難的9F 114.136.219.173 台灣 09/13 05:40
--
作者 jamo 的最新發文:
- 20F 7推
![]()
我稍微猶豫了一下這篇文要不要發,因為在台灣這類論調很政治不正確,所以如果你覺得我錯了,那一定是你對! 中國的經濟,跟西方的經濟,底層邏輯完全不同,所以不能拿西方那套經濟理論來分析中國,不然會發現完全 …174F 47推 16噓- 13F 3推
點此顯示更多發文記錄