AI 風向標｜AI 發現雅可比猜想的反例
AI 發現雅可比猜想的反例 ⭐️ 10.0/10
Anthropic 員工 Levent Alpöge 在 X 上宣布，他使用 AI 模型 Claude Fable 發現了雅可比猜想的一個反例，這是代數幾何中一個重要的未解決問題。該反例涉及三個變量、次數為 7 的多項式。 這標誌著 AI 首次為純數學中長期未解決的開放問題找到反例，展示了大型語言模型在數學發現方面的潛力。該結果已得到社群驗證，可能重塑代數幾何的研究方向。 這個反例出奇地簡單：一個三次七次多項式映射，1997 年的研究生用幾天電腦搜索就能找到。雅可比猜想長期以來難以證明，數十年來有許多有缺陷的嘗試被發表。
hackernews · loubbrad · 7月20日 02:51 · 社群討論
背景: 雅可比猜想斷言：如果從複數 n 維空間到自身的多項式映射的雅可比行列式是非零常數，則該映射具有多項式逆映射。該猜想最初於 1884 年針對兩個變量提出，1939 年推廣到一般情形，並被列入 Smale 的 21 世紀問題清單第 16 位。Claude Fable 是 Anthropic 開發的大型語言模型，於 2026 年 6 月發布，以其強大的推理和編碼能力著稱。
社群討論: 社群對這個反例的簡單性表示驚訝，有評論者指出十年前一位博士後曾猜測反例的下界次數可能高達 200。另一位用戶報告說，將結果輸入 Claude Code 後，AI 用七種不同方式驗證了它，並變得“目瞪口呆”。
標籤: #mathematics, #AI, #Jacobian Conjecture, #research breakthrough, #LLM