Claude Fable 5 推翻87年雅可比猜想，AI能解題但還不會造橋

一行216個字元，推翻了困擾數學界87年的雅可比猜想。哈佛數學家Levent Alpöge在7月19日發了一則推文，感謝「close friend fable」——外界普遍認為是Anthropic的Claude Fable 5。反例本身很好驗，難的是：沒人知道Alpöge給了什麼prompt，也不清楚中間有多少人類洞見在驅動。這個問題在學術圈夠嚴肅，Queen Mary大學的Abhishek Saha說這是AI迄今在數學領域扮演關鍵角色的最大猜想，比OpenAI去年解掉的Erdős問題份量還重。

但數學家同時也在劃線。York大學的Chris Bowman-Scargill說，找反例推翻一個猜想是一件事，建出新數學分支是另一件事。Andrew Wiles解費馬最後定理，寫了上百頁新數學，造了整套理論——那才是讓數學往前走的東西。AI現在更像「勾掉清單上的題目」，而不是「建出解題所需的那座橋」。更讓人意外的是，Alpöge的反例用三個變數推翻猜想，兩個變數的版本理論上仍可能成立——這個問題沒有完全關門，只是往意想不到的方向開了一扇。

AMD的事也不能不說。Helios這套機架級AI系統正式發布，微軟Azure加進採購名單，跟Meta，OpenAI，Oracle並排——這份買家名單基本就是全球AI算力消費的前排座位。AMD自己說，計畫從2027年起以Helios為主力拿下數百億美元的數據中心AI營收。市調機構Futurum Group的分析師估算AMD有機會把GPU市占率從目前約4.5%推到20%至25%。聽起來很進取，但同一位分析師也問了最關鍵的問題：AMD贏是因為技術真的更好，還是只因為輝達產能塞不滿，有貨就有人買？兩個答案對應的是截然不同的長期競爭力。CUDA生態系積累了十幾年的開發者慣性，不是一個出貨季能抹掉的。短期訂單不等於工作負載真的遷移，Helios能不能讓開發者跟著走，才是兩成市占說不說得算的真正考驗。

雅可比猜想這件事，真正讓人停下來的不是猜想本身，而是西湖大學Ivan Fesenko說的那句話：AI現在達到數學碩士水準，一年後博士水準，再往後——「如果AI做得這麼好，我們還需要那麼多數學家嗎？」這不是玩笑，是一個正在被認真討論的職業結構問題。「解題」和「造橋」的邊界，現在看起來還很清楚；但這條線會不會移動，沒有人真的說得準。