7月19日夜晚，全球无数球迷的目光正死死盯着世界杯决赛的屏幕。然而，在数学圈和科技界的社交网络上，一道无声的闪电划破了沉寂。
哈佛大学研究员、Anthropic研究员勒温特·阿尔珀吉在X（前身Twitter）上发帖，语气轻松得就像在聊晚餐吃什么。他写道，困扰数学界长达87年的“雅可比猜想”被推翻了，而找到这个关键反例的，是AI模型克劳德·费布尔5号。
216个字符的“终结者”
雅可比猜想由德国数学家奥特·海因里希·凯勒于1939年正式提出，并在1998年被菲尔兹奖得主斯蒂芬·斯梅尔列入“21世纪18个重要数学问题”。简单来说，这个猜想直觉性地认为，某种导数不为零的特定多项式函数，必然存在一个完美的可逆函数。80多年来，无数顶尖学者曾试图证明它，甚至多次发表了最终被发现含有细微漏洞的“伪证明”。
谁也没有想到，终结这个宏大猜想的并非厚厚的论文，而是一段仅有216个字符的简短多项式表达式。
阿尔珀吉借助克劳德·费布尔5号，在三维空间中成功构造出了一个看似普通的多项式映射。这个函数的雅可比行列式始终保持为常数-2，完全符合猜想的全部前提条件，但令人震惊的是，它将三个完全不同的输入点映射到了同一个输出点。
在数学逻辑中，只要有一个碰撞发生，函数的单射性便宣告破灭，可逆性也随之瓦解。
这意味雅可比猜想从根本上被证伪了。
验证只要一分钟，寻找却花了87年
这个反例最让人汗颜之处，在于它的“极简”。过去许多数学难题的破局往往需要极其复杂的代数计算，但这一次，只要将这个多项式输入常规的计算机代数软件，甚至只需几分钟的手算，就能确认其行列式恒等于-2。
既然证明和验证如此简单，为什么人类数学家苦苦探索了近一个世纪却毫无收获？
原因在于极其庞大的搜索空间。多项式映射组合的组合数成千上万，人类数学家倾向于建立宏大的理论框架来尝试“正面攻克”证明，很少有人会把毕生精力投向漫无边际的暴力筛选。而人工智能则完全不同，它在代数空间的广阔区域中展现出了敏锐的直觉，成功定位到了那个潜伏在暗处的三维反例。
有趣的是，这一发现对于代数几何领域来说既是震撼，也是一种解脱。过去几十年里，大量的研究资源被投入到证明该猜想的尝试中，甚至有不少学术悲剧源于对错误证明的执念。
如今，这个只有216个字符的算式彻底为该猜想的证明工作画上了句号，同时也为学者们指明了新的方向——为什么这种碰撞会在三维空间发生？二维情况是否依然成立？
科技与纯粹数学的碰撞，正在以一种前所未有的方式重塑我们理解宇宙规律的工具箱。
Claude Fable Found a Counterexample to the 85-Year Jacobian Conjecture
这段视频详细拆解了克劳德·费布尔5号如何构造出这个雅可比猜想的反例，并用代码验证了三点碰撞的过程，非常适合想要深入了解该数学突破细节的读者。
美港通配资提示：文章来自网络，不代表本站观点。
