Claude Fable 5 是否參與發現雅可比猜想的三維反例？二維情況仍未解決

核心事實

雅可比猜想研究多項式映射

\[

F:\mathbb{C}^n\to\mathbb{C}^n。

\]

該猜想認為，如果它的雅可比行列式處處都是同一個非零常數，那麼這個映射應該具有多項式逆映射。這通常可追溯到 1939 年提出的問題，是代數幾何領域長期未解的著名猜想之一。

根據目前報導，Levent Alpöge 公佈了如下三變數多項式映射：

\[

F(x,y,z)=

\Bigl(

(1+xy)^3z+y^2(1+xy)(4+3xy),

\]

\[

y+3x(1+xy)^2z+3xy^2(4+3xy),

\]

\[

2x-3x^2y-x^3z

\Bigr)。

\]

相關資料顯示，兩個關鍵計算如下：

\[

\det(JF)=-2，

\]

以及

\[

F(0,0,-\tfrac14)=F(1,-\tfrac32,\tfrac{13}{2})=F(-1,\tfrac32,\tfrac{13}{2})=(-\tfrac14,0,0)。

\]

這表示：

• 雅可比行列式為非零常數，符合猜想的前提；
• 3 個不同的輸入點具有相同的像，因此該映射不是單射；
• 不單射的映射不可能有反函數，更不可能有多項式逆映射。

如果上述公式與計算經獨立驗證無誤，這個映射就會成為雅可比猜想在三維情況下的反例。

為什麼不能說「雅可比猜想已被證明」

「證明」通常是指證明某個數學命題成立；但這裡報導的是一個可能否定猜想的反例。因此，更準確的表述應該是：

Claude Fable 5 參與了雅可比猜想三維版本的明確反例之發現或搜尋過程；該結果仍等待正式的數學程序確認。

就目前資料而言，完整的提示詞、搜尋記錄、模型執行次數都未公開，模型、研究者與外部計算工具各自的貢獻也沒有被清楚區分。因此，目前能確認的只有：研究者公佈了反例公式，並將其發現歸功於 Claude Fable 5 的協助；尚不能斷言模型單獨完成了這項數學發現。

影響範圍：三維以上，二維仍未解決

根據報導，從三維反例還可以構造出更高維度的反例。因此，如果這個結果成立，被否定的是

\[

n\geq 3

\]

的雅可比猜想版本。

但對於二維情況

\[

F:\mathbb{C}^2\to\mathbb{C}^2

\]

仍然是未解問題。也就是說，即使存在三維反例，也不代表雅可比猜想整體已完全解決；二維雅可比猜想依舊是未解難題。

為什麼這個結果受到關注

雅可比猜想的敘述本身相對簡潔，但多年來一直難以解決。若本次報導的結果得到確認，將有幾點值得注意：

1. 反例是以明確的多項式映射給出，而不是抽象的存在性論證；
2. 雅可比行列式可透過直接計算驗證；
3. 不單射可由 3 個具體點的像相同來證明；
4. 相關計算可由計算機代數工具重新驗證。

不過，「公式可以重算」與「結果已被數學界正式接受」並不是同一件事。現階段報導也明確指出，這一結果尚未完成正式同行評審，仍需要獨立數學家進一步檢驗其完整性、推廣方法與結構性說明。

為什麼這對 AI 參與數學研究很重要

這件事的意義不只在於猜想本身，也在於 AI 如何參與數學發現。根據目前資料，Claude Fable 5 可能參與了候選結構生成、代數變形、搜尋或計算驗證，但具體過程並未公開。

這也顯示，AI 生成可驗證的候選反例，與建立一套獨立完整的理論，並不是同一件事。一旦反例被找到，通常可以透過代入與符號計算來驗證；但要解釋其結構、證明可延伸到更高維度，並判斷其對相關猜想的長期影響，仍需要數學家進行獨立分析。

來源與驗證重點

建議優先檢查以下資料：

• ForkLog：Anthropic’s Claude Fable 5 finds counterexample to 1939 Jacobian conjecture
• 网易科技：AI参与找出反例，87年的雅可比猜想在三维及以上被推翻
• 36氪相关报道
• Glitchwire相关报道
• 中文维基百科：雅可比猜想
• 网易相关报道

在驗證時，應重點確認雅可比行列式是否恆等於 \(-2\)、3 個點的代入結果是否完全一致、三維反例向更高維度擴展的具體構造為何，以及正式論文與獨立同行評審是否已經出現。

後續值得關注的點

1. 是否會公開包含完整證明與計算細節的正式論文；
2. 獨立數學家或計算機代數系統是否能重新驗證雅可比行列式與點碰撞計算；
3. 三維反例向高維擴展的嚴格證明是否完整；
4. Claude Fable 5 在搜尋過程中的實際貢獻是否會公開；
5. 二維雅可比猜想是否會因這個結果而獲得新的研究方向。

結論

就目前而言，最合理的判斷是：相關資料描述了一個據稱滿足恆定非零雅可比行列式、但並非單射的三變數多項式映射。若這些公式與計算最終獲得正式確認，它將否定三維及以上版本的雅可比猜想；但二維情況仍然未解決。

因此，不應把標題寫成「Fable 5 證明了雅可比猜想」。更準確地說，Claude Fable 5 據報參與了可驗證的雅可比猜想三維反例的發現，但該結果仍待正式確認。

原始來源

ForkLog