PTT職涯區 / Stock (股票)

[情報] Anthropic AI 證偽雅可比猜想

看板Stock (股票)作者 (鄉民)時間14小時前 (2026/07/20 20:27), 編輯推噓27(30推 3噓 56→)
留言89則, 40人參與, 18分鐘前最新討論串1/3 (看更多)
Anthropic 研究員、數論學家 Levent Alpöge 在 X 上宣布，Anthropic 的 Claude Fable 5 找到了雅可比猜想的反例，並且已經被迅速驗證。 --- "hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final" "雅可比猜想是錯的，多虧了我的朋友akhil問起這件事，還有我的另一位朋友Fable，在 世界盃決賽期間還在忙這個。" --- 雅可比猜想是 1939 年提出的經典數學難題，已經困擾數學界超過 80 年，它也和 Dixmier 猜想、Poisson 猜想、Weyl algebra 等重要問題密切相關，因此這個結果會連 帶改變數學家對多項式映射、代數幾何與非交換代數的理解。 AI已經開始在數學前沿獨立做出貢獻，而這只是剛開始。隨著形式化驗證的成熟，加上持 續成長的AI模型，算力或許才是真正的瓶頸，期待未來能看到AI解決更困難的問題。 連結： https://x.com/__alpoge__/status/2079028340955197566?s=20 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.112.16.175 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/Stock/M.1784550477.A.C5D.html
推
07/20 20:29, 14小時前 , 1F
跟我想的一樣
07/20 20:29, 1F
→
07/20 20:30, 14小時前 , 2F
那波可比呢
07/20 20:30, 2F
推
07/20 20:30, 14小時前 , 3F
原來如此
07/20 20:30, 3F
噓
07/20 20:30, 14小時前 , 4F
所以那裡錯了？驗證細部結果是啥？全都沒說
07/20 20:30, 4F
推
07/20 20:30, 14小時前 , 5F
坐等2維也被搞定
07/20 20:30, 5F
推
07/20 20:31, 14小時前 , 6F
AI在數學上逐步超越人類了
07/20 20:31, 6F
推
07/20 20:31, 14小時前 , 7F
他就說找到反例了
07/20 20:31, 7F
→
07/20 20:34, 14小時前 , 8F
有興趣的會自己去找吧 至於數學研究這種東西九成九
07/20 20:34, 8F
→
07/20 20:34, 14小時前 , 9F
的人都看不懂也沒必要放在新聞裡了
07/20 20:34, 9F
→
07/20 20:36, 14小時前 , 10F
三維以上都錯了
07/20 20:36, 10F
推
07/20 20:36, 14小時前 , 11F
AI什麼時候能發明永動機
07/20 20:36, 11F
推
07/20 20:39, 14小時前 , 12F
Vibe proofing 時代要開始了嗎
07/20 20:39, 12F
推
07/20 20:40, 14小時前 , 13F
所以明天股票漲還是跌？
07/20 20:40, 13F
→
07/20 20:45, 14小時前 , 14F
他的證偽真的是證偽嗎？還是只是AI自認為的證偽？
07/20 20:45, 14F
推
07/20 20:48, 14小時前 , 15F
還搞不懂AI有多強的 來看這件事就知道了
07/20 20:48, 15F
推
07/20 20:49, 14小時前 , 16F
皮克敏呢
07/20 20:49, 16F
推
07/20 20:50, 14小時前 , 17F
最近還蠻多例子的 不管是物理或數學
07/20 20:50, 17F
推
07/20 20:50, 14小時前 , 18F
你只要會偏微分跟算行列式，你也可以驗證他給的反
07/20 20:50, 18F
→
07/20 20:50, 14小時前 , 19F
例是不是對的
07/20 20:50, 19F
推
07/20 20:52, 14小時前 , 20F
假摳比猜想
07/20 20:52, 20F
推
07/20 20:53, 14小時前 , 21F
牢大猜想
07/20 20:53, 21F
→
07/20 20:58, 14小時前 , 22F
正偽只要找到反例就夠了
07/20 20:58, 22F
推
07/20 21:06, 13小時前 , 23F
公司的掃地阿姨出來宣稱證偽了大家會信，才能說是A
07/20 21:06, 23F
→
07/20 21:06, 13小時前 , 24F
I超越人類吧，否則AI證任何東西都還是要一位高等數
07/20 21:06, 24F
→
07/20 21:06, 13小時前 , 25F
學研究者、還是頂尖的那種出來講那都還差得很遠
07/20 21:06, 25F
→
07/20 21:06, 13小時前 , 26F
皮克敏猜想 猜猜種出什麼
07/20 21:06, 26F
→
07/20 21:08, 13小時前 , 27F
代表就是找到了一個反例，結果反例也不是一般人能
07/20 21:08, 27F
→
07/20 21:08, 13小時前 , 28F
很簡單的論證AI說的是對的、或者沒有人類去擔保沒
07/20 21:08, 28F
→
07/20 21:08, 13小時前 , 29F
人願意相信就代表AI還沒超越人類
07/20 21:08, 29F
推
07/20 21:08, 13小時前 , 30F
人類證不出來的東西 AI能證出來 就是AI超越人類啊
07/20 21:08, 30F
→
07/20 21:09, 13小時前 , 31F
我用計算機按出高斯積分結果，或是用電腦算出來，
07/20 21:09, 31F
→
07/20 21:09, 13小時前 , 32F
絕大多數人都會相信我按出來的結果是對的，即便沒
07/20 21:09, 32F
→
07/20 21:09, 13小時前 , 33F
受過高等教育的人也會信，這才叫做電腦超越人類
07/20 21:09, 33F
→
07/20 21:10, 13小時前 , 34F
@poeoe 看來你聽不懂我的邏輯，那個不叫AI超越人類
07/20 21:10, 34F
→
07/20 21:10, 13小時前 , 35F
叫做AI輔助人類
07/20 21:10, 35F
→
07/20 21:10, 13小時前 , 36F
那記憶體，被動元件的週期性問題要如何證偽？
07/20 21:10, 36F
→
07/20 21:11, 13小時前 , 37F
只有AI能普遍靠自己說服多數人它是對的才叫超越人
07/20 21:11, 37F
→
07/20 21:11, 13小時前 , 38F
類，目前的AI只要沒有人類過一遍它的證明並用人類
07/20 21:11, 38F
→
07/20 21:11, 13小時前 , 39F
的信譽擔保，沒人會信，這不叫超越
07/20 21:11, 39F
→
07/20 21:13, 13小時前 , 40F
hyperyoujo 了解一下形式化證明
07/20 21:13, 40F
推
07/20 21:13, 13小時前 , 41F
一般沒受過教育的大眾相不相信都不重要 AI現在就是
07/20 21:13, 41F
→
07/20 21:13, 13小時前 , 42F
能證明人類不能證明的事 那就是超越人類了
07/20 21:13, 42F
→
07/20 21:13, 13小時前 , 43F
跟我想的差不多
07/20 21:13, 43F
→
07/20 21:14, 13小時前 , 44F
中古時代的大眾還相信是地球是平的咧 事實跟多少人
07/20 21:14, 44F
→
07/20 21:14, 13小時前 , 45F
相信沒有任何關係
07/20 21:14, 45F
推
07/20 21:17, 13小時前 , 46F
07/20 21:17, 46F
推
07/20 21:17, 13小時前 , 47F
找到反例就證偽了
07/20 21:17, 47F
推
07/20 21:18, 13小時前 , 48F
我只知道維士比
07/20 21:18, 48F
推
07/20 21:18, 13小時前 , 49F
問題是所謂的AI超越人類跟你們想的不一樣
07/20 21:18, 49F
→
07/20 21:18, 13小時前 , 50F
真相是AI+人類超越單純人類
07/20 21:18, 50F
→
07/20 21:19, 13小時前 , 51F
可以看看這個 AI超越人類的地方是他會綜合使用所有
07/20 21:19, 51F
→
07/20 21:19, 13小時前 , 52F
的工具 但人類不可能一次善用各種工具 但人類也不
07/20 21:19, 52F
→
07/20 21:19, 13小時前 , 53F
是一無是處 如果要AI從0開始想相對論應該就沒辦法
07/20 21:19, 53F
→
07/20 21:19, 13小時前 , 54F
這種全新的架構問題
07/20 21:19, 54F
→
07/20 21:19, 13小時前 , 55F
但現在為了話題性就要省略成AI全自動超越人類
07/20 21:19, 55F
噓
07/20 21:22, 13小時前 , 56F
@spen2005 形式化證明跟AI能獨立證明是兩件不同事
07/20 21:22, 56F
→
07/20 21:22, 13小時前 , 57F
情，不可混淆
07/20 21:22, 57F
推
07/20 21:24, 13小時前 , 58F
跟我想的一樣
07/20 21:24, 58F
→
07/20 21:25, 13小時前 , 59F
數學界看待這些AI tools我建議外行的去好歹去看一
07/20 21:25, 59F
→
07/20 21:25, 13小時前 , 60F
下Terence Tao的演講，這是股板我知道大家還是傾向
07/20 21:25, 60F
→
07/20 21:25, 13小時前 , 61F
看樂觀面，但正確的理解才能把握基本面跟預期
07/20 21:25, 61F
→
07/20 21:28, 13小時前 , 62F
數學界有一種說法是本來很重要的證明AI能證後，這
07/20 21:28, 62F
→
07/20 21:28, 13小時前 , 63F
些證明可能變得沒那麼重要，這讓數學家轉而能花時
07/20 21:28, 63F
→
07/20 21:28, 13小時前 , 64F
間去做更有意義的事，這就好像計算機出來前的各種
07/20 21:28, 64F
→
07/20 21:28, 13小時前 , 65F
快速計算數字的公式現在意義也變小了一樣
07/20 21:28, 65F
→
07/20 21:28, 13小時前 , 66F
人類就厲害在這種轉換思維，我們會主動去找有意義
07/20 21:28, 66F
→
07/20 21:28, 13小時前 , 67F
的問題
07/20 21:28, 67F
→
07/20 21:31, 13小時前 , 68F
困難度不夠的 都不再需要人類了 QQ
07/20 21:31, 68F
→
07/20 21:33, 13小時前 , 69F
跟我想的差不多
07/20 21:33, 69F
→
07/20 21:35, 13小時前 , 70F
AI工具就是另一種形式的天擇 資訊差被輾平後 原本
07/20 21:35, 70F
→
07/20 21:35, 13小時前 , 71F
所謂的專家就是被迫脫離舒適圈重新學習
07/20 21:35, 71F
推
07/20 21:36, 13小時前 , 72F
閒聊早說過了 閒聊厲害多了
07/20 21:36, 72F
→
07/20 21:36, 13小時前 , 73F
你這個過程可能可以激盪出更多以前沒想過 或是當年
07/20 21:36, 73F
→
07/20 21:36, 13小時前 , 74F
遺憾做不到的事情
07/20 21:36, 74F
推
07/20 21:39, 13小時前 , 75F
但也有可能你拿到這個工具後 別人比你還快找到或做
07/20 21:39, 75F
→
07/20 21:39, 13小時前 , 76F
到你正要做的事物 競爭會變超級快
07/20 21:39, 76F
推
07/20 21:44, 13小時前 , 77F
確定有反例就證明結束了
07/20 21:44, 77F
推
07/20 21:46, 13小時前 , 78F
就像古時候體力活看勞工體能，有的自動機具之後比的
07/20 21:46, 78F
→
07/20 21:46, 13小時前 , 79F
就是技巧跟想法。
07/20 21:46, 79F
推
07/20 21:49, 13小時前 , 80F
科比是小飛俠
07/20 21:49, 80F
→
07/20 22:22, 12小時前 , 81F
空間傳送看來不可行了
07/20 22:22, 81F
→
07/20 22:23, 12小時前 , 82F
要拉到複數空間才有機會 嗚嗚
07/20 22:23, 82F
→
07/20 22:27, 12小時前 , 83F
跟我想的一樣
07/20 22:27, 83F
推
07/20 23:09, 11小時前 , 84F
恭喜
07/20 23:09, 84F
推
07/20 23:41, 11小時前 , 85F
我問gemini 他說是假的！
07/20 23:41, 85F
→
07/20 23:43, 11小時前 , 86F
可是後來叫他查證又說是真的xd
07/20 23:43, 86F
推
07/21 02:12, 8小時前 , 87F
想你了老大
07/21 02:12, 87F
噓
07/21 06:49, 4小時前 , 88F
蝦吹強 日常生活都辦不到
07/21 06:49, 88F
→
07/21 10:44, 18分鐘前 , 89F
這很難假啦 驗算就結束了
07/21 10:44, 89F
‣ 更多 spen2005 的文章
文章代碼(AID): #1gNXHDnT (Stock)
Stock 近期熱門文章
更多 近期熱門文章 >>
PTT職涯區 即時熱門文章
更多 即時熱門文章 >>
‣ 更多 spen2005 的文章
文章代碼(AID): #1gNXHDnT (Stock)