数学界天翻地覆，代数几何 87 年悬案「雅可比猜想」遭 Claude 证伪 作者 Emma stein | 发布日期 2026 年 07 月 21 日 19:14 | 这一天，数学界发生惊天动地大事，无数顶尖学者 87 年来都无法证明正确性的代数几何 难题「雅可比猜想」——不用证明了，这个猜想本身就是错误，证伪主角甚至还是 AI 模 型 Claude Fable 5。 2026 年 7 月 19 日，世界盃足球赛接近尾声之际，Anthropic 员工暨数学家莱文特·阿 尔波格（Levent Alpöge）在社群软体随手写下一句话与一段简洁数学公式，没有大篇长 论、没有发表论文，就那样轻描淡写指出 Anthropic 大型语言模型 Claude Fable 5 发 现「雅可比猜想（Jacobian conjecture）」在三维空间的明确反例（推翻该猜想 N>2 的 情况），一夜之间超过 2,000 万次浏览。 https://x.com/__alpoge__/status/2079028340955197566? 这条消息为何如此惊人？简单说，该反例让 87 年来试图证明雅可比猜想正确性的顶尖数 学家们沦为笑话。 雅可比猜想是德国数学家奥特-海因里希·凯勒（Ott-Heinrich Keller ）於 1939 年提 出的代数几何核心难题，主张如果一个多元多项式映射的雅可比行列式始终为非零常数， 则该映射整体上是否一定可逆（存在多项式反函数）？ 微积分反函数定理告诉我们，如果一个函数在某一点的雅可比行列式不为零，那麽该函数 在该点附近就具有一个局部反函数，因此我们对雅可比猜想的直觉认知是「对」。 更白话一点来说，想像有个规则可以把空间任何一点变到另一个点（也就是映射），而雅 可比猜想主张只要「局部不塌陷」特性（即雅可比行列式始终为非零常数）在整个空间、 每一点都成立，那麽映射全域变换一定可逆，每一个输出点都应恰好对应一个输入点，你 永远能唯一反推——每个终点都只对应一个起点。 然而这道题目陷阱特别多， 87 年来一直没人可完整证明雅可比猜想对或错，历史上已发 表过的「证明雅可比猜想」论文数量极其庞大，最终都被发现存在细微漏洞，雅可比猜想 因此被列入 21 世纪 18 大数学难题清单，更被戏称为数学证明界吸血鬼，吸乾无数聪明 、才华洋溢的年轻数学家精力。 现在这条数学界公认异常难证明的问题，突然就被 Levent Alpoge 和 AI 模型 Claude Fable 5 推翻了。 Claude Fable 5 直接抛出一个简洁优雅的反例： https://imgpoi.com/i/CHR7XD.jpg 设多元多项式函数 F：C3 →C3 为： F(x,y,z) =（(1+xy)3 z+y2 (1+xy)(4+3xy), y+3x(1+xy)2 z+3xy2 (4+3xy), 2xx2 y 3 z ），可验证此多项式映射的雅可比行列式恒等於 -2（非零常数，满足猜想前提） ，然而这个函数不是单射，它能将空间中 3 个完全不同的点：（0, 0, -1/4）、（1, -3/2, 13/2）、（-1, 3/2, 13/2）全映射至同一影像点：（-1/4, 0, 0），因此函数 F 不存在反函数，根本不可逆。 简单讲，该反例满足「局部不塌陷」条件，却能找到 3 个不同起点全映射到同一终点， 「唯一反推」无法成立（没办法从这个终点唯一反推回起点），广义雅可比猜想就这样被 彻底证伪。 不久之後，GPT-5.6 跟进分析此结果并提出全新修正的猜想；OpenAI 员工也使用内部 Codex 独立推导出类似反例。 数学天才张益唐被偷走的 7 年 美籍华裔数学家张益唐 2013 年因发表「孪生质数猜想」论文，首次证明存在无穷多对间 隙为有限的质数，才从没没无闻的冷门学者一夕成名，这年他 58 岁，他的过往随即被翻 开检阅。 人们才发现此前几十年，张益唐的经历是场学术悲剧。 1985 年，张益唐前往普渡大学攻读博士学位，大胆挑选雅可比猜想作为毕业论文题目， 他的指导教授莫宗坚（美籍华裔代数几何学家）本身也是雅可比猜想研究学者。 莫宗坚给张益唐一条自己发表过的引理（Lemma）作为证明雅可比猜想方向，结果命运开 了个残酷玩笑，同行评审发现这条引理根本错误，张益唐的证明之路不只毫无进展，7 年 来所有努力更瞬间瓦解。 莫宗坚讽刺张益唐「能力不适合走代数几何这条路」，还发牢骚说张益唐浪费自己 7 年 时间、拒绝为张写推荐信，最後张益唐因求学期间未发表任何论文、也没有指导教授支持 ，离开普渡大学後完全找不到相关学术工作，长期落魄打零工，後来才在新罕布夏大学谋 得讲师职位。 直到 2013 年发表孪生素数猜想突破性论文，张益唐才从一位默默无闻大学小讲师变成全 球知名数学家。 讽刺的是，如今雅可比猜想被 Claude Fable 5 证明本身就是错误，苦了张益唐学术生涯 为此漂泊数十年，但也终於还张益唐一个公道。 The Jacobi conjecture that Zhang Yitang toiled over for seven years has been unexpectedly disproven by Fable 5 overnight. 新闻出处:科技新报 https://reurl.cc/aE916Q --

※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 118.166.8.103 (台湾) ※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Math/M.1784652401.A.647.html