Claude Fable 推翻了 87 年的雅可比猜想

一個 87 年沒人破得掉的數學名題，7 月中下旬多了一個反例——而動手構造它的，是 Claude Fable 5。數論學者 Levent Alpöge 把式子直接貼了出來：一個三維複空間到三維複空間的多項式映射，Jacobian 行列式是常數 −2，卻把三個不一樣的點全送到同一個位置。這正好是雅可比猜想（Jacobian Conjecture，1939）斷言不可能存在的東西。

先把它攤在桌上，因為這則新聞最特別的地方，是你自己就能驗算：

F(x, y, z) = (
  (1+xy)^3 · z + y^2 (1+xy)(4+3xy),
  y + 3x(1+xy)^2 · z + 3x·y^2 (4+3xy),
  2x − 3x^2·y − x^3·z
)

它的 Jacobian 行列式算出來恆等於 −2（一個非零常數），而它把三個相異的點——(0, 0, −1/4)、(1, −3/2, 13/2)、(−1, 3/2, 13/2)——全部送到同一個位置 (−1/4, 0, 0)。

這個反例小到能手算，所以它是真的；至於 Claude Fable 做了多少，得等他們公開對話。 一個「Jacobian 行列式是非零常數、卻不是一對一」的多項式映射，正是這個 1939 年被 Ott-Heinrich Keller 提出、之後 87 年沒人破得掉的猜想說不可能存在的東西。往下讀的原因不是「AI 好神」這種形容詞，而是這個反例的形狀很特別——它小到任何人都驗得動。

這個反例為什麼幾乎確定是真的

大部分「AI 解決了某某難題」的新聞，你得先決定要不要相信報導、相信模型、相信發文的人。這一則不用。

因為 Alpöge 給的不是一段論證，而是一個封閉的代數物件：一個寫死的多項式、幾個寫死的座標點。要檢查它，你只需要做兩件國中生也會的事——把式子的偏微分排成矩陣算行列式，以及把三個點代進去。行列式是不是常數 −2、三個點是不是真的落在同一個像，全是機械化的算術，沒有模糊空間。

本刊用 SymPy 獨立跑過一遍：det(J_F) 化簡後就是 −2，三個點代入後都得到 (−1/4, 0, 0)，和 Alpöge 原貼附的 Wolfram Alpha 連結一致。社群裡也有人各自用不同工具核對，甚至有人「不知道為什麼」還是親手驗了一次才敢相信。反例本身的正確性，到這裡基本可以放心。

87 年裡，這正是「民科墳場」埋掉的那種東西

要體會這件事的份量，得知道雅可比猜想在數學圈是什麼地位。

它的敘述短到反常：一個多項式映射，如果 Jacobian 行列式是非零常數，那它就應該有一個多項式反函數（在複數上等於說它是雙射，特別是一對一）。Ludwig Kraus 1884 年先對兩個變數的版本提出，還附了一個有瑕疵的證明；Ott-Heinrich Keller 1939 年把它推廣成一般敘述，所以又叫 Keller’s problem。Stephen Smale 1998 年開的「下世紀十八道數學問題」清單裡，它排第 16。

它出名的另一個原因沒那麼光彩：太多「證明」發表出來後被找到微妙的錯誤，多到這個題目被戲稱為 “crank graveyard”——民科墳場。它看起來簡單、人人躍躍欲試，卻反覆把人埋進去。Lichtman 提到一段插曲：後來以「質數間距有界」成名的張益唐，博士論文正是栽在一條與雅可比猜想相關、由指導教授提出卻有誤的引理上。

在這樣一個題目上，反例居然是一個最高七次、係數都很小的式子——小到 87 年來理論上任何一個代數幾何學者都算得動。「為什麼以前沒人先想到」本身，就成了這件事最耐人尋味的地方。

那 Claude Fable 到底做了多少？

這是報導裡最該小心的一段，因為它正好是社群吵得最兇的地方。

Alpöge 自己的說法是：一個朋友（Akhil）提出這個問題，Fable 則「在世足決賽那晚工作」做出構造。Lichtman 把功勞列成「Alpoge、Matthew 與 Claude Fable 5」。但關鍵的一點是——完整的人機對話沒有公開。於是「人給了多少方向、模型自己走了多遠」這件事，目前沒有人能定論。討論串裡直白的質疑是：不放出完整對話，那就當它是行銷噱頭。

同樣要說清楚的是流程：截稿為止沒有 arXiv 預印本、沒有期刊審查，維基百科的條目在同儕審查通過前，仍然把猜想標成 open。所以精確的講法不是「雅可比猜想已經蓋棺」，而是「一位具名數學家公開宣稱它被否證，反例可被任何人驗算，正式紀錄還在等審查」。

把常被混在一起的兩件事分開看，會清楚很多：

問這件事	現在的狀態	為什麼
這個反例本身對不對？	近乎確定為真	可手算、社群多方核對、本刊 SymPy 獨立驗算 det=−2 與三點共像
雅可比猜想正式「死了」嗎？	尚未	無 arXiv／無同儕審查，官方紀錄仍列 open
Claude Fable 貢獻了多少？	未定論	完整人機對話 transcript 未公開，人／模型分工無法查證

前者近乎確定，後兩者要等他們把對話與正式稿拿出來——這三格別合成一句「AI 推翻了雅可比猜想」囫圇吞下。

可以被機器檢查對錯的問題，就是現在該交給模型的地方

把這件事放回「我該多信任前沿模型做真實研究工作」這個問題上，它給的其實是一個相當乾淨的校準點。

模型在這裡之所以靠得住，不是因為它「更聰明」，而是因為問題的性質對它有利：構造一個反例、驗證一條代數恆等式，對錯可以被外部工具機械化地檢查——你不必先相信模型有沒有幻覺，代進去算一次就知道。這類「封閉、可驗證」的問題，正是現階段最適合放手讓前沿模型去啃的地帶；反過來，需要靠敘述性論證、靠品味判斷、靠沒有標準答案來說服人的工作，仍然是另一回事。

所以這則新聞你可以這樣收著：那個式子是真的，你自己也驗得出來；Fable 貢獻了多少，等他們公開對話再說；雅可比猜想的官方生死，等同儕審查。而「可以手算驗對錯的問題，交給模型」這條線，這次又被結結實實地劃深了一道。