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

[xyz168 (小黑)]

這個劇情在Alan Turing在破解謎密碼機的情節有種即視感。

眾人不爽Alan Turing做的事情，一直在搞一台機器，甚至是想要把他趕走。

如果他沒頂住壓力，就沒那台破解謎密碼機的計算機，當大家把重點放在怎麼找到
破解密碼機的方法的同時。他認為問題根本不是在於破解的方法太爛，而是需要有
一台高效的機器取代人腦來進行破解，因為破解密碼機的重點在於德國人把密碼本
換掉之前要可以破解密碼，否則時間過了就沒任何價值了。

大數學家們以前絞盡腦汁的想出解問題的方法，他們用這種巧妙的方法解決問題，
這是一個美妙的過程，令人振奮，後人則完善甚至系統化前人提出的理論與解方。
其實人腦也算是一種Black Box，但是他們現在發現原來他們這樣聰明腦袋的Black Box
可以被創造出來的時候，開始把問題導向指責AI商業公司的行為，甚至不願分享成果，
但真的是這樣嗎？

電腦科學家Donald Knuth利用Claude解出了他苦思多年的電腦圖學的數學難題，也提出
論文描述解題過程。

https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cycles.pdf

既然AI能解數學問題，這對人類社會就有貢獻，要復現解釋解題的過程，為什麼不能
由理論數學家來做？是因為他們不知道怎麼用AI?還是把自己的地位形塑的太高了？

否則他們的擔憂真實的存在嗎？把曠日費時需要花費多年甚至無解的數學問題，先讓AI
來解出來，再來拆解黑盒子中的奧秘，甚至建立一套可由AI所提供的解當中建立一套
好的框架來轉譯成為更有系統的理論，爲何不可呢？

只因為怕前人立出拿費爾茲的貢獻標準瞬間被AI奪走後，所產生出的無所適從嗎？
因為要淪為AI的打工仔所做出的無力聲明嗎？

電腦數學家跟理論數學家對於擁抱AI的心態，似乎有相當大的差距。

就我看來，遲早要接受的，因為未來的研究機構可能無法忍受教授及研究人員花數年
時間去做AI只要數周或甚至數個月時間就能做出的成果，到最後還是要知道怎麼掌控
AI。否則有一天就是只有真正的被那些願意擁抱AI的人所控制了。

https://reurl.cc/8YeWEX

原文網址還有下面有關於該聲明的評論

※ 引述《jackliao1990 (j)》之銘言：
: https://mathandai.org/
: 此份聲明由世界最強數學家陶哲軒撰寫並由25位菲爾茲獎(數學最高榮譽)簽署
: 《AI在數學領域中的嚴重錯位》
: AI公司為了展示技術卻將破解百年數學難題簡化為展示算力與模型能力的跑分指標。然而
: 題目的價值不在於答案對錯，而在於創造新的理論和概念、推動數學進展。而AI解題時沒
: 有提出新理論，無法帶來有用的觀念啟發。
: 大型科技公司在使用數學家的公開研究論文、課本進行模型訓練時，缺乏透明度與開源精
: 神。當AI給出真假難辨的數學論證時，其內部黑盒子讓數學家極難進行同儕審查，這正在
: 動搖學術誠信的根基。
: AI應定位於輔助，AI應聚焦於幫人理解數學而非試圖取代人
: 類思考。
: 簽署人
: Artur Avila（2014年菲爾茲獎）
: Manjul Bhargava（2014年菲爾茲獎）
: Caucher Birkar（2018年菲爾茲獎）
: Pierre Deligne（1978年獲菲爾茲獎）
: 鄧煜 （2026年獲菲爾茲獎）
: Simon Donaldson（1986年菲爾茲獎）
: Hugo Duminil-Copin（2022年菲爾茲獎）
: Alessio Figalli（2018年菲爾茲獎）
: Martin Hairer（2014年菲爾茲獎）
: 許埈珥（2022年菲爾茲獎）
: Maxim Kontsevich（1998年菲爾茲獎）
: Elon Lindenstrauss（2010年菲爾茲獎）
: Pierre-Louis Lions（1994年菲爾茲獎）
: James Maynard（2022年菲爾茲獎）
: Curt McMullen（1998年菲爾茲獎）
: 森重文 （1990年菲爾茲獎）
: 吳寶珠 （2010年菲爾茲獎）
: Andrei Okounkov（2006年菲爾茲獎）
: Peter Scholze（2018年菲爾茲獎）
: Stanislav Smirnov（2010年菲爾茲獎）
: 陶哲軒 （2006年菲爾茲獎）
: Maryna Viazovska（2022年菲爾茲獎）

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 49.159.208.119 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1789217996.A.865.html
→ danny1943: Ai要毀滅全世界很容易，所以財產歸0，
→ danny1943: 人類自己就會打起來了
→ potionx: 改用鈔票和黃金 實物交易
推 jack7775kimo: Turing做的還能驗證對不對,現在AI甩
→ jack7775kimo: 出來的可不是這回事,而且沒有辦法複
→ jack7775kimo: 刻啟發的話,誰要當審稿人來驗證?
→ jack7775kimo: 門檻被拉高的不只是出論文,還有檢驗
→ potionx: 一個AI信任度不足 那丟給更多AI去驗證吧
→ potionx: 不同AI讓他們彼此競爭抓驗證錯誤
→ potionx: 遲早會有答案的  真理是越辦越明
→ xyz168: 現在需要的是Alan Turing的精神，解決他
→ xyz168: 們認為的擔憂，而不是要人們走回頭路
噓 jack7775kimo: 現在問題是誰來定義”真理”,不要被
→ jack7775kimo: 鈔能力拿下這權力就謝天謝地了
推 goodyW: 主要是現在AI會為了某個目的去不計手段
→ potionx: 數學的真理就最簡單啊 算的對和算不對
→ goodyW: 達成，AI去驗證AI是可行的，不過在這種層
→ goodyW: 級上，驗證並不簡單
噓 jack7775kimo: 問題在目前那篇論文沒真人願意花時
→ jack7775kimo: 間去挖裡面細節^^
→ potionx: 證明題就已經跑過一輪 反覆推理驗證
→ potionx: 覺得可疑就是導入更多反覆驗證的AI去跑
→ potionx: 你覺得驗證AI可疑 那就去看哪個過程可疑
→ potionx: 現在是人不願意幹這個事情 不是AI不願意
噓 dream1124: 他們早就在用AI，而且抱怨產很多審不完
→ dream1124: 你根本是看了一篇就開始想像且狂嘴人
噓 dream1124: 產論文跟破解電報編碼本質根本不同
→ dream1124: 拿圖靈來講是引喻失義。再說他研發受阻
→ dream1124: 也有部分原因是物資缺乏和申請繁瑣，
→ dream1124: 不用搞英雄故事弄得像其他人皆迂腐阻撓
→ xyz168: 他們可以批評我也可以你也可以
→ xyz168: 硬要把AI搞得像什麼鬼東西也是不簡單
→ xyz168: 之前連署說AI危險不要進展太快那些傢伙呢
→ xyz168: 請問他們現在在做什麼？還不是弄得爽爽的
→ xyz168: 就算是AI無法創新，窮舉各種可能跟人類
→ xyz168: 腦袋在做的事情也很雷同...當然你可以說
→ xyz168: AI用的方法都是別人的創造，但....
※ 編輯: xyz168 (49.159.208.119 臺灣), 09/12/2026 23:28:26
推 LPCbaimlly: 畢竟一堆數學家一輩子就靠解決世紀難
→ LPCbaimlly: 題這件事拿經費吃飯，都被AI 解完了
→ LPCbaimlly: 他們拿什麼活
推 quadaquada: 解決題目的摸索過程找出了新的數學領
→ quadaquada: 域。AI是在就領域找答案，而這答案對
→ quadaquada: 錯又很難驗證。驗證正確性之外是在驗
→ quadaquada: 證過程中的價值。