Fable 找到 Jacobian Conjecture 反例：Tao 拆解 AI 的可驗證新數學（2026）

2026 年 7 月 21 日，數學家 Terence Tao 在個人部落格發表了〈A digestion of the Jacobian conjecture counterexample〉。這篇文章不是最早宣布 Jacobian Conjecture 反例的地方，而是把兩天前突然出現的一組三維多項式，從「神奇公式」拆回人類能理解的幾何結構：為什麼它在每一個局部都可逆，整體卻會把三個不同點送到同一個位置。

真正讓這件事震撼的，不只是反例推翻了 1939 年以來的老問題。公開紀錄把一條罕見的協作鏈攤在陽光下：Akhil Mathew 提出方向，Levent Alpöge 與 Fable 工作並公開宣布；Tao 隨後推導結構；GPT‑5.6 又參與反向工程、解釋與可重現檢查。但角色不能混成一句「AI 解決數學」——數學內容可以精確驗證，發現過程的 provenance 卻仍有一段看不見。

先把 Tao 原文放在這裡。點擊下面這張截圖，會在新分頁打開原文；接下來我們會先把反例講懂，再逐層核對公式、形式化與署名，最後判斷這次到底跨過了什麼門檻。

全文分三步：先釐清誰做了什麼；再用兩個有限證書確認反例；最後拆開「數學已被驗證」與「AI 發現過程已被完整證明」這兩個不同命題。

一、先把時間線與署名講清楚

2026 年 7 月 19 日晚間（美東時間；UTC 已是 7 月 20 日），數學家 Levent Alpöge 在 X 貼出完整映射。他的原話非常不正式，卻把角色交代得很清楚：

“hello there the jacobian conjecture is false … my other close friend fable for working during the world cup final”

中文：「嗨，Jacobian Conjecture 是錯的……也謝謝我的另一位好友 Fable 在世界盃決賽期間工作。」

— Levent Alpöge，2026 年 7 月 20 日（UTC）

Alpöge 同時感謝 Akhil Mathew 提出問題。Kevin Buzzard 隔天在 Xena 專案的事件紀錄中寫得更直接：Mathew 與 Alpöge 討論到用新工具找代數幾何反例，之後「Fable 找到了 Jacobian Conjecture 的反例」；Paul Lezeau 也很快把它形式化並送出 GitHub PR。

所以目前最準確的署名方式是：Fable 被 Alpöge 與後續數學來源明確歸功為反例的產生者；Mathew 負責提出方向；Alpöge 是與模型協作、驗算並把公式公開交給社群負責的人。這不是把人類抹掉，也不是把模型降格成計算機，而是照公開紀錄分配角色。

兩天後，Tao 在原文裡給了最關鍵的外部確認：

“It was recently shown (using the Fable AI) that the conjecture is false in three dimensions…”

中文：「最近有人使用 Fable AI 證明，這個猜想在三維是錯的……」

— Terence Tao，〈A digestion of the Jacobian conjecture counterexample〉

二、Jacobian Conjecture 到底在猜什麼？

Jacobian Conjecture 通常追溯到 Keller 1939 年的論文。它研究的是多項式映射 F: ℂⁿ → ℂⁿ：如果 Jacobian determinant 是一個非零常數，是否代表 F 一定有全域的多項式反函數？

白話一點：Jacobian 不為零，保證你站在任何一個有限位置附近，地圖都沒有被壓扁、折疊，可以局部倒著走。猜想更進一步主張：只要這張「多項式地圖」每個小區域都可逆，整張世界地圖就不可能把遙遠的地方疊在一起。

一維很簡單：導數處處非零的複數多項式只能是一次式。真正困難的是多維。新反例告訴我們，三維已經能出現「每個局部都好好的，全球卻三層重疊」；把額外座標原封不動接在後面，就得到所有 n ≥ 3 的反例。但二維情況沒有被這一步碰到，至今仍然開放。

三、這不是「看起來像證明」：兩個有限證書就能檢查

令 u = 1 + xy，Alpöge 公開的三維映射可寫成：

u = 1 + xy
P = u³z + y²u(4 + 3xy)
Q = y + 3xu²z + 3xy²(4 + 3xy)
R = 2x − 3x²y − x³z
F(x,y,z) = (P,Q,R)

要推翻猜想，不必相信 Fable、Alpöge、Tao 或任何權威。只要驗兩件事：

1. 假設成立：把三個分量對 x,y,z 微分後取 determinant，精確化簡得到 det JF ≡ −2。
2. 結論失敗：(0,0,−1/4)、(1,−3/2,13/2)、(−1,3/2,13/2) 三個不同輸入，全都被送到 (−1/4,0,0)。

本文發布前也用 SymPy 的有理數運算重新跑過這組公式：determinant 為 −2，三個像都精確等於 (−1/4,0,0)，三個分量的總次數則是 (7,6,4)。這種證書和長篇自然語言證明最大的差別是：錯一個符號就會直接爆掉，沒有靠文氣蒙混過關的空間。

形式化也已經跟上。Paul Lezeau 在 7 月 20 日向 Google DeepMind 的 Formal Conjectures 儲存庫送出 PR #4474。截至 2026 年 7 月 24 日，PR 仍是 open、尚未 merge，但已有 reviewer approval，GitHub API 顯示分支狀態為 clean。這提供了另一條獨立檢查路徑；同時也提醒我們，「有形式化」不等於「已合併、已出版或已完成長期社群審查」。

四、Tao 的「消化」：三層重疊不是魔法

公式能驗，但公式本身不告訴你「為什麼有人會想到它」。Tao 說，直接看這個七次映射像是 “a massive miracle”：一般情況下，Jacobian 的大量非定常係數竟然全部互相抵消，幾乎不像暴力搜尋能隨便撞到。

他把奇蹟拆成三個可以理解的動作：

• 先乘法：把一個一次齊次多項式 L 與一個二次齊次多項式 Q 相乘，得到三次多項式 C=LQ。
• 再忘掉標記：一般的三次式有三個根。你可以選任何一個根放進 L，其餘兩個放進 Q；忘記「剛才標了哪一根」後，三種不同輸入都得到同一個 C。這天然產生全域三對一。
• 最後禁止局部碰撞：用 resultant 的條件確保 L 與 Q 沒有共同根，再選一個特殊的三維切片。於是三層彼此不會在有限位置折疊，局部仍是一對一；而那個切片又恰好可用多項式座標化成 ℂ³。

這就是反例的核心圖像：「標一個根，再忘掉標記」。Jacobian 條件只保證你站著的那個根是簡單根、局部能追蹤；它不會替你數出整個三次式總共有幾個可選的簡單根。

Tao 也公開了與 GPT‑5.6 的 ChatGPT 推導對話，用來討論切片、仿射性與座標變換；另一個獨立整理站 jacobianfun.org 則把 GPT‑5.6‑sol 的角色列為結構反向工程、延伸構造、寫作、視覺與自動檢查。這些工作讓公式更能被理解與重現，但它們不是原始三維反例的發現署名。

“AI output is part of the production history; it is not treated as mathematical evidence.”

中文：「AI 輸出是產製歷史的一部分；它不被當作數學證據。」

— jacobianfun.org，Verification & provenance

五、為什麼數學界與科技圈都在沸騰？

因為這次的中心不是「模型寫出一篇很像論文的文字」，而是一個任何人都能拿去攻擊的公開物件。你可以檢查 determinant、代入三個點、跑另一套 CAS、寫 Lean，也可以反向推導它的幾何。模型的說服力不再來自口才，而來自它交出了一個能被迅速證偽、卻暫時沒有被證偽的東西。

討論熱度也很少見。截至 2026 年 7 月 24 日，Tao 公開的 ChatGPT 對話在 Hacker News 有 1,090 points、619 則 comments；Tao 的數學解說另有 328 points、134 則 comments。前者的討論量遠高於後者，恰好反映了大眾最在意的張力：不是只有「猜想被推翻」，而是「新的可驗證數學到底由誰產生」。

數學界的反應則更像一場高速消化：Buzzard 關注形式化，Tao 與 Secret Blogging Seminar 的數學家們找幾何結構，Zihan Zhang 很快整理出三維反例對更高維與其他猜想的直接後果。這不是長期共識已經完成，而是公開物件夠短、夠硬，讓驗證與理解可以同時平行展開。

六、Provenance 對帳：誰負責哪一段？

這張表最重要的一格，是「不能多說」。Tao 在留言區提到，他不認為原始 AI 嘗試的 traces 目前可取得。於是形成一個很有意思的分離：數學證書是公開、精確、可重播的；Fable 如何走到那裡，則仍主要依賴 Alpöge 的公開署名。

這不會削弱反例本身。反例成立不需要知道它是靈感、搜尋、訓練資料回憶，還是人機多輪引導的產物。但如果問題是「AI 是否自主產生了真正新穎的方法」，原始提示、工具呼叫、候選淘汰與文獻搜尋紀錄就很重要。有效性與發現史，是兩張不同的考卷。

七、AlphaLab 的判讀：這次真正跨過的門檻

判讀一：AI 數學的門檻，從「像不像」變成「能不能被打」

過去最常見的 AI 數學爭議，是自然語言推導很流暢，但某個隱藏步驟錯了。這次不同：Jacobian Conjecture 反例是一個短而明確的物件。你不需要讀懂 Tao 的全部幾何就能先檢查它；而一旦基本證書站住，社群才有理由投入時間理解「為什麼」。

判讀二：權威沒有消失，只是角色從背書改成驗收

「Tao 寫了所以是真的」不是好論證；「Fable 很強所以是真的」更不是。Tao 的價值在於把隱藏結構攤開，Buzzard 與形式化社群的價值在於檢查命題對不對，Alpöge 的價值在於公開物件並承擔署名。權威仍重要，但它不能取代證書，只能提高我們檢查證書的品質與速度。

判讀三：發現的稀缺資源，可能正在從算力轉向「選題與消化」

如果模型能大量搜尋可反駁的猜想，人類瓶頸就不再只是「能不能找到候選」，而是：哪個問題值得問、哪個候選值得驗、如何把十萬個證書整理成能累積的理論。Mathew 的選題、Alpöge 的公開責任、Tao 的消化，正好展示了這三個瓶頸。

判讀四：這是重要突破，不是「AI 已接管數學」的總證明

一個成功反例證明模型能在特定條件下產生可驗證的新物件；它沒有自動證明每個領域、每種長證明、每次無人監督的輸出都同樣可靠。更不能把三維反例誤寫成「二維也解了」。最誠實的結論，是把這件事視為能力分布向前移動的一個強證據，而不是拿單一事件替整個未來蓋棺論定。

我同意什麼，又保留什麼？

我同意的：公開映射確實通過核心精確檢查；它否定三維及所有更高維的 Jacobian Conjecture；Fable 被多個具名來源明確歸功為反例產生者；Tao 與 GPT‑5.6 的後續工作把「奇蹟公式」轉成了可理解、可重現的結構。

我保留的：原始 Fable trace 尚不可審計，所以不能斷言模型完全自主、沒有關鍵人類引導，也不能判定它用了何種搜尋策略；Formal Conjectures PR 尚未 merge；jacobianfun 的延伸 family 雖有精確腳本，頁面自己也承認文獻優先權尚未完整檢索。這些限制不推翻反例，但會影響我們如何書寫發現史。

八、以後看到「AI 解決百年問題」，先問這六題

1. 有沒有公開物件？反例、證明、程式或資料能否下載？
2. 有沒有短證書？能否把關鍵正確性壓縮成幾個精確等式或機器可檢查命題？
3. 是否有人獨立重現？最好用不同工具、不同形式化或不同推導路徑。
4. 誰對公開主張負責？模型沒有職業聲譽與責任，具名人類必須說清楚自己檢查了什麼。
5. Provenance 能不能重播？原始提示、工具、候選淘汰與文獻搜尋是否留下紀錄？
6. 範圍有沒有被偷換？三維不等於二維；公開反例不等於所有延伸結論都已通過長期審查。

如果六題都答得漂亮，那就值得興奮。這次 Jacobian 事件至少在前四題上非常強，第五題仍有缺口，第六題則必須反覆提醒。這正是它比一般「AI 似乎證明了什麼」更成熟，也比宣傳標題更複雜的地方。

想補齊事件中的模型背景，可先讀 AlphaLab 的 《Claude Fable 5 是什麼？》與 《GPT‑5.6 Sol／Terra／Luna 深度解讀》；想理解 AI 為何開始介入 AI 與科學研發，可接著看 《當 AI 開始打造 AI》、《Claude 深度研究：STORM 研究法》，以及討論人類驗收瓶頸的 《你剛雇用了一百萬名爛員工》。

📚 延伸閱讀與原始資料

• Terence Tao：A digestion of the Jacobian conjecture counterexample
• Levent Alpöge：原始公開宣布與三維映射
• Jacobian counterexample, explained：精確檢查、結構與 provenance
• Google DeepMind Formal Conjectures PR #4474：Lean 形式化進度
• Kevin Buzzard／Xena：Human mathematicians are being outcounterexampled
• Zihan Zhang：三維反例的直接後果

免責聲明與利益揭露：本文為對公開數學文章、程式與討論的獨立評論與整理，不構成學術優先權裁定、投資或產品建議。引用之原始文字、公式畫面與網站視覺版權歸各原作者／來源所有，僅作評論與說明用途。AlphaLab 與 Anthropic、OpenAI、Terence Tao、Akhil Mathew、Levent Alpöge、jacobianfun.org 均無贊助或商業合作關係；本文提及的精確檢查不取代正式學術出版與長期同儕審查。