作者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/m.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