作者 yamakazi (大安吳彥祖)
標題 [討論] 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 (臺灣)
※ 作者: yamakazi 2026-07-25 09:57:34
※ 文章代碼(AID): #1gP1WHze (Soft_Job)
※ 文章網址: https://www.ptt.cc/bbs/Soft_Job/M.1784944657.A.F68.html
j0958322080: 兩年拿1.5個博士學位?1F 07/25 10:53
abc0922001: 最近幾次都是 AI 借助現有工具去證明數學,沒有創新2F 07/25 12:44
kiwi3741722: LEAN3F 07/25 13:55
yamakazi: 很創新啊,80年才有人想到這個反例4F 07/25 14:06
dream1124: 你想表達什麼? 一個花了數萬年時間讀數千年經典的機器如果在有答案考試還要人輔助才能答題,那叫設計不理想其他部分就是賭贏了,但連你自己都不敢講不用人介入,所以引用一些名人看法想說明什麼?
科技再進步,「最佳員工獎」本就會給人類而非機器啊~2030以後還是只會給人類,畢竟頒獎本來就是人類活動。是人類且在人類世界生活要有人類認知才不會被AI取代。5F 07/25 14:31
yamakazi: 幹嘛那麼生氣XD12F 07/25 14:41
darkMood: 不意外,人類沒那麼閒天天研究數學。13F 07/25 16:54
Obama19: 網站上很多人不知為何碰到AI議題就會直接理智斷線14F 07/25 18:28
workhardplz: 推樓上 一堆人像是得了ai敏感肌一樣15F 07/25 18:30
yamakazi: https://i.imgur.com/bKtEAjx.jpeg
在別篇新聞也在問「你想表達什麼」16F 07/25 20:57
[圖]

--
作者 yamakazi 的最新發文:
點此顯示更多發文記錄