看板 Gossiping 關於我們 聯絡資訊
※ 引述《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年菲爾茲獎) : Cedric Villani(2010年菲爾茲獎) : Wendelin Werner(2006年菲爾茲獎) 大白話:AI算出來的東西太多,我們看不完,明明只是個輔助,誰叫你來搶魔龍拆主堡的? 大概就是這個樣子。 至於AI會不會取代人類?假議題, 根本不可能!!! 當年AlphaGo戰勝人類後,圍棋難道有消失嗎? 圍棋棋手、獎賽難道有結束嗎? 沒有,反而現在賽事愈辦愈多,棋手們還把AI當來當陪練。 還有,AI翻譯機翻同步口譯,速度已經可以比肩真人了。 翻譯有被取代嗎?沒有,工作愈來愈多。 現在有AI教學,補習班有變少嗎?外語教學需求有減少嗎? 沒有,愈來愈多。甚至家教還會用AI出題,叫你回家練習。 數學家現在只是遇到了其它產業也碰到的問題, 在不爽而已。但再用下去,他們就會離不開AI了。 沒有人會好用的工具多的。 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.42.18.246 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1789225458.A.FBB.html
flysonics: 翻譯真的有被取代不少 36.226.242.196 09/12 23:05
PCC9169: 你用圍棋來當例子真的很弱 61.58.74.79 09/12 23:05
w3160828: 它的點明明是AI沒有創造新的思維方式破 36.237.226.222 09/12 23:06
PCC9169: 這就是人與人之間的娛樂活動.你可以和機 61.58.74.79 09/12 23:06
PCC9169: 器人比賽.但你說圍棋難道有消失這是三小? 61.58.74.79 09/12 23:06
w3160828: 解 只用一堆AI幻覺去破解 還要數學家挖 36.237.226.222 09/12 23:07
w3160828: 屎挖出來屎長怎樣浪費時間 36.237.226.222 09/12 23:07
chirex: 不想被個連用AI寫提示詞都寫不好的人嘴 114.42.18.246 09/12 23:07
tank44444: 原po的翻譯是亂翻的,你去看聲明原文 220.132.125.27 09/12 23:08
PCC9169: 笑死 你吃到J口水喔?如果你要說MMH3.就根 61.58.74.79 09/12 23:08
PCC9169: 本不是提示詞的問題.根本就是大模型本身 61.58.74.79 09/12 23:09
PCC9169: 的問題.難道開發新工作流的外國人是智障 61.58.74.79 09/12 23:09
PCC9169: 嗎?你還要扯越獄?事實就是不用越獄.不用 61.58.74.79 09/12 23:09
potionx: 你嫌工具不好用是想用工具還是不想用工具 111.240.95.108 09/12 23:09
PCC9169: 寫得很精細就可以替代 61.58.74.79 09/12 23:09
PCC9169: 而且你說翻譯沒有消失也是假議題 搞笑 61.58.74.79 09/12 23:09
aggressorX: 數學幾乎沒有研究上限不知道數學家在 61.230.139.11 09/12 23:10
aggressorX: 恐慌啥小 61.230.139.11 09/12 23:10
PCC9169: 你沒提出統計數據.說對翻譯的影響有多大. 61.58.74.79 09/12 23:10
PCC9169: 當然還有人做翻譯.肯定是少很多 61.58.74.79 09/12 23:10
PR58: 翻譯工作越來越多是哪來的數據 挺好奇的 219.70.231.74 09/12 23:12
tank44444: 我很懷疑有多少人去看過那篇聲明的原文 220.132.125.27 09/12 23:12
PCC9169: 連文都不會看.我當初那篇文都把詳細內容 61.58.74.79 09/12 23:13
PCC9169: 貼出來了.結果還在跳針說啥我會不會是AI 61.58.74.79 09/12 23:13
PCC9169: 跳來跳去.並且後續我提出解決方案也證實. 61.58.74.79 09/12 23:13
PCC9169: 和提示詞無關.並且8月中外國人就發現替換 61.58.74.79 09/12 23:13
PCC9169: 問題.難道reddit上的人都是智障?都不會寫 61.58.74.79 09/12 23:13
PCC9169: ? 61.58.74.79 09/12 23:14
PCC9169: 一個連文都不會看的人.在這跳針說別人不 61.58.74.79 09/12 23:14
PCC9169: 會寫提示詞 61.58.74.79 09/12 23:14
mimi1020b: 那就叫AI實現驗證的結果 118.165.29.133 09/12 23:16
UrFather: 就是要慢慢來 溫水慢慢煮☺203.217.101.160 09/12 23:20
q888atPt: 就是搶了別人的利益 要築圍牆保護利益 61.216.56.175 09/12 23:20
q888atPt: 政治問題 在那邊裝什麼高大上 61.216.56.175 09/12 23:21
w3160828: 根本沒搶到利益 是陶挖大糞挖得很不爽 36.237.226.222 09/12 23:26
w3160828: AI驗證後要經過同儕檢驗 確定驗證正確 36.237.226.222 09/12 23:27
w3160828: 陶就整天在那邊挖大糞挖到很不爽 36.237.226.222 09/12 23:27
tuanlin: 翻譯工作有越來越多喔 114.37.228.226 09/12 23:28
potionx: 覺得工具不好用就應該改良工具~ 111.240.95.108 09/12 23:29
potionx: 這是最好的方法了 111.240.95.108 09/12 23:30
a83111444: 其實他們講的是沒得驗證人會弱智化 下 219.68.240.21 09/12 23:40
a83111444: 一代就不會有科學家 219.68.240.21 09/12 23:40
henry1234562: 數學證明不是你說你證明了就可以的 220.141.222.36 09/12 23:44
henry1234562: 這跟你寫了10頁廢紙 說你證完了一樣 220.141.222.36 09/12 23:44
henry1234562: 只是AI寫得更高明 你無法一眼看出 220.141.222.36 09/12 23:44
internetms52: 他們反對的理由跟你說的似乎不太一 42.70.117.157 09/12 23:50
internetms52: 樣 42.70.117.157 09/12 23:50
holycity: 你講的例子都沒數據支持 自己幻想喔 73.170.156.191 09/12 23:52
TurtLeKwei: 你的認知真的不高 1.169.87.228 09/13 00:32
girafa: 請認真看原po原文好嗎 61.227.3.8 09/13 01:08
atari77: 線上語文教學一堆都用AI教師 沒在真人了 61.30.132.67 09/13 01:29
atari77: 還沒被取代 你在幻想什麼 61.30.132.67 09/13 01:29
puritylife: 不要自己幻想好嗎 1.160.19.167 09/13 01:52
HowLeeHi: 你有數據支持嗎 1.160.103.152 09/13 09:28