Claude Fable 與 Jacobian 猜想的反例

Claude Fable 與 Jacobian 猜想的反例

Claude Fable 推翻 Jacobian 猜想

一個名為 Claude Fable 的 AI 模型提供了一個 Jacobian 猜想的反例，實質上證明了該猜想為假。此結果由 levent（@alpoge）於 2026 年 7 月 20 日公布，詳細說明了一個從 $\mathbb{C}^3$ 到 $\mathbb{C}^3$ 的特定多項式映射，其 Jacobian 行列式恆為常數卻不是單射，從而違背了猜想的要求。

反例

此反例是一個多項式映射 $F: \mathbb{C}^3 \to \mathbb{C}^3$，其分量如下：

  • $f_1 = (1+xy)^3 z + y^2 (1+xy) (4+3xy)$
  • $f_2 = y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy)$
  • $f_3 = 2 x - 3 x^2 y - x^3 z$

數學性質

根據公告，該映射的 Jacobian 行列式為 -2。由於此映射不是單射，故猜想被推翻；它將三個不同的點映射到相同的輸出：

  • $(0, 0, -1/4) \to (-1/4, 0, 0)$
  • $(1, -3/2, 13/2) \to (-1/4, 0, 0)$
  • $(-1, 3/2, 13/2) \to (-1/4, 0, 0)$

這些性質已透過 Wolfram|Alpha 驗證，且形式化工作已在 Lean（Mathlib）中展開。

更廣泛的數學影響

由於 Jacobian 猜想在數學上與其他重大問題相互關聯，其被推翻將對相關猜想產生連鎖效應：

  • Dixmier 猜想： 第三 Weyl 代數的 Dixmier 猜想現在被視為已被推翻。
  • Poisson 猜想： 由於 Poisson 猜想與 Jacobian 猜想等價，亦因此在一般情況下被認為是錯誤的。

AI 發現過程的分析

合成 vs. 暴力搜索

關於 Claude Fable 如何得到此結果，存在大量討論。有觀察者認為模型可能是從龐大的先前失敗證明與接近成功的案例中合成出此反例；也有人推測它執行了高度有效的非線性多項式族搜索。

一位評論者指出了發現的效率：

"想到 Claude Fable 能夠在立方體上找到反例，讓我感到難以置信……[其他人] 在大約 16 個變數的多項式上進行暴力搜索……猜測下界……會上升到 200。"

人類‑AI 協作

雖然模型產生了結果，但發現是一個協作的過程。公告中感謝了 "akhil" 提出問題，感謝了 "fable" 完成計算工作。這凸顯了日益興起的「math‑vibe coding」趨勢：研究者使用 AI 生成候選解，然後花大部分時間手動驗證與確認結果。

社群反應與爭議

此公告引發了關於數學未來與 AI 在正式發現中角色的辯論：

  • 「狂人墓地」： Jacobian 猜想被形容為「典型的狂人墓地」，因為數十年來大量業餘者提交的錯誤證明。這使得此發現尤為感人，因為在 1990 年代，可能只需要一位研究生花幾天電腦搜索就能找到的結果，卻是由大型語言模型完成的。
  • 數學的狀態： 部分數學家擔憂前沿模型會迅速解決所有目前人類基礎設施能觸及的問題，可能將數學簡化為對「神諭」的詮釋。
  • 驗證延遲： 使用者指出，雖然 AI 能即時產生結果，但人類驗證所需的工作量仍相當龐大。某研究者提到「驗證花的時間比發現本身還要長」。

摘要：一個名為 Claude Fable 的 AI 模型據稱提供了 Jacobian 猜想的反例，這是一個長達 85 年未解的數學難題。

標題：Claude Fable 與 Jacobian 猜想的反例

Sources