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

看板Stock作者 (鄉民)時間6天前 (2026/07/20 20:27), 編輯推噓32(35推 3噓 63→)
留言101則, 45人參與, 5天前最新討論串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, 6天前 , 1F
跟我想的一樣
07/20 20:29, 1F
→
07/20 20:30, 6天前 , 2F
那波可比呢
07/20 20:30, 2F
推
07/20 20:30, 6天前 , 3F
原來如此
07/20 20:30, 3F
噓
07/20 20:30, 6天前 , 4F
所以那裡錯了？驗證細部結果是啥？全都沒說
07/20 20:30, 4F
推
07/20 20:30, 6天前 , 5F
坐等2維也被搞定
07/20 20:30, 5F
推
07/20 20:31, 6天前 , 6F
AI在數學上逐步超越人類了
07/20 20:31, 6F
推
07/20 20:31, 6天前 , 7F
他就說找到反例了
07/20 20:31, 7F
→
07/20 20:34, 6天前 , 8F
有興趣的會自己去找吧 至於數學研究這種東西九成九
07/20 20:34, 8F
→
07/20 20:34, 6天前 , 9F
的人都看不懂也沒必要放在新聞裡了
07/20 20:34, 9F
→
07/20 20:36, 6天前 , 10F
三維以上都錯了
07/20 20:36, 10F
推
07/20 20:36, 6天前 , 11F
AI什麼時候能發明永動機
07/20 20:36, 11F
推
07/20 20:39, 6天前 , 12F
Vibe proofing 時代要開始了嗎
07/20 20:39, 12F
推
07/20 20:40, 6天前 , 13F
所以明天股票漲還是跌？
07/20 20:40, 13F
→
07/20 20:45, 6天前 , 14F
他的證偽真的是證偽嗎？還是只是AI自認為的證偽？
07/20 20:45, 14F
推
07/20 20:48, 6天前 , 15F
還搞不懂AI有多強的 來看這件事就知道了
07/20 20:48, 15F
推
07/20 20:49, 6天前 , 16F
皮克敏呢
07/20 20:49, 16F
推
07/20 20:50, 6天前 , 17F
最近還蠻多例子的 不管是物理或數學
07/20 20:50, 17F
推
07/20 20:50, 6天前 , 18F
你只要會偏微分跟算行列式，你也可以驗證他給的反
07/20 20:50, 18F
→
07/20 20:50, 6天前 , 19F
例是不是對的
07/20 20:50, 19F
推
07/20 20:52, 6天前 , 20F
假摳比猜想
07/20 20:52, 20F
推
07/20 20:53, 6天前 , 21F
牢大猜想
07/20 20:53, 21F
→
07/20 20:58, 6天前 , 22F
正偽只要找到反例就夠了
07/20 20:58, 22F
推
07/20 21:06, 6天前 , 23F
公司的掃地阿姨出來宣稱證偽了大家會信，才能說是A
07/20 21:06, 23F
→
07/20 21:06, 6天前 , 24F
I超越人類吧，否則AI證任何東西都還是要一位高等數
07/20 21:06, 24F
→
07/20 21:06, 6天前 , 25F
學研究者、還是頂尖的那種出來講那都還差得很遠
07/20 21:06, 25F
→
07/20 21:06, 6天前 , 26F
皮克敏猜想 猜猜種出什麼
07/20 21:06, 26F
→
07/20 21:08, 6天前 , 27F
代表就是找到了一個反例，結果反例也不是一般人能
07/20 21:08, 27F
→
07/20 21:08, 6天前 , 28F
很簡單的論證AI說的是對的、或者沒有人類去擔保沒
07/20 21:08, 28F
→
07/20 21:08, 6天前 , 29F
人願意相信就代表AI還沒超越人類
07/20 21:08, 29F
推
07/20 21:08, 6天前 , 30F
人類證不出來的東西 AI能證出來 就是AI超越人類啊
07/20 21:08, 30F
→
07/20 21:09, 6天前 , 31F
我用計算機按出高斯積分結果，或是用電腦算出來，
07/20 21:09, 31F
→
07/20 21:09, 6天前 , 32F
絕大多數人都會相信我按出來的結果是對的，即便沒
07/20 21:09, 32F
→
07/20 21:09, 6天前 , 33F
受過高等教育的人也會信，這才叫做電腦超越人類
07/20 21:09, 33F
→
07/20 21:10, 6天前 , 34F
@poeoe 看來你聽不懂我的邏輯，那個不叫AI超越人類
07/20 21:10, 34F
→
07/20 21:10, 6天前 , 35F
叫做AI輔助人類
07/20 21:10, 35F
→
07/20 21:10, 6天前 , 36F
那記憶體，被動元件的週期性問題要如何證偽？
07/20 21:10, 36F
→
07/20 21:11, 6天前 , 37F
只有AI能普遍靠自己說服多數人它是對的才叫超越人
07/20 21:11, 37F
→
07/20 21:11, 6天前 , 38F
類，目前的AI只要沒有人類過一遍它的證明並用人類
07/20 21:11, 38F
→
07/20 21:11, 6天前 , 39F
的信譽擔保，沒人會信，這不叫超越
07/20 21:11, 39F
還有 22 則推文
→
07/20 21:28, 6天前 , 62F
數學界有一種說法是本來很重要的證明AI能證後，這
07/20 21:28, 62F
→
07/20 21:28, 6天前 , 63F
些證明可能變得沒那麼重要，這讓數學家轉而能花時
07/20 21:28, 63F
→
07/20 21:28, 6天前 , 64F
間去做更有意義的事，這就好像計算機出來前的各種
07/20 21:28, 64F
→
07/20 21:28, 6天前 , 65F
快速計算數字的公式現在意義也變小了一樣
07/20 21:28, 65F
→
07/20 21:28, 6天前 , 66F
人類就厲害在這種轉換思維，我們會主動去找有意義
07/20 21:28, 66F
→
07/20 21:28, 6天前 , 67F
的問題
07/20 21:28, 67F
→
07/20 21:31, 6天前 , 68F
困難度不夠的 都不再需要人類了 QQ
07/20 21:31, 68F
→
07/20 21:33, 6天前 , 69F
跟我想的差不多
07/20 21:33, 69F
→
07/20 21:35, 6天前 , 70F
AI工具就是另一種形式的天擇 資訊差被輾平後 原本
07/20 21:35, 70F
→
07/20 21:35, 6天前 , 71F
所謂的專家就是被迫脫離舒適圈重新學習
07/20 21:35, 71F
推
07/20 21:36, 6天前 , 72F
閒聊早說過了 閒聊厲害多了
07/20 21:36, 72F
→
07/20 21:36, 6天前 , 73F
你這個過程可能可以激盪出更多以前沒想過 或是當年
07/20 21:36, 73F
→
07/20 21:36, 6天前 , 74F
遺憾做不到的事情
07/20 21:36, 74F
推
07/20 21:39, 6天前 , 75F
但也有可能你拿到這個工具後 別人比你還快找到或做
07/20 21:39, 75F
→
07/20 21:39, 6天前 , 76F
到你正要做的事物 競爭會變超級快
07/20 21:39, 76F
推
07/20 21:44, 6天前 , 77F
確定有反例就證明結束了
07/20 21:44, 77F
推
07/20 21:46, 6天前 , 78F
就像古時候體力活看勞工體能，有的自動機具之後比的
07/20 21:46, 78F
→
07/20 21:46, 6天前 , 79F
就是技巧跟想法。
07/20 21:46, 79F
推
07/20 21:49, 6天前 , 80F
科比是小飛俠
07/20 21:49, 80F
→
07/20 22:22, 6天前 , 81F
空間傳送看來不可行了
07/20 22:22, 81F
→
07/20 22:23, 6天前 , 82F
要拉到複數空間才有機會 嗚嗚
07/20 22:23, 82F
→
07/20 22:27, 6天前 , 83F
跟我想的一樣
07/20 22:27, 83F
推
07/20 23:09, 6天前 , 84F
恭喜
07/20 23:09, 84F
推
07/20 23:41, 6天前 , 85F
我問gemini 他說是假的！
07/20 23:41, 85F
→
07/20 23:43, 6天前 , 86F
可是後來叫他查證又說是真的xd
07/20 23:43, 86F
推
07/21 02:12, 6天前 , 87F
想你了老大
07/21 02:12, 87F
噓
07/21 06:49, 6天前 , 88F
蝦吹強 日常生活都辦不到
07/21 06:49, 88F
→
07/21 10:44, 6天前 , 89F
這很難假啦 驗算就結束了
07/21 10:44, 89F
推
07/21 12:21, 6天前 , 90F
還在差的遠的根本不認識數學界，純數學界已經因為好
07/21 12:21, 90F
→
07/21 12:21, 6天前 , 91F
幾個猜想被AI證偽現在頭抱著燒好嗎？沒聽過那只是你
07/21 12:21, 91F
→
07/21 12:21, 6天前 , 92F
不認識數學。數學教授現在已經是怕AI證明的速度超過
07/21 12:21, 92F
→
07/21 12:21, 6天前 , 93F
他們能解讀的速度
07/21 12:21, 93F
推
07/21 12:40, 6天前 , 94F
最近很多困擾人類多年的數學問題都被AI攻破了沒錯
07/21 12:40, 94F
→
07/21 12:40, 6天前 , 95F
但要說AI取代人類思考還久
07/21 12:40, 95F
推
07/21 13:22, 6天前 , 96F
打開連結就有AI提出的反例，高中程度的都能自己算
07/21 13:22, 96F
→
07/21 13:23, 6天前 , 97F
這種就是要證明或證偽很困難，但反例一提出明顯到
07/21 13:23, 97F
→
07/21 13:23, 6天前 , 98F
根本不需要數學家獨立驗證的東西。
07/21 13:23, 98F
推
07/21 13:27, 6天前 , 99F
嗯嗯 跟我想得差不多
07/21 13:27, 99F
推
07/22 10:36, 5天前 , 100F
推文那個沒事在跳的是在幹嘛？看一看規則 自己畫矩
07/22 10:36, 100F
→
07/22 10:36, 5天前 , 101F
陣自己算不就知道是對的嗎？答案都給你了還在那邊
07/22 10:36, 101F
‣ 更多 spen2005 的文章
文章代碼(AID): #1gNXHDnT (Stock)
‣ 更多 spen2005 的文章
文章代碼(AID): #1gNXHDnT (Stock)