作者kinjk01 (小白)
看板Gossiping
标题[问卦] 数学家看到难题被AI攻克在想什麽？
时间Wed Sep 9 08:14:32 2026
最近AI有重大突破
可以自己证明人类证明不出来的数学
数学家看到难题被AI攻克在想什麽
是不是在想为什麽当初要选数学系？
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 223.140.239.206 (台湾)
※ 文章网址: https://webptt.com/cn.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