AI 模型推翻存在 87 年的雅可比猜想
Anthropic 数学研究员 Levent Alpoge 表示,Anthropic 于 2026 年 6 月发布的新一代 AI 模型 Claude Fable 5 找到了 1939 年提出的雅可比猜想(Jacobian Conjecture) 的一个反例。
该反例构造了一个多项式映射,其雅可比行列式(Jacobian determinant)恒为非零常数 -2,但却将三个不同的点映射到同一个点,从而证明该映射并不可逆,直接否定了雅可比猜想。
英国著名数学家 Timothy Gowers 评价称,这是一项“令人惊叹”的成果,也是大型语言模型(LLM)首次独立解决其专业领域之外的重要数学公开难题。与此同时,数学社区已经对该证明进行了人工核查,确认推导正确,并已据此更新了相关维基百科页面。