Claude Fable 找到雅可比猜想反例
Anthropic 的 Claude Fable 5 在數學家 Levent Alpöge 引導下，產生一個從 ℂ³ 映至 ℂ³ 的多項式映射。它的 Jacobian determinant 恆為非零常數 −2，照 Jacobian Conjecture 應該可逆，實際卻把三個不同輸入都送到同一輸出，因此不是單射。兩項關鍵性質都能用符號運算直接驗算；若結果無誤，便足以推翻 1939 年提出的一般版本猜想，但不代表二維版本也已解決。
現實應用
這不是明天就能變成產品的技術，價值主要在 AI 輔助數學研究。研究者可讓模型搜尋候選結構，再交給 Wolfram Alpha、電腦代數系統或 Lean 4 做精確驗證。真正用得上的會是純數學、形式驗證、科學運算團隊，以及評估 frontier model 推理能力的 AI 實驗室。
期望評估
我認為低標成果，是得到一個容易重現、能推動數學界重新檢查既有定理與等價命題的候選反例，也證明模型能參與「提出答案」，不只整理文獻。
我猜高標發展會是形成新研究流程：人類選題與約束搜尋空間，AI 找結構，符號工具及 proof assistant 驗證。若後續論文補齊來源與推導脈絡，這會成為 AI 參與前沿數學的重要案例。
商業策略分析
最直接受益者是 Anthropic，因為這比一般 benchmark 更能展示 Fable 的長時間推理與研究能力；數學軟體、形式驗證平台及 AI agent 工具也可能跟著受關注。我認為值得 AI 研究與科學運算公司跟進，但賣點應是「可驗證的研究工作流」，不是把單次成果包裝成模型已能自主解決所有難題。現在仍缺完整 prompt、搜尋過程與正式論文，同行審查也才剛開始。
實作細節
不用安裝特定工具即可初步重現：把原貼文中的映射送入 Wolfram Alpha，分別檢查 Jacobian determinant，以及三組座標的輸出。已知限制是目前公開資訊以 X 貼文和計算連結為主，尚不足以判斷 Fable 使用了哪些工具、嘗試多少次，或人類介入程度。