讓張益唐苦熬7年的雅可比猜想，Fable 5竟一夜推翻證偽

# 引爆數學界：AI 一夜推翻“雅可比猜想”，張益唐七年心血成泡影？ 2026 年 7 月 21 日，一個尋常週日的傍晚，整個基礎數學圈卻經歷了一場前所未有的地震。Anthropic 研究人員 Levent Alpoge 在社群平台拋出一枚震撼彈：困擾數學家近九十年的「雅可比猜想」，被自家 AI 模型 Fable 5 找到了反例，從而宣告證偽。消息一出，學術界從震驚到狂喜，再到對張益唐命運的集體唏噓，將這個原本冷僻的猜想推到了世界輿論的風口浪尖。這一天，被人稱為「AI 數學的史普尼克時刻」。 ## 什麼是雅可比猜想？一個平凡直覺下的陷阱

先回到 1939 年。德國數學家 Ott-Heinrich Keller 提出一個看似自然的問題：如果一個多項式映射的雅可比行列式是一個非零常數，那麼這個映射是否一定存在多項式逆映射？換句話說，微積分裡的反函數定理告訴我們，只要函數在某點的雅可比行列式不為零，局部就有逆；雅可比猜想則追問：如果這個條件處處成立，而且函數本身是多項式，那麼逆映射也一定是多項式嗎？ 這是數學中典型的「從局部到整體」的難題，看似理所當然，卻讓最聰明的腦袋集體撞牆了八十七年。多年來無數數學家發表了號稱證明或否證的論文，但每一個都迅速被發現漏洞，就像一個宇宙級的黑洞，吞噬一切靠近的推理。 ## Fable 5 的致命一擊：「隨手」給出的反例

這次 AI 沒有順著人類的邏輯去苦心證明，而是以一種近乎「粗暴」的方式，直接在三維空間 $\mathbb{C}^3$ 中甩出了一個反例。這個從 $\mathbb{C}^3$ 到 $\mathbb{C}^3$ 的多項式映射，其雅可比行列式恆等於 -2 ——完美滿足猜想的條件（非零常數），但 Fable 5 卻簡潔地指出了它的非單射性：三個截然不同的點都被映射到同一點，自然不存在逆函數，直接宣判了大眾版本的猜想在維度大於等於 3 時是錯誤的。 更令人膽寒的是這個反例的「自證」性質：任何學過選修微積分的大一學生，都能手算出這個三元多項式的雅可比行列式恆為常數。UC Berkeley 計算機科學與統計學副教授 Jason Lee 在第一時間感嘆：「數學完了。」（Math is solved.）——這句話帶著雙關的震撼。數學家 Jared Duker Lichtman 則高呼，這是「現代數學中最鼓舞人心的故事之一」。 ## 張益唐：被偷走的七年與無聲的嘆息

然而，這個故事中最讓普羅大眾動容的，莫過於華人數學家張益唐的遭遇。所有人都記得那個在賽百味打工的天才，卻少有人知道他為何會淪落至此。 1990 年代初，張益唐在普渡大學攻讀博士學位，導師莫宗堅堅信雅可比猜想是正確的，並要求他以該猜想作為博士論文題目。莫宗堅還提供了一個自己發表的「引理」，作為推導的基礎。張益唐沿著這條路走進去，滿以為觸及了真理，卻在最後關頭發現：那條關鍵的引理是錯誤的。這意味著他耗費數年心血搭建的理論大廈，地基從一開始就是豆腐渣。莫宗堅不僅沒有承擔責任，反而寫下「你不適合代數幾何」的評語，拒絕為他撰寫推薦信。帶著一個常春藤名校的博士學位卻無法在學術界立足，張益唐只好去打零工，其中最長的一段就是在賽百味洗盤子、做三明治，度過了整整七年。 直到 2013 年，58 歲的張益唐在孿生素數猜想上實現了驚天突破，從零落的大學講師一躍成為全球頂級數學家。他用杜甫的詩句形容自己的心境：「庾信平生最蕭瑟，暮年詩賦動江關。」而讓他蹉跎青春的雅可比猜想，竟在此時被一個 AI 模型用一行反例輕輕鬆鬆證偽。更諷刺的是，莫宗堅直到 2018 年還堅信雅可比猜想正確，甚至預言 AI 會幫助人類完成那缺失的證明——他沒有想到，AI 帶來的不是證明，而是墓碑。 ## 不止一個猜想：連鎖效應與新徵程

這次證偽的衝擊遠遠不止於一個猜想。Fable 5 的反例公布後不久，OpenAI 的 GPT-5.6 迅速對這一結果進行了結構性分析，不僅推導出了本質相同的反例，還給出了完整的代數推導路徑，並提出了一套「修正後的猜想」——這背後展現的已是 AI 真正的數學創造力，而不僅僅是模式模仿。數據科學家 Cal Aldred 甚至利用「Fable + GPT-5.6 Sol」組合，發展出一套生成無限多反例的方法。 不少數學家開始擔憂，雅可比猜想的崩塌可能只是倒下的第一張多米諾骨牌，許多依賴於它或與它結構相似的猜想，都即將面臨被證偽的命運。菲爾茲獎得主 Timothy Gowers 意味深長地說道：「2030 年的菲爾茲數學獎，可能是最後一次頒給人類。」

## 冷靜的矚目：二維仍是未解之謎

必須指出的是，這次 Fable 5 否證的是「所有維數都成立」的廣義雅可比猜想，更具體地說，是維度大於等於 3 的情況。張益唐當年研究的二維情形恰好是這個猜想最為核心、也被認為最難攻破的部分，至今仍然懸而未解。但這絲毫不減這個事件的象徵意義：當 AI 能夠以如此優雅的方式爆破一個八十七年來人類束手無策的問題時，數學以及一切依賴嚴密推理的學科，都必須重新審視自己的位置。 有人說，張益唐被偷走的七年，是傳統人類智力模式面對誤導與權威時付出的代價；而 Fable 5 一夜之間給出的答案，則是人類與機器協作時代來臨的信號。無論如何，歷史已經切入了新的坐標：那些曾經讓人類皓首窮經的命題，未來可能會由一行程式碼，在一個周日傍晚輕鬆終結。這究竟是幸，還是不幸？唯有時間能給出答案。