[問卦] 數學家看到難題被AI攻克在想什麼？

看板Gossiping作者 (小白)時間5小時前 (2026/09/09 08:14), 編輯推噓39(42推 3噓 60→)
留言105則, 59人參與, 51分鐘前最新討論串1/1
最近AI有重大突破 可以自己證明人類證明不出來的數學 數學家看到難題被AI攻克在想什麼 是不是在想為什麼當初要選數學系？ -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 223.140.239.206 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1788912875.A.F47.html
推
09/09 08:15, 5小時前 , 1F
嗯嗯跟我想的一樣
09/09 08:15, 1F
推
09/09 08:15, 5小時前 , 2F
接下來機器人表演當水電工
09/09 08:15, 2F
→
09/09 08:15, 5小時前 , 3F
想更多難題來解鴨
09/09 08:15, 3F
→
09/09 08:16, 5小時前 , 4F
從解題專家變成問題創造者
09/09 08:16, 4F
推
09/09 08:17, 5小時前 , 5F
在想電源插頭在哪裡
09/09 08:17, 5F
推
09/09 08:17, 5小時前 , 6F
很高興能有看到答案的一天啊，而且解完了
09/09 08:17, 6F
→
09/09 08:17, 5小時前 , 7F
還是可以再延伸很多問題
09/09 08:17, 7F
推
09/09 08:17, 5小時前 , 8F
你以為數學只有這個難題嗎
09/09 08:17, 8F
推
09/09 08:18, 5小時前 , 9F
AI大部分用暴力窮舉破解法,人腦目前還是略勝
09/09 08:18, 9F
推
09/09 08:20, 5小時前 , 10F
跟看到富堅又出了幾話一樣，既期待又
09/09 08:20, 10F
→
09/09 08:20, 5小時前 , 11F
怕受傷害，想完結又希望不要完結
09/09 08:20, 11F
推
09/09 08:23, 5小時前 , 12F
會出現人類無法駕馭的理解
09/09 08:23, 12F
推
09/09 08:24, 5小時前 , 13F
全世界的數學家 百思不得其解 為什麼台灣
09/09 08:24, 13F
→
09/09 08:24, 5小時前 , 14F
就像AI把你空投到山頂 但你不知道徒
09/09 08:24, 14F
→
09/09 08:24, 5小時前 , 15F
步的地圖怎麽畫
09/09 08:24, 15F
→
09/09 08:24, 5小時前 , 16F
60%會選輸40% 不知道這題AI有沒有解XD
09/09 08:24, 16F
推
09/09 08:25, 5小時前 , 17F
我看到的是目前他們整天看起來在開趴
09/09 08:25, 17F
→
09/09 08:26, 5小時前 , 18F
都認為自己掌握了什麼核爆工具
09/09 08:26, 18F
→
09/09 08:26, 5小時前 , 19F
你可以自己去確認 事情可能和你期待的
09/09 08:26, 19F
→
09/09 08:26, 5小時前 , 20F
方向不太一樣 這東西太專了 也只有他們
09/09 08:26, 20F
→
09/09 08:27, 5小時前 , 21F
會用
09/09 08:27, 21F
推
09/09 08:29, 5小時前 , 22F
數學家會很開心 他們不在意誰解的
09/09 08:29, 22F
→
09/09 08:30, 5小時前 , 23F
一個問題解決代表數學更進一步
09/09 08:30, 23F
→
09/09 08:30, 5小時前 , 24F
能參考的定理就多一個
09/09 08:30, 24F
→
09/09 08:30, 5小時前 , 25F
數學有解不完的問題 恨不得解快點
09/09 08:30, 25F
→
09/09 08:31, 5小時前 , 26F
而且你AI找出的證明也是大發現
09/09 08:31, 26F
→
09/09 08:32, 5小時前 , 27F
AI底層深度學習、機率就是數學
09/09 08:32, 27F
→
09/09 08:32, 5小時前 , 28F
說沒空看
09/09 08:32, 28F
→
09/09 08:33, 5小時前 , 29F
還是要數學家來和AI合作的一般人又看不懂
09/09 08:33, 29F
推
09/09 08:37, 5小時前 , 30F
超爽吧 有生之年系列竟然解開了
09/09 08:37, 30F
推
09/09 08:39, 5小時前 , 31F
可能覺得自己有機會解出來的人會懊惱啦
09/09 08:39, 31F
→
09/09 08:40, 5小時前 , 32F
畢竟一大筆獎金，大部份人應該是都還好
09/09 08:40, 32F
→
09/09 08:40, 5小時前 , 33F
因為本來就是超難的問題
09/09 08:40, 33F
推
09/09 08:41, 5小時前 , 34F
會很開心的可以在這上面弄出新的問
09/09 08:41, 34F
→
09/09 08:41, 5小時前 , 35F
題
09/09 08:41, 35F
推
09/09 08:41, 5小時前 , 36F
解完人類要驗證阿 還能持續解下去很
09/09 08:41, 36F
→
09/09 08:42, 5小時前 , 37F
好
09/09 08:42, 37F
→
09/09 08:42, 5小時前 , 38F
科學的進展就是永遠站在巨人的肩膀
09/09 08:42, 38F
→
09/09 08:42, 5小時前 , 39F
上朝下一階段前進
09/09 08:42, 39F
還有 26 則推文
→
09/09 09:42, 4小時前 , 66F
解出來也要驗證吧？
09/09 09:42, 66F
推
09/09 09:46, 4小時前 , 67F
數學不缺難題 而且是不是攻破 目前體制下
09/09 09:46, 67F
→
09/09 09:47, 4小時前 , 68F
一定要活人數學家人腦驗證後才算數
09/09 09:47, 68F
→
09/09 09:47, 4小時前 , 69F
所以現在數學界很忙的 因為大家都在驗算
09/09 09:47, 69F
→
09/09 09:49, 4小時前 , 70F
現在也可以用Lean驗證，不一定人腦
09/09 09:49, 70F
→
09/09 09:50, 4小時前 , 71F
不過除非證明長到無法讀完 專家還是會想
09/09 09:50, 71F
→
09/09 09:50, 4小時前 , 72F
親自驗證吧
09/09 09:50, 72F
推
09/09 09:57, 4小時前 , 73F
AI還無法創造新的解法 都是拿現有的去嘗
09/09 09:57, 73F
→
09/09 09:57, 4小時前 , 74F
試 數學家還是會存在的
09/09 09:57, 74F
推
09/09 09:59, 4小時前 , 75F
你以為給你ai你就能做到喔？prompt 怎麼寫
09/09 09:59, 75F
→
09/09 09:59, 4小時前 , 76F
？如何驗證結果？而且ai的很多發想跟證明
09/09 09:59, 76F
→
09/09 09:59, 4小時前 , 77F
手法也是來自過去數學家的累積 看某樓明顯
09/09 09:59, 77F
→
09/09 09:59, 4小時前 , 78F
不知道ai的產生來自於數學 亂比喻有夠無知
09/09 09:59, 78F
推
09/09 10:00, 4小時前 , 79F
怎麼會是窮舉法？ 不是領域證明嗎？
09/09 10:00, 79F
→
09/09 10:00, 4小時前 , 80F
而且幾乎都是驗證過才發表
09/09 10:00, 80F
→
09/09 10:00, 4小時前 , 81F
知道的越多知道的越少
09/09 10:00, 81F
推
09/09 10:04, 3小時前 , 82F
等AI創造某理論 而不是解決數學難題 再
09/09 10:04, 82F
→
09/09 10:04, 3小時前 , 83F
來談取代
09/09 10:04, 83F
推
09/09 10:06, 3小時前 , 84F
前幾天看到一個數學教授開玩笑說以後數學
09/09 10:06, 84F
→
09/09 10:06, 3小時前 , 85F
研究會變成抽卡式科研
09/09 10:06, 85F
推
09/09 10:12, 3小時前 , 86F
09/09 10:12, 86F
→
09/09 10:41, 3小時前 , 87F
嗯嗯跟我想的一樣
09/09 10:41, 87F
推
09/09 10:54, 3小時前 , 88F
幹真der假der啦，先前我der認知1直都4
09/09 10:54, 88F
→
09/09 10:54, 3小時前 , 89F
人類知識der極限就4AIder極限。
09/09 10:54, 89F
→
09/09 10:55, 3小時前 , 90F
ai已經自我突破極限惹嗎?
09/09 10:55, 90F
推
09/09 10:56, 3小時前 , 91F
很高興吧 可以再往更難的方向走
09/09 10:56, 91F
→
09/09 10:58, 3小時前 , 92F
不會就是不會啊
09/09 10:58, 92F
推
09/09 11:00, 3小時前 , 93F
解一題不知道花多少成本
09/09 11:00, 93F
推
09/09 11:01, 3小時前 , 94F
應該會很開心吧？
09/09 11:01, 94F
推
09/09 11:09, 2小時前 , 95F
B有個博士生每天拍崩潰影片
09/09 11:09, 95F
推
09/09 11:26, 2小時前 , 96F
陶哲軒有發表看法 AI本來就可以用龐大的神
09/09 11:26, 96F
→
09/09 11:26, 2小時前 , 97F
經網路去攻克難題。試一萬種方法只要有一次
09/09 11:26, 97F
→
09/09 11:26, 2小時前 , 98F
中了就突破了。
09/09 11:26, 98F
推
09/09 11:37, 2小時前 , 99F
工作量暴增 本來要證明一輩子沒機會
09/09 11:37, 99F
→
09/09 11:37, 2小時前 , 100F
證明的問題坑坑後輩的 現在變成這輩
09/09 11:37, 100F
→
09/09 11:37, 2小時前 , 101F
子要驗證AI到底有沒有算對
09/09 11:37, 101F
推
09/09 11:47, 2小時前 , 102F
在想活著的價值啊
09/09 11:47, 102F
推
09/09 12:20, 1小時前 , 103F
又少一個金飯碗了
09/09 12:20, 103F
推
09/09 13:10, 51分鐘前 , 104F
AI證明出來了 但需要有人驗證 現在
09/09 13:10, 104F
→
09/09 13:10, 51分鐘前 , 105F
就卡一堆在這
09/09 13:10, 105F
‣ 更多 kinjk01 的文章
文章代碼(AID): #1geAJhz7 (Gossiping)