編按：本文綜合整理自 Wikipedia: Jacobian conjecture、Alpöge X 推文、Hacker News 討論串 #48973869、Substack: Verification Is the Real Capability、以及 Lean 4 形式化證明（GitHub: deancureton/jacobian），並加入 Siami 編輯部觀點與分析。
事件概要：數學家 + AI 推翻懸宕 87 年的猜想
2026 年 7 月 19 日，Anthropic 員工兼數學家 Levent Alpöge 在 X（前 Twitter）推出一則寫著「hello there the jacobian conjecture is false」（你好，Jacobian 猜想被推翻了）的貼文，正式公布一個反例，讓這條存在 87 年、曾被美國數學家 Stephen Smale 列為「下世紀數學問題」第 16 名的猜想，從「未解」變成「已被否定」。
根據維基百科同日記錄的最新條目，Alpöge 是在 Anthropic 的大型語言模型 Claude Fable 5 協助下完成這項突破；數小時內，費爾茲獎得主 Timothy Gowers 公開回應「這相當驚人」，Google DeepMind 的 formal-conjectures 倉庫也透過 PR 收錄了該反例的形式化版本。
什麼是 Jacobian 猜想？
Jacobian 猜想是 1939 年由德國數學家 Ott-Heinrich Keller 提出的代數幾何問題。簡化來說，它問：
如果一個多項式函數 F：ℂⁿ → ℂⁿ 的 Jacobian 行列式是「非零常數」，那麼 F 是否一定有「多項式反函數」？
這條猜想之所以出名，是因為它形式簡單（只需要基本微積分就能理解），但 87 年來無人能完整證明或否定。1998 年，史蒂芬・斯梅爾（Smale）將它列入「下世紀 18 大數學問題」清單（編號第 16），與黎曼猜想、龐加萊猜想等並列。歷史上曾有無數論文宣稱「已證明」，但都被驗出含有微妙的錯誤（van den Essen 1997 年的文獻回顧專門處理過這個現象）。
反例本身：一個三維多項式映射
Alpöge 給出的反例是一個三維到三維的多項式映射 F：
- 第一分量：
z(1+xy)³ + y²(1+xy)(4+3xy) - 第二分量：
y + 3x(1+xy)²z + 3xy²(4+3xy) - 第三分量：
2x − 3x²y − x³z
這個映射的 Jacobian 行列式恰好等於常數 −2，符合 Jacobian 猜想的前提；但它不是全域單射。Alpöge 指出：
- 帶入
(0, 0, −1/4)與(1, −3/2, 13/2)兩個完全不同點，會得到相同的影像(−1/4, 0, 0)。
由於任何有反函數的多項式映射必然單射，這個反例足以宣告猜想在三個變數以上為假。為了進一步消除「只在某些數學體上成立」的疑慮，社群隨後在 Lean 4 證明助手 中重做推導，得到了 Jacobian 行列式為 1 的版本，在所有特徵下都成立。
相關資源：
- 形式化版本：GitHub: deancureton/jacobian
- DeepMind 收錄：google-deepmind/formal-conjectures PR #4474
為什麼這件事重要
- Smale 21 世紀問題清單首次被打破：清單上的問題（Poincaré 已被佩雷爾曼於 2003 年證明）多數長期無解；Jacobian 猜想如今是清單上少數被「否定」而非「證明」的條目之一。
- Lean 4 形式化驗證：這不是一條推文主張，而是有機器可檢查的證明腳本。AI 給出反例，人類再把驗證流程交給證明助手核對，這套工作流可能成為未來數學發現的新標準。
- Gowers 第一時間背書：費爾茲獎得主公開回應，讓這條消息的數學可信度提升到非「炒作」等級。
- Dixmier 猜想連帶受衝擊：Jacobian 猜想已知等價於 Weyl 代數自同態的 Dixmier 猜想；前者若假，後者也難以為真。
- Alpöge 的身份本身就是新聞：他是 Anthropic 員工，而突破工具是 Anthropic 自家模型 Fable 5，等於「Anthropic 的 AI 協助 Anthropic 的數學家做出自己的公司歷史性時刻」。
🚨 數據解讀與質疑
- 「AI 自己發現數學」的說法需打折：Alpöge 的推文本身沒有透露反例的產生過程；在 Lean 4 形式化成功之前，外界無法區分「Fable 全程獨立構思」與「Fable 只是驗證人類已有想法」。一則 X 留言（@williawa）提到：他在 GPT-5.6 上跑過 100 小時類似嘗試，都沒有結論——這代表反例的探索仍高度依賴人類數學家的引導。
- 目前反例只對 n ≥ 3 有效：雙變數（n = 2）的 Jacobian 猜想是開放的，Moh 1983 年驗證過所有次數 ≤ 100 的雙變數多項式都成立，1994 年 Pinchuk 為「強實數版猜想」構造的反例不適用於傳統版。因此**「Jacobian 猜想被完全推翻」並不準確**——更精準地說是「猜想在 n ≥ 3 時為假」。
- Wikipedia 條目標注
[better source needed]：維基百科目前把 Alpöge 的推文列為唯一參考來源，這在學術驗證標準下遠遠不夠；要讓這項突破進入教科書，至少需要 arXiv 預印本、同儕審查、以及主流數學會刊的審核。 - 社群已經「樂觀到失真」：r/singularity、Substack 分析都偏向「AI 數學時代開始」的敘事。事實上，AI 目前顯示的是擅長找反例（猜錯比猜對容易），而不是證明正面定理（這個才是真正的難題）。
社群反應
“hello there the jacobian conjecture is false” （你好，Jacobian 猜想是假的）
X 平台 @wtgowers（費爾茲獎得主 Timothy Gowers）：
“Again it’s a counterexample, so not in ‘end of mathematics’ territory, but still pretty amazing.”
“Tweet length disproof of long standing math conjecture from someone using Fable 5. the jacobian conjecture is false thanx”
“we’re in a golden window for AI math: LLMs just got really good at finding counterexamples, and humans have always been really good at [verification]”
“Could an average mathematician with a $100-$200 Claude sub achieve this? the jacobian conjecture is false thanx”
Hacker News 討論串 #48973869（372 分 / 7 則留言，截至發稿）：
“Math will go from theorem proving to conjecture farming/exploration. Fable 5 is [great at this].”
後續觀察重點
- Alpöge 是否會發 arXiv 預印本：目前一切以 X 推文為基礎。沒有 arXiv 編號之前，這項發現在學術界仍屬「待驗證」狀態。
- Claude Fable 5 的版本定位：截至這則報導，Fable 5 並未對所有 Claude 用戶開放。Anthropic 是否會把這段突破寫進 Fable 5 的官方模型卡（model card）將決定整個故事的「機構背書強度」。
- 對於 Dixmier 猜想等衍生問題：既然 Jacobian 猜想已被否定，數學社群接著會檢驗——同樣的反例構造能否推廣到 Dixmier 猜想、Weyl 代數自同態等鄰近問題。
- AI 數學發現工作流：人類數學家引導 → LLM 搜尋反例候選 → Lean 4 形式化驗證。這套 pipeline 如果被 Anthropic、DeepMind、FAIR 等機構產品化，會徹底改變猜想驅動研究的節奏。
報導日期：2026 年 7 月 20 日｜資料截止：維基百科條目最後編輯時間 2026-07-20 14:30 UTC。
網友熱門留言 (6)