[新聞] 數學界天翻地覆,代數幾何 87 年懸案「雅可比猜想」遭 Claude 證偽

看板Gossiping作者 (乙醯胺酚)時間1周前 (2026/07/22 08:31), 1周前編輯推噓127(131480)
留言215則, 152人參與, 2天前最新討論串1/1
備註請放最後面 違者新聞文章刪除 1.媒體來源: ※ 例如蘋果日報、自由時報(請參考版規下方的核准媒體名單) ※ Yahoo、MSN、LINE等非直接官方新聞連結不被允許 科技新報 2.記者署名: ※ 若新聞沒有記者名字或編輯名字,請勿張貼,否則會被水桶14天 ※ 外電至少要有來源或編輯 如:法新社 Emma stein 3.完整新聞標題: ※ 標題沒有完整寫出來 ---> 依照板規刪除文章 數學界天翻地覆,代數幾何 87 年懸案「雅可比猜想」遭 Claude 證偽 4.完整新聞內文: ※ 社論特稿都不能貼!違者刪除(政治類水桶3個月),貼廣告也會被刪除喔!可詳看版規 這一天,數學界發生驚天動地大事,無數頂尖學者 87 年來都無法證明正確性的代數幾何難 題「雅可比猜想」——不用證明了,這個猜想本身就是錯誤,證偽主角甚至還是 AI 模型 C laude Fable 5。 2026 年 7 月 19 日,世界盃足球賽接近尾聲之際,Anthropic 員工暨數學家萊文特·阿爾 波格(Levent Alpöge)在社群軟體隨手寫下一句話與一段簡潔數學公式,沒有大篇長論、 沒有發表論文,就那樣輕描淡寫指出 Anthropic 大型語言模型 Claude Fable 5 發現「雅 可比猜想(Jacobian conjecture)」在三維空間的明確反例(推翻該猜想 N>2 的情況), 一夜之間超過 2,000 萬次瀏覽。 這條消息為何如此驚人?簡單說,該反例讓 87 年來試圖證明雅可比猜想正確性的頂尖數學 家們淪為笑話。 雅可比猜想是德國數學家奧特-海因里希·凱勒(Ott-Heinrich Keller )於 1939 年提出 的代數幾何核心難題,主張如果一個多元多項式映射的雅可比行列式始終為非零常數,則該 映射整體上是否一定可逆(存在多項式反函數)? 微積分反函數定理告訴我們,如果一個函數在某一點的雅可比行列式不為零,那麼該函數在 該點附近就具有一個局部反函數,因此我們對雅可比猜想的直覺認知是「對」。 更白話一點來說,想像有個規則可以把空間任何一點變到另一個點(也就是映射),而雅可 比猜想主張只要「局部不塌陷」特性(即雅可比行列式始終為非零常數)在整個空間、每一 點都成立,那麼映射全域變換一定可逆,每一個輸出點都應恰好對應一個輸入點,你永遠能 唯一反推——每個終點都只對應一個起點。 然而這道題目陷阱特別多, 87 年來一直沒人可完整證明雅可比猜想對或錯,歷史上已發表 過的「證明雅可比猜想」論文數量極其龐大,最終都被發現存在細微漏洞,雅可比猜想因此 被列入 21 世紀 18 大數學難題清單,更被戲稱為數學證明界吸血鬼,吸乾無數聰明、才華 洋溢的年輕數學家精力。 現在這條數學界公認異常難證明的問題,突然就被 Levent Alpoge 和 AI 模型 Claude Fab le 5 推翻了。 Claude Fable 5 直接拋出一個簡潔優雅的反例: https://i.imgur.com/HGoDHtC.jpeg
設多元多項式函數 F:C3 →C3 為: https://i.imgur.com/HGoDHtC.jpeg
可驗證此多項式映射的雅可比行列式恆等於 -2(非零常數,滿足猜想前提),然 而這個函數不是單射,它能將空間中 3 個完全不同的點:(0, 0, -1/4)、(1, -3/2, 13 /2)、(-1, 3/2, 13/2)全映射至同一影像點:(-1/4, 0, 0),因此函數 F 不存在反函 數,根本不可逆。 簡單講,該反例滿足「局部不塌陷」條件,卻能找到 3 個不同起點全映射到同一終點,「 唯一反推」無法成立(沒辦法從這個終點唯一反推回起點),廣義雅可比猜想就這樣被徹底 證偽。 不久之後,GPT-5.6 跟進分析此結果並提出全新修正的猜想;OpenAI 員工也使用內部 Code x 獨立推導出類似反例。 數學天才張益唐被偷走的 7 年 美籍華裔數學家張益唐 2013 年因發表「孿生質數猜想」論文,首次證明存在無窮多對間隙 為有限的質數,才從沒沒無聞的冷門學者一夕成名,這年他 58 歲,他的過往隨即被翻開檢 閱。 人們才發現此前幾十年,張益唐的經歷是場學術悲劇。 1985 年,張益唐前往普渡大學攻讀博士學位,大膽挑選雅可比猜想作為畢業論文題目,他 的指導教授莫宗堅(美籍華裔代數幾何學家)本身也是雅可比猜想研究學者。 莫宗堅給張益唐一條自己發表過的引理(Lemma)作為證明雅可比猜想方向,結果命運開了 個殘酷玩笑,同行評審發現這條引理根本錯誤,張益唐的證明之路不只毫無進展,7 年來所 有努力更瞬間瓦解。 莫宗堅諷刺張益唐「能力不適合走代數幾何這條路」,還發牢騷說張益唐浪費自己 7 年時 間、拒絕為張寫推薦信,最後張益唐因求學期間未發表任何論文、也沒有指導教授支持,離 開普渡大學後完全找不到相關學術工作,長期落魄打零工,後來才在新罕布夏大學謀得講師 職位。 直到 2013 年發表孿生素數猜想突破性論文,張益唐才從一位默默無聞大學小講師變成全球 知名數學家。 直到 2013 年發表孿生素數猜想突破性論文,張益唐才從一位默默無聞大學小講師變成全球 知名數學家。 諷刺的是,如今雅可比猜想被 Claude Fable 5 證明本身就是錯誤,苦了張益唐學術生涯為 此漂泊數十年,但也終於還張益唐一個公道。 5.完整新聞連結 (或短網址)不可用YAHOO、LINE、MSN等轉載媒體: ※ 當新聞連結過長時,需提供短網址方便網友點擊 https://technews.tw/2026/07/21/jacobian-conjecture-claude-math-problem/ 6.備註: ※ 一個人一天只能張貼一則新聞(以天為單位),被刪或自刪也算額度內,超貼者水桶,請? ※ 備註請勿張貼三日內新聞(包含連結、標題等) -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.38.94.14 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1784680316.A.76C.html

07/22 08:32, 1周前 , 1F
先推不然大家以為我看不懂
07/22 08:32, 1F

07/22 08:33, 1周前 , 2F
把淡水魚丟海裡證明魚不會游泳
07/22 08:33, 2F

07/22 08:34, 1周前 , 3F
反觀八卦魯蛇還在擔心少子化
07/22 08:34, 3F

07/22 08:35, 1周前 , 4F
這麼簡單的題目要證這麼久喔,人類藥丸
07/22 08:35, 4F

07/22 08:35, 1周前 , 5F
這條新聞只看到學術圈的傲慢
07/22 08:35, 5F

07/22 08:35, 1周前 , 6F
還好, 我十年前就知道了
07/22 08:35, 6F

07/22 08:35, 1周前 , 7F
為什麼前幾段敘述的口條很像yt 上的
07/22 08:35, 7F

07/22 08:36, 1周前 , 8F
變雅比?
07/22 08:36, 8F
※ 編輯: KotoriCute (114.38.94.14 臺灣), 07/22/2026 08:36:49

07/22 08:39, 1周前 , 9F
跟我想的一樣 只是一張紙不夠寫證明 不對
07/22 08:39, 9F

07/22 08:39, 1周前 , 10F
只有一行 那一定是找不到適合的筆
07/22 08:39, 10F

07/22 08:39, 1周前 , 11F
張益唐的故事很勵志
07/22 08:39, 11F

07/22 08:41, 1周前 , 12F
講中文好ㄇ
07/22 08:41, 12F

07/22 08:45, 1周前 , 13F
嗯,跟我兩年前想的差不多
07/22 08:45, 13F

07/22 08:49, 1周前 , 14F
拉馬努金:觀察到
07/22 08:49, 14F

07/22 08:49, 1周前 , 15F
這只是斯梅爾的18個問題其中一個
07/22 08:49, 15F

07/22 08:49, 1周前 , 16F
我好奇的是怎麼找出來這反證的
07/22 08:49, 16F

07/22 08:50, 1周前 , 17F
這種不可能用窮舉吧
07/22 08:50, 17F

07/22 08:51, 1周前 , 18F
據說是AI找到了一篇幾乎沒人記得的俄國
07/22 08:51, 18F

07/22 08:51, 1周前 , 19F
論文當參考得到的結果
07/22 08:51, 19F

07/22 08:52, 1周前 , 20F
大學學代書時就曾經跟我老師說 但他不
07/22 08:52, 20F

07/22 08:52, 1周前 , 21F
相信我
07/22 08:52, 21F

07/22 08:54, 1周前 , 22F
恩 我去年解出來的時候還在想要不要發表
07/22 08:54, 22F

07/22 08:54, 1周前 , 23F
親鳥:先證明攔截率210%
07/22 08:54, 23F

07/22 08:55, 1周前 , 24F
嗯嗯 一比鴨鴨
07/22 08:55, 24F

07/22 08:57, 1周前 , 25F
數學跟下圍棋邏輯相似 全局直覺很重要
07/22 08:57, 25F

07/22 08:57, 1周前 , 26F
其實是我訓練的啦,我沒事就算點數學
07/22 08:57, 26F

07/22 08:57, 1周前 , 27F
教育AI,沒想到被他寫入資料庫裡面了
07/22 08:57, 27F

07/22 08:57, 1周前 , 28F
局部就靠暴力計算 這兩個都是AI強項
07/22 08:57, 28F

07/22 09:00, 1周前 , 29F
跟我想得差不多
07/22 09:00, 29F

07/22 09:01, 1周前 , 30F
真可比
07/22 09:01, 30F

07/22 09:01, 1周前 , 31F
對對對我也是這麼認為
07/22 09:01, 31F

07/22 09:04, 1周前 , 32F
天才與白痴
07/22 09:04, 32F

07/22 09:05, 1周前 , 33F
早就證明過是錯的了 沒人理我
07/22 09:05, 33F

07/22 09:06, 1周前 , 34F
人家把微積分讀透的時候一般人還在學算數,
07/22 09:06, 34F

07/22 09:07, 1周前 , 35F
是要笑話什麼.
07/22 09:07, 35F

07/22 09:07, 1周前 , 36F
AI太好用啦 AI股繼續買買買
07/22 09:07, 36F

07/22 09:09, 1周前 , 37F
比起直覺很重要什麼的,數學在我來說比較像
07/22 09:09, 37F

07/22 09:10, 1周前 , 38F
直覺反覆打破又建立的過程,被打破以後建不
07/22 09:10, 38F
還有 138 則推文
07/22 12:41, 6天前 , 177F
省掉之後多少人材不小心浪費時間
07/22 12:41, 177F

07/22 12:43, 6天前 , 178F
嗯嗯 原來如此
07/22 12:43, 178F

07/22 12:52, 6天前 , 179F
找反例很簡單啊,直接在論文庫裡面搜尋
07/22 12:52, 179F

07/22 12:52, 6天前 , 180F
成千上萬條方程式一個一個算就有機會
07/22 12:52, 180F

07/22 13:06, 6天前 , 181F
那個莫教授太爛了吧
07/22 13:06, 181F

07/22 13:15, 6天前 , 182F
找得到反例實在太扯
07/22 13:15, 182F

07/22 13:24, 6天前 , 183F
莫宗堅台灣人耶...好丟臉
07/22 13:24, 183F

07/22 13:42, 6天前 , 184F
這篇發在八卦版??
07/22 13:42, 184F

07/22 13:42, 6天前 , 185F
嗯嗯我也是這樣想
07/22 13:42, 185F

07/22 13:59, 6天前 , 186F
嗯嗯 跟我想的一樣
07/22 13:59, 186F

07/22 14:01, 6天前 , 187F
真厲害的ai...
07/22 14:01, 187F

07/22 14:02, 6天前 , 188F
拿AI跟人類比算力,這不是廢話嗎?
07/22 14:02, 188F

07/22 14:02, 6天前 , 189F
完全看不懂
07/22 14:02, 189F

07/22 14:02, 6天前 , 190F
以前覺得不可能的事 AI甚至可以窮舉
07/22 14:02, 190F

07/22 14:03, 6天前 , 191F
嗯嗯嗯
07/22 14:03, 191F

07/22 14:17, 6天前 , 192F
喔喔跟我想的一樣
07/22 14:17, 192F

07/22 14:27, 6天前 , 193F
嗯嗯跟我想的差不多
07/22 14:27, 193F

07/22 14:52, 6天前 , 194F
跟到垃圾教授
07/22 14:52, 194F

07/22 14:54, 6天前 , 195F
證明我早年給校刊的投稿是對的,可惜當
07/22 14:54, 195F

07/22 14:54, 6天前 , 196F
年沒被採用
07/22 14:54, 196F

07/22 15:19, 6天前 , 197F
@xptt.ai 解釋一下發生了什麼事
07/22 15:19, 197F

07/22 15:20, 6天前 , 198F

07/22 15:22, 6天前 , 199F
@xptt.ai 可以用五歲小孩也聽得懂的
07/22 15:22, 199F

07/22 15:22, 6天前 , 200F
方式解釋嗎
07/22 15:22, 200F

07/22 15:22, 6天前 , 201F

07/22 17:20, 6天前 , 202F
跟我想的一樣
07/22 17:20, 202F

07/22 18:00, 6天前 , 203F
所以對科學有什麼幫助?
07/22 18:00, 203F

07/22 19:12, 6天前 , 204F
這篇新聞應該是ai的,這麼長一篇專業
07/22 19:12, 204F

07/22 19:12, 6天前 , 205F
東西,還搭上世足,傻逼八
07/22 19:12, 205F

07/22 19:56, 6天前 , 206F
莫宗堅這行為真婊啊
07/22 19:56, 206F

07/22 20:57, 6天前 , 207F
沒錯 跟我想的一樣
07/22 20:57, 207F

07/22 21:33, 6天前 , 208F
跟我想的一樣
07/22 21:33, 208F

07/22 22:13, 6天前 , 209F
有兩千萬個人看得懂?
07/22 22:13, 209F

07/23 00:17, 6天前 , 210F
太厲害了
07/23 00:17, 210F

07/23 03:02, 6天前 , 211F
莫宗堅 就是一個機掰人 惡搞自己的學生
07/23 03:02, 211F

07/23 03:31, 6天前 , 212F
曲伯:AI 一本正經講幹話
07/23 03:31, 212F

07/23 09:21, 6天前 , 213F
gpt之前其實也破了一個猜想 沒人發
07/23 09:21, 213F
error405:轉錄至看板 AI_Art 07/23 11:51

07/23 13:38, 5天前 , 214F
該讓AI當教授了
07/23 13:38, 214F

07/26 11:50, 2天前 , 215F
的代數幾何核心難題,主張如果一個多
07/26 11:50, 215F
文章代碼(AID): #1gO0zyTi (Gossiping)