作者kinjk01 (小白)
看板Gossiping
標題[問卦] 數學家看到難題被AI攻克在想什麼？
時間Wed Sep 9 08:14:32 2026
最近AI有重大突破
可以自己證明人類證明不出來的數學
數學家看到難題被AI攻克在想什麼
是不是在想為什麼當初要選數學系？
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 223.140.239.206 (臺灣)
※ 文章網址: https://webptt.com/m.aspx?n=bbs/Gossiping/M.1788912875.A.F47.html
1F：推 grandzxcv: 嗯嗯跟我想的一樣 114.140.96.137 09/09 08:15
2F：推 Xaymaca: 接下來機器人表演當水電工172.218.124.227 09/09 08:15
3F：→ tinybunny: 想更多難題來解鴨 27.51.121.8 09/09 08:15
4F：→ tinybunny: 從解題專家變成問題創造者 27.51.121.8 09/09 08:16
5F：推 ahb0711: 在想電源插頭在哪裡 163.17.170.10 09/09 08:17
6F：推 wrvuxci: 很高興能有看到答案的一天啊，而且解完了 64.189.21.26 09/09 08:17
7F：→ wrvuxci: 還是可以再延伸很多問題 64.189.21.26 09/09 08:17
8F：推 easyfish: 你以為數學只有這個難題嗎 114.39.121.96 09/09 08:17
9F：推 VoV: AI大部分用暴力窮舉破解法,人腦目前還是略勝 45.84.122.28 09/09 08:18
10F：推 karst10607: 跟看到富堅又出了幾話一樣，既期待又 114.142.44.247 09/09 08:20
11F：→ karst10607: 怕受傷害，想完結又希望不要完結 114.142.44.247 09/09 08:20
12F：推 OrangePlusXD: 會出現人類無法駕馭的理解 223.137.231.23 09/09 08:23
13F：推 qpeter: 全世界的數學家 百思不得其解 為什麼台灣 1.162.58.218 09/09 08:24
14F：→ OrangePlusXD: 就像AI把你空投到山頂 但你不知道徒 223.137.231.23 09/09 08:24
15F：→ OrangePlusXD: 步的地圖怎麽畫 223.137.231.23 09/09 08:24
16F：→ qpeter: 60%會選輸40% 不知道這題AI有沒有解XD 1.162.58.218 09/09 08:24
17F：推 cat5672: 我看到的是目前他們整天看起來在開趴 59.124.23.145 09/09 08:25
18F：→ cat5672: 都認為自己掌握了什麼核爆工具 59.124.23.145 09/09 08:26
19F：→ cat5672: 你可以自己去確認 事情可能和你期待的 59.124.23.145 09/09 08:26
20F：→ cat5672: 方向不太一樣 這東西太專了 也只有他們 59.124.23.145 09/09 08:26
21F：→ cat5672: 會用 59.124.23.145 09/09 08:27
22F：推 henry1234562: 數學家會很開心 他們不在意誰解的 211.21.81.38 09/09 08:29
23F：→ henry1234562: 一個問題解決代表數學更進一步 211.21.81.38 09/09 08:30
24F：→ henry1234562: 能參考的定理就多一個 211.21.81.38 09/09 08:30
25F：→ henry1234562: 數學有解不完的問題 恨不得解快點 211.21.81.38 09/09 08:30
26F：→ henry1234562: 而且你AI找出的證明也是大發現 211.21.81.38 09/09 08:31
27F：→ leocean9816: AI底層深度學習、機率就是數學 59.102.202.222 09/09 08:32
28F：→ ISNAKEI: 說沒空看 59.127.48.172 09/09 08:32
29F：→ mit2502: 還是要數學家來和AI合作的一般人又看不懂 122.116.188.57 09/09 08:33
30F：推 aggressorX: 超爽吧 有生之年系列竟然解開了 1.162.25.165 09/09 08:37
31F：推 wrvuxci: 可能覺得自己有機會解出來的人會懊惱啦 64.189.21.26 09/09 08:39
32F：→ wrvuxci: 畢竟一大筆獎金，大部份人應該是都還好 64.189.21.26 09/09 08:40
33F：→ wrvuxci: 因為本來就是超難的問題 64.189.21.26 09/09 08:40
34F：推 tsubasawolfy: 會很開心的可以在這上面弄出新的問 42.77.212.190 09/09 08:41
35F：→ tsubasawolfy: 題 42.77.212.190 09/09 08:41
36F：推 running9977: 解完人類要驗證阿 還能持續解下去很 42.72.71.133 09/09 08:41
37F：→ running9977: 好 42.72.71.133 09/09 08:42
38F：→ tsubasawolfy: 科學的進展就是永遠站在巨人的肩膀 42.77.212.190 09/09 08:42
39F：→ tsubasawolfy: 上朝下一階段前進 42.77.212.190 09/09 08:42
40F：推 lpsobig: 很爽吧 27.240.40.55 09/09 08:44
41F：推 Cuchulainn: 破解一個猜想 再延伸一個新猜想 219.68.24.191 09/09 08:48
42F：→ panda816: 長年便秘終於通了 39.9.130.87 09/09 08:48
43F：→ tatuya: 看到解不出的難題被解出來當然是高興 218.173.86.172 09/09 08:49
45F：推 XNCI714: 下一題啊 27.51.24.10 09/09 08:50
46F：推 miloisgood: 會情緒失控上網罵AI 走上街頭反對資 39.15.2.108 09/09 08:51
47F：→ miloisgood: 料中心 39.15.2.108 09/09 08:51
48F：→ LipaCat5566: 一切都結束了 61.220.204.130 09/09 08:52
49F：→ sushi11: 想小學題目如何考到學生 49.217.137.90 09/09 08:53
50F：噓 webster1112: 走路走一生 結果汽機車出來 XDDDD 1.161.215.4 09/09 09:04
52F：推 Aueston: 數學又不是在解題，你以為跟考試一樣？ 1.170.102.177 09/09 09:08
53F：推 neil139: 所以就坐車更快到達目的地 210.61.204.153 09/09 09:10
54F：推 clair281: 後面還有一大串難題可以算啊 101.9.102.133 09/09 09:10
55F：→ neil139: 數學家就像變成駕駛了,一般人就是乘客 210.61.204.153 09/09 09:10
56F：→ airhong: 兩個路徑不同 數學家多是高維抽象 111.235.135.57 09/09 09:12
57F：→ airhong: AI 也有抽象但是較多是靠驗算吧 111.235.135.57 09/09 09:12
58F：推 shadowdio: 乾 研究經費飛了 114.39.120.156 09/09 09:12
59F：噓 leo255112: 那個是AI檢查人類的證明有沒有問題， 42.72.30.52 09/09 09:21
60F：→ leo255112: 不是AI證明 42.72.30.52 09/09 09:21
61F：→ kasim15: 不用AI的數學家 去當小學老師吧 101.10.86.58 09/09 09:23
62F：推 sforzando: 在想如何站在AI上問出更高級的題目 114.34.229.48 09/09 09:28
63F：→ xvited945: 哇靠，沒辦法假裝解不出來騙經費了 101.10.159.37 09/09 09:34
64F：推 nt880245: 未來數學家輕鬆了 49.216.23.168 09/09 09:38
65F：噓 hongsiangfu: 想太多,AI目前還只是個工具 42.72.57.236 09/09 09:40
66F：→ yayan1010: 解出來也要驗證吧？ 61.218.45.138 09/09 09:42
67F：推 SPAEK: 數學不缺難題 而且是不是攻破 目前體制下 111.250.33.143 09/09 09:46
68F：→ SPAEK: 一定要活人數學家人腦驗證後才算數 111.250.33.143 09/09 09:47
69F：→ SPAEK: 所以現在數學界很忙的 因為大家都在驗算 111.250.33.143 09/09 09:47
70F：→ wrvuxci: 現在也可以用Lean驗證，不一定人腦 64.189.21.26 09/09 09:49
71F：→ wrvuxci: 不過除非證明長到無法讀完 專家還是會想 64.189.21.26 09/09 09:50
72F：→ wrvuxci: 親自驗證吧 64.189.21.26 09/09 09:50
73F：推 nt880245: AI還無法創造新的解法 都是拿現有的去嘗 49.216.23.168 09/09 09:57
74F：→ nt880245: 試 數學家還是會存在的 49.216.23.168 09/09 09:57
75F：推 mokke: 你以為給你ai你就能做到喔？prompt 怎麼寫 114.41.154.165 09/09 09:59
76F：→ mokke: ？如何驗證結果？而且ai的很多發想跟證明 114.41.154.165 09/09 09:59
77F：→ mokke: 手法也是來自過去數學家的累積 看某樓明顯 114.41.154.165 09/09 09:59
78F：→ mokke: 不知道ai的產生來自於數學 亂比喻有夠無知 114.41.154.165 09/09 09:59
79F：推 selvester: 怎麼會是窮舉法？ 不是領域證明嗎？ 110.30.8.172 09/09 10:00
80F：→ selvester: 而且幾乎都是驗證過才發表 110.30.8.172 09/09 10:00
81F：→ aa4488: 知道的越多知道的越少 101.8.224.50 09/09 10:00
82F：推 nt880245: 等AI創造某理論 而不是解決數學難題 再 49.216.23.168 09/09 10:04
83F：→ nt880245: 來談取代 49.216.23.168 09/09 10:04
84F：推 fq1l4i: 前幾天看到一個數學教授開玩笑說以後數學 223.137.61.235 09/09 10:06
85F：→ fq1l4i: 研究會變成抽卡式科研 223.137.61.235 09/09 10:06
87F：→ mutwilly: 嗯嗯跟我想的一樣 49.218.143.81 09/09 10:41
88F：推 kabukiryu: 幹真der假der啦，先前我der認知1直都4 49.216.131.163 09/09 10:54
89F：→ kabukiryu: 人類知識der極限就4AIder極限。 49.216.131.163 09/09 10:54
90F：→ kabukiryu: ai已經自我突破極限惹嗎? 49.216.131.163 09/09 10:55
91F：推 adad48362: 很高興吧 可以再往更難的方向走 211.72.148.49 09/09 10:56
92F：→ bewritten: 不會就是不會啊 165.1.183.234 09/09 10:58
93F：推 tkc7: 解一題不知道花多少成本220.138.122.151 09/09 11:00
94F：推 fufugirl: 應該會很開心吧？ 1.164.161.233 09/09 11:01
95F：推 discoveryray: B有個博士生每天拍崩潰影片 211.21.2.181 09/09 11:09
96F：推 Hall: 陶哲軒有發表看法 AI本來就可以用龐大的神 101.10.163.186 09/09 11:26
97F：→ Hall: 經網路去攻克難題。試一萬種方法只要有一次 101.10.163.186 09/09 11:26
98F：→ Hall: 中了就突破了。 101.10.163.186 09/09 11:26
99F：推 AirO0264400: 工作量暴增 本來要證明一輩子沒機會 219.71.163.17 09/09 11:37
100F：→ AirO0264400: 證明的問題坑坑後輩的 現在變成這輩 219.71.163.17 09/09 11:37
101F：→ AirO0264400: 子要驗證AI到底有沒有算對 219.71.163.17 09/09 11:37
102F：推 doooooooze: 在想活著的價值啊 42.70.14.139 09/09 11:47
103F：推 selfhu: 又少一個金飯碗了114.137.139.162 09/09 12:20
104F：推 barry841120: AI證明出來了 但需要有人驗證 現在 101.12.148.159 09/09 13:10
105F：→ barry841120: 就卡一堆在這 101.12.148.159 09/09 13:10
108F：→ sunkissfu: 想更難的 101.10.85.125 09/09 16:17