綜合避難所

怕島民不懂 解釋一下好了

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

這一天，數學界發生驚天動地大事，無數頂尖學者 87 年來都無法證明正確性的代數幾何難題「雅可比猜想」——不用證明了，這個猜想本身就是錯誤，證偽主角甚至還是 AI 模型 Claude Fable 5。

2026 年 7 月 19 日，世界盃足球賽接近尾聲之際，Anthropic 員工暨數學家萊文特·阿爾波格（Levent Alpöge）在社群軟體隨手寫下一句話與一段簡潔數學公式，沒有大篇長論、沒有發表論文，就那樣輕描淡寫指出 Anthropic 大型語言模型 Claude Fable 5 發現「雅可比猜想（Jacobian conjecture）」在三維空間的明確反例（推翻該猜想 N>2 的情況），一夜之間超過 2,000 萬次瀏覽。

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

((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x – 3 x^2 y – x^3 z): \C^3\to \C^3,…

— levent (@__alpoge__) July 20, 2026

這條消息為何如此驚人？簡單說，該反例讓 87 年來試圖證明雅可比猜想正確性的頂尖數學家們淪為笑話。

雅可比猜想是德國數學家奧特-海因里希·凱勒（Ott-Heinrich Keller ）於 1939 年提出的代數幾何核心難題，主張如果一個多元多項式映射的雅可比行列式始終為非零常數，則該映射整體上是否一定可逆（存在多項式反函數）？

微積分反函數定理告訴我們，如果一個函數在某一點的雅可比行列式不為零，那麼該函數在該點附近就具有一個局部反函數，因此我們對雅可比猜想的直覺認知是「對」。

更白話一點來說，想像有個規則可以把空間任何一點變到另一個點（也就是映射），而雅可比猜想主張只要「局部不塌陷」特性（即雅可比行列式始終為非零常數）在整個空間、每一點都成立，那麼映射全域變換一定可逆，每一個輸出點都應恰好對應一個輸入點，你永遠能唯一反推——每個終點都只對應一個起點。

然而這道題目陷阱特別多， 87 年來一直沒人可完整證明雅可比猜想對或錯，歷史上已發表過的「證明雅可比猜想」論文數量極其龐大，最終都被發現存在細微漏洞，雅可比猜想因此被列入 21 世紀 18 大數學難題清單，更被戲稱為數學證明界吸血鬼，吸乾無數聰明、才華洋溢的年輕數學家精力。

現在這條數學界公認異常難證明的問題，突然就被 Levent Alpoge 和 AI 模型 Claude Fable 5 推翻了。

Claude Fable 5 直接拋出一個簡潔優雅的反例：

設多元多項式函數 F：C³→C³ 為：

F(x,y,z) =（(1+xy)³z+y²(1+xy)(4+3xy), y+3x(1+xy)²z+3xy²(4+3xy), 2x−3x²y−x³z ），可驗證此多項式映射的雅可比行列式恆等於 -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 員工也使用內部 Codex 獨立推導出類似反例。

數學天才張益唐被偷走的 7 年

美籍華裔數學家張益唐 2013 年因發表「孿生質數猜想」論文，首次證明存在無窮多對間隙為有限的質數，才從沒沒無聞的冷門學者一夕成名，這年他 58 歲，他的過往隨即被翻開檢閱。

人們才發現此前幾十年，張益唐的經歷是場學術悲劇。

1985 年，張益唐前往普渡大學攻讀博士學位，大膽挑選雅可比猜想作為畢業論文題目，他的指導教授莫宗堅（美籍華裔代數幾何學家）本身也是雅可比猜想研究學者。

莫宗堅給張益唐一條自己發表過的引理（Lemma）作為證明雅可比猜想方向，結果命運開了個殘酷玩笑，同行評審發現這條引理根本錯誤，張益唐的證明之路不只毫無進展，7 年來所有努力更瞬間瓦解。

莫宗堅諷刺張益唐「能力不適合走代數幾何這條路」，還發牢騷說張益唐浪費自己 7 年時間、拒絕為張寫推薦信，最後張益唐因求學期間未發表任何論文、也沒有指導教授支持，離開普渡大學後完全找不到相關學術工作，長期落魄打零工，後來才在新罕布夏大學謀得講師職位。

直到 2013 年發表孿生素數猜想突破性論文，張益唐才從一位默默無聞大學小講師變成全球知名數學家。

諷刺的是，如今雅可比猜想被 Claude Fable 5 證明本身就是錯誤，苦了張益唐學術生涯為此漂泊數十年，但也終於還張益唐一個公道。

當世界還在爭論AI沒有用處只會是泡沫時
AI已經一直證明 人類才是無用的 AI比人類強太多
AI最大的用處就是節省人類的時間
不管是證驗學術理論 實驗數據 甚至創造人類想不到的理論
光憑這一點 AI就可以紅起碼20年

>>30685188
我查了一下相關資料
張益唐是有通過博士論文口試也有拿到博士學位的
只是他的指導教授沒幫他寫推薦信
他後來說莫宗堅對他沒有他自己說的那麼好
普渡大學的七年不堪回首不想多提

>莫宗堅諷刺張益唐「能力不適合走代數幾何這條路」，還發牢騷說張益唐浪費自己7年時間、拒絕為張寫推薦信
莫宗堅後面有說這是假消息
當時寫推薦信的做法已經不流行了
而且他也不知道自己能推薦的工作適不適合張益唐
雅可比猜想也是張益唐自己選的
他也很驚訝他怎麼選了一個這麼難的題目

看來事情的真相很簡單了
這個人不會做人沒抱好指導教授大腿
又語障也沒能好好表達自己的需求和想法

>同行評審發現這條引理根本錯誤，張益唐的證明之路不只毫無進展，7 年來所有努力更瞬間瓦解
學術界不可能會有這種評價
沒有人能保證每一次研究都可以做出正面的研究成果
你花七年時間證明這個猜想是錯的也是種結論和成果

Ai能做到這點也是靠大量文獻而來的吧

Fable 5快點幫忙證明二次元是可以前往的地方啊

我比較想知道
最近很紅的 KIMI K3 可以證明 Jacobian conjecture 嗎

>>30685275
>>當時寫推薦信的做法已經不流行了

現在還是流行寫推薦信阿 尤其大老的推薦信很重要
尤其尤其是圈子很小的學術界 業界跳來跳去反而很正常
當然數學界很多人泡在奇怪的問題上很久也是常例了
泡在奇怪的問題很久 被教授踢出去更是常例的常例 (這其中很難判斷是教授還是當事人的錯)
就像你說的那樣研究了很久舉出幾個特殊條件的反例 理論上也是貢獻
只是說沒有雙生質數的話想找教職就很難了
因為別人是正例 那怕是pde的特殊條件 結果你搓的是反例
像老丘或老顧那樣有大型問題每個人分派往下做子問題還比較快
所以tau聰明的點就是他做pde 用pde衝論文數超快 空出來的時間在做數論
現在還能跨域到ai
其實懂代數幾何的話就知道他對宇宙和ai沒啥小作用了 尤其是近幾十年都用來做數論問題
老chern當年用來處理高能和理論物理的是微分幾何和微分拓樸

>>30685361
可以吧 畢竟是蒸餾來的
只是講到一半可能會自報家門而已

>>30685188
>怕島民不懂 解釋一下好了
還是看不懂= =

不是說好現在AI只是語言模型，資料還只是蒐集人類的文章，怎麼會這麼屌= =

>>30685484
一個人沒辦法看幾一份文獻
AI可以

>>30685275
蛤?

到現在還是流行寫推薦信吧...

87年不能再多了