作者yamakazi (大安吴彦祖)
看板Soft_Job
标题[讨论] AI即将统治数学界
时间Sat Jul 25 09:57:34 2026
前费尔兹奖得主陶哲轩在几个月前接受podcast节目访问时被问到
「AI能否拿菲尔兹奖？」
陶哲轩回答「能拿半个」
昨天颁发这届菲尔兹奖
颁奖前，Anthropic研究员在推特上开玩笑说，这届菲尔兹奖可能是最後一届人类拿奖
数学界几乎没人反对
前费尔兹奖得主Timothy Gowers
回应「我也有差不多想法，但我觉得差不多是2030年」
虽然确切时间仍有歧异
但AI统治数学界已经是大家默认的事实
5/20 Openai 一个内部推理推翻了「单位距离猜想」，该猜想已经存在80年
之後找了九位顶尖数学家验证通过
去年Google Ai已经拿了IMO金牌
而且人类无需介入，直接给他看原生考题就可以跑出解答
7/20 Fable 5仅花了数十分钟就找出雅可比猜想的一个反例
而且不只AI
理论物理也差不多同样情况
哈佛物理教授Matthew Schwartz
在三月利用opus 4.5
短短两周完成了需要博士後一两年才能完成的论文。
虽然中间抓到一些造假
但在纠正AI後
顺利完成论文
-----
Sent from JPTT on my iPhone
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 61.228.183.181 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Soft_Job/M.1784944657.A.F68.html
1F：推 j0958322080: 两年拿1.5个博士学位？ 07/25 10:53
2F：→ abc0922001: 最近几次都是 AI 借助现有工具去证明数学，没有创新 07/25 12:44
3F：推 kiwi3741722: LEAN 07/25 13:55
4F：→ yamakazi: 很创新啊，80年才有人想到这个反例 07/25 14:06
5F：嘘 dream1124: 你想表达什麽？ 一个花了数万年时间读数千年经典的机器 07/25 14:31
6F：→ dream1124: 如果在有答案考试还要人辅助才能答题，那叫设计不理想 07/25 14:31
7F：→ dream1124: 其他部分就是赌赢了，但连你自己都不敢讲不用人介入， 07/25 14:32
8F：→ dream1124: 所以引用一些名人看法想说明什麽？ 07/25 14:33
9F：→ dream1124: 科技再进步，「最佳员工奖」本就会给人类而非机器啊~ 07/25 14:35
10F：→ dream1124: 2030以後还是只会给人类，毕竟颁奖本来就是人类活动。 07/25 14:36
11F：→ dream1124: 是人类且在人类世界生活要有人类认知才不会被AI取代。 07/25 14:37
12F：→ yamakazi: 干嘛那麽生气XD 07/25 14:41
13F：嘘 darkMood: 不意外，人类没那麽闲天天研究数学。 07/25 16:54
14F：推 Obama19: 网站上很多人不知为何碰到AI议题就会直接理智断线 07/25 18:28
15F：推 workhardplz: 推楼上 一堆人像是得了ai敏感肌一样 07/25 18:30
17F：→ yamakazi: 在别篇新闻也在问「你想表达什麽」 07/25 20:57
18F：推 k7ji91ab5m: 很久没来了没想到现在还在整天把AI当义和团真是笑死XD 07/25 22:41
19F：推 jamo: 物理我觉得没啥机会，因为物理都需要现实观察验证，而人类科 07/25 22:51
20F：→ jamo: 技的物理已经发展到不是没理论，而是验证新理论的成本，人类 07/25 22:51
21F：→ jamo: 现在都付不起来(ex:强子对撞机) 07/25 22:51
22F：推 LincolnBoy: AI真的太神 07/26 13:20
23F：推 SkankHunt42: dream1124现实应该过得很不开心吧 07/26 14:27
24F：嘘 USD5566: 所以跟软工板关系是什麽 07/26 19:45
25F：→ galic: AI抢工作阿 连数学家都不放过 07/26 20:45
26F：→ yamakazi: 今年的菲尔兹奖得主去OpenAI了，应该算跟软工有关系吧 07/26 21:55
27F：推 jamesho8743: 反AI狂 不知AI跟他有什麽仇 叫叫叫也改变不了世界对 07/26 21:56
28F：→ jamesho8743: AI的看法 07/26 21:56
29F：推 final01: 原来发博士伦文就能得费尔兹奖？？ 07/26 22:23
30F：推 realbout: 统治人类或地球都不意外..... 07/27 10:52
31F：→ jobintan: 软工＝资工＝应用数学领域，所以还是有关系的。 07/27 11:31
32F：→ jobintan: 除非你们都只写CRUD没碰到需要资料结构与演算法的… 07/27 11:31
33F：推 sniper2824: 这个人蛮好笑的 先前被嘴就开始记恨 没事就要贴一篇来 07/27 12:07
34F：→ sniper2824: 自以为”打脸” 殊不知被讨厌的是自己== 07/27 12:07
35F：→ yamakazi: 又一个生气的XD 07/27 12:56
36F：嘘 yunf: 看就知道是假的 07/28 17:27
37F：→ yunf: Anthropic研究员在推特上开玩笑说，这届菲尔兹奖可能是最後 07/28 17:29
38F：→ yunf: 一届人类拿奖 就像你说你是大安无彦祖一样没人反对不代表是 07/28 17:29
39F：→ yunf: 事实 07/28 17:29
40F：→ yamakazi: 陶哲轩在这次颁奖典礼上的演讲标题是「数学界的百年危机 07/28 19:35
41F：→ yamakazi: 」 07/28 19:35
42F：→ yunf: 百年危机又不是千年危机 人类会数学历史更悠久 07/28 20:27
43F：→ yunf: 以为他是资优生又得奖讲话就一定成真？ 07/28 20:28
44F：→ yunf: 不可否认ai的确能搞出很多前所未闻的新东西 但那跟用人脑思 07/28 20:32
45F：→ yunf: 考出来的意义是不同的 我不知道你有没有办法理解 07/28 20:32
46F：→ yunf: 简单来说小学数学叫你练习加法你拿计算机交差 07/28 20:34
47F：→ yamakazi: 不懂可以不要装懂XD 07/28 20:35
48F：→ yunf: 现在这个复杂度提升到博士 也能用ai且难以分辨 不是真的无法 07/28 20:37
49F：→ yunf: 分辨是你真的要查要花费很大的精力 本意其实只是要训练学生 07/28 20:37
50F：→ yunf: 思考和传承 07/28 20:37
51F：→ yunf: 那只是你看的面向不一样 07/28 20:38
52F：→ yunf: 我直接把ai生成的 丢进另一区 07/28 20:43
53F：→ yunf: 你只不过迷信於ai能凌驾一切 07/28 20:44
54F：→ yunf: 我随便用个简单的说法就能戳破这一切 07/28 20:45
55F：→ yunf: 现在其实就像当年塑胶刚出来的时候一样 塑胶袋很方便，但是 07/28 21:52
56F：→ yunf: 後患无穷 07/28 21:52
57F：→ eva19452002: 爱因斯坦生前的未竟之梦-大一统理论能被AI攻破吗？ 07/28 22:51
58F：嘘 yunf: 我小时候有一则新闻说 在国外被人用电脑算出最後一位 07/28 23:04
59F：→ yunf: 证实是假新闻 从此我再也不相信记者报什麽 07/28 23:04
60F：→ yunf: pi * 07/28 23:04
61F：→ yamakazi: 这又不是记者报导的XD 07/29 07:43
62F：推 sniper2824: 没有生气啊 你的脑袋觉得只要稍微跟你不站同样立场就 07/29 07:44
63F：→ sniper2824: 是反AI 反你说的话 然後就试图一直找大哥来站台 从 07/29 07:44
64F：→ sniper2824: 上次tonyQ就看出来了 真的很可怜 07/29 07:44
65F：→ yunf: 你没意识到你写的东西没有论证其实跟记者追新闻87分像 07/29 08:05
66F：→ yamakazi: 又来了，分享实际情形脑补我一直找人站台，可怜XD 07/29 08:48
67F：→ yamakazi: 讲得好像你有论证过一样XD 07/29 08:48
68F：→ yamakazi: 而且我这篇压根没提到东尼，你还困在时光陷阱里喔？都多 07/29 08:49
69F：→ yamakazi: 久前的事了 07/29 08:49
70F：→ yamakazi: 我倒是觉得AI黑很爱生气脑补，可以就这篇内容讨论就事论 07/29 08:56
71F：→ yamakazi: 事好吗？不要现在被AI能力打脸就一直恼羞记恨到现在XD 07/29 08:56
72F：→ yamakazi: 明明这篇内容很中性的讨论，结果你硬是要记恨到现在，可 07/29 08:57
73F：→ yamakazi: 怜。我还觉得什麽tonyq跟这篇啥关系XD 07/29 08:57
74F：推 sniper2824: 你看又来了 从没黑过AI 但不合他意就会变成AI黑 脑子 07/29 12:04
75F：→ sniper2824: 自从ai出来以後就不用了吗 07/29 12:04
76F：→ sniper2824: 而且也是就事论事 这样是记恨的话 你也太狭隘了吧 挺 07/29 12:05
77F：→ sniper2824: 可怜的一个人 07/29 12:05
78F：→ sniper2824: 懒得回你了 88 07/29 12:05
79F：→ yamakazi: 不是吧，我没提东尼，你先提东尼然後说我记恨，我反过来 07/29 12:54
80F：→ yamakazi: 说我早就忘了你提东尼是不是你记恨？就被说不合我意？ 07/29 12:54
81F：→ yamakazi: 我用你的话反问你而已 07/29 12:57
82F：→ yamakazi: 你说你是就事论事，啊我就是记恨，我讲话不合你意就是记 07/29 13:01
83F：→ yamakazi: 恨哦XD 07/29 13:01
84F：→ yamakazi: 在你说我记恨之前？我有说过谁是AI黑吗？没有吧 07/29 13:06
85F：→ yunf: 有一点你没搞清楚就是你发文就是要论证你的论点产生说服力 07/29 13:15
86F：→ yunf: 不然大家有理由不相信你的论述 07/29 13:15
87F：→ yunf: 这很基本吧？ 07/29 13:18
88F：→ yamakazi: 我也没有要你相信啊，我想发就发还要论证後才能发？有这 07/29 15:24
89F：→ yamakazi: 种版规？ 07/29 15:24
90F：→ yunf: 所以会有人质疑你不要觉得意外 因爲你也不确定你是不是对的 07/29 15:27
91F：→ yamakazi: 我是反过来问你怎麽知道你质疑的是对的Xd 你也讲不出来 07/29 15:35
92F：→ yunf: 你能找多少人证明你是大安吴彦祖？ 36楼早说了 07/30 00:17
93F：→ yunf: 你不要怪别人都不认同 没有的事你硬要大家都认同 07/30 00:20
94F：推 sniper2824: 不要对牛弹琴了 这种人是不会反省的 07/30 08:57
95F：→ yamakazi: 要反省啥XD 不就发个文而已 07/30 14:05
96F：→ yunf: 台湾圈子很小 说不定大家都知道你 07/30 16:25
97F：→ yunf: 等你发现你创业的时候 圈子都打不进去 就知道有没有影响 07/30 16:25
98F：→ yamakazi: 圈子很小我好怕，这不是跟以前惯老板说这圈子很小要封杀 07/30 17:11
99F：→ yamakazi: 你一样嘻嘻 07/30 17:11
100F：→ yamakazi: 网路嘴炮输了呛人圈子很小，笑了XD 07/30 17:13
101F：→ yunf: 好心提醒你你不信就算了 07/30 17:18
102F：→ yamakazi: 好了啦 07/30 17:38
103F：推 zardbz: 威胁语气不可取，会讲什麽话代表平常怎麽做人 08/06 06:00