Re: [爆卦] 25位菲爾茲獎(數學最高獎)得主對AI的聲明

[jamo (hi)]

※ 引述《jackliao1990 (j)》之銘言：
: https://mathandai.org/
: 此份聲明由世界最強數學家陶哲軒撰寫並由25位菲爾茲獎(數學最高榮譽)簽署
: 《AI在數學領域中的嚴重錯位》
: AI公司為了展示技術卻將破解百年數學難題簡化為展示算力與模型能力的跑分指標。然而
: 題目的價值不在於答案對錯，而在於創造新的理論和概念、推動數學進展。而AI解題時沒
: 有提出新理論，無法帶來有用的觀念啟發。
: 大型科技公司在使用數學家的公開研究論文、課本進行模型訓練時，缺乏透明度與開源精
: 神。當AI給出真假難辨的數學論證時，其內部黑盒子讓數學家極難進行同儕審查，這正在
: 動搖學術誠信的根基。
: AI應定位於輔助，AI應聚焦於幫人理解數學而非試圖取代人
: 類思考。

tao 其實有出來說,以前證明稀缺,所以一個證明出來,很多同行願意免費(低價)驗證/審議

但現在證明滿坑滿坑多到滿出來,沒有人力做驗證,結果瓶頸反而卡在這邊

所以他有在推動如果是AI的證明,那麼驗證者也應該掛名

甚至更激進一點,證明成功的屬名應該是能做解釋作驗證的人,而不是用AI做出解法但無法解釋驗證的人


其實跟 programmer 很像

AI 產 code 的速度,人類已經快要 maintain 不了了

很多 programmer 都已經開始放棄 code review 了


但是檯面上大家基於專業,尊嚴,慣性etcetc,很多人還是不願承認這一點

但 AI 沒在管你人類能不能接受,早晚,不管是寫code,還是數學證明,人類都要面臨一次重大的范式變革~


--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 109.38.153.47 (荷蘭)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1789243814.A.2F0.html
推 milk7054: 就屎工作有人扛，各種羨慕嫉妒，然後鬼
→ milk7054: 扯無法驗證，說白就是愛錢又貪名聲
推 StylishTrade: 不可一世的數學天才被AI打敗QQ
→ StylishTrade: 正在PTSD 走不出來XD
推 L1ON: 前面有一篇吵的很厲害就是,我結果對就行了
→ L1ON: 但事實上如果不能驗証推論其實以後也沒什麼
→ L1ON: 實用性
推 L1ON: 就看以後有沒有更強大的AI或天才證明在唬爛
推 nimama000: 問一些543都會被亂回了 假設他用了99
→ nimama000: 9頁證明 看到最後兩頁才發現引錯的東
→ nimama000: 西呢 證明AI的證明才是最難的
→ yunf: 別跟低端認真
→ WenliYang: 毀滅你，與你有何干？
→ suzer: Tao 自己也在做這事啊，例如，extend 張益
→ suzer: 唐的工作。但最有創意的是 0到 1的那個人
→ suzer: 哦
推 tot9221: 留言能看出來台灣的數學教育很失敗...
推 Tosca: 人類寫的證明由人類驗證
→ Tosca: AI寫的證明要由AI去驗證啦
→ Tosca: 人類要去驗證AI證明當然累死
推 ChungLi5566: 我用自然語言寫的code為什麼還要去
→ ChungLi5566: 看底層怎麼跑 以前高階語言也沒在管
→ ChungLi5566: 底層啊