数学家利用AI找到反例，推翻困扰学界80年雅可比猜想

2026年7月19日，当美国六千万人盯着世界杯决赛的屏幕时，一个AI模型正在安静地拆解数学界一座屹立了80多年的信仰。

那天，哈佛大学数学家、Anthropic公司的Levent Alpöge，用他们的Claude Fable 5模型，找到了一个让“雅可比猜想”轰然倒塌的反例。他在社交媒体上只轻描淡写地打了一行字：“hello there the jacobian conjecture is false”，然后感谢了给他提议这个问题的芝加哥大学数学家Akhil Mathew，以及“另一位密友fable”——那个在世界杯决赛期间替他干活的AI。这条推文下面跟着一串密密麻麻的多项式，那是推翻猜想的铁证。随后，几位独立数学家验证了这个反例，猜想正式被宣告死亡。

伦敦玛丽女王大学的数学家Abhishek Saha对《新科学家》说：“这是件大事。很可能，这是迄今为止AI在数学证明或反驳中发挥重要作用的最大猜想。”他的话里有一种旧时代的余音——一种惊叹，也带着一点对未来的不安。

要理解这场地震，得先回到1884年。捷克数学家Ludwig Kraus提出了雅可比猜想的一个初始版本，1939年德国数学家Ott-Heinrich Keller把它塑造成我们如今所知的形式。它讨论的是一种叫“多项式函数”的东西——你可以把它想象成一台精密的空间变形机。你喂给它一组代表空间坐标的数字，比如地图上的某个点，这台机器就按照函数内藏的规则，把所有点都挪到新位置。整片空间被它揉捏、拉伸、翻转。

那么，怎么判断这台机器揉捏得“温柔”还是“粗暴”呢？数学家们用“雅可比行列式”来打分。如果这个行列式始终是一个非零的常数，就说明函数没有在任何地方把空间折叠、压扁或者撕烂。它只是均匀地、可逆地改变了空间，就像一块弹性布料被平整地撑开，没有起皱，没有破洞。按直觉，你应该能轻松地把每一根丝线都推回原位——也就是存在一个逆函数，能精确地把所有点都送回出发的地方。

这就是雅可比猜想的浪漫假设：只要行列式是优雅的非零常数，就一定存在逆函数，空间一定能原路返回。它像一个关于“可撤回”的承诺：无论你把世界扭曲成什么样，只要扭曲的方式足够均匀，你就能回到最初的样子。八十多年来，数学家们几乎都相信它是对的。它印在教科书里，长在论文的引言里，被当作前提用来推导别的定理。它已经不止是一个猜想，成了一种默认的秩序。

然而，Claude Fable 5在那个决赛之夜，用一串看起来人畜无害的多项式，撕开了这个承诺。它构造了一个反例：一个能把所有点都揉合到一起的函数，它的雅可比行列式确实是非零常数——表面看起来温柔均匀，实际上却把整个空间熔成一个无法逆向的死结。你想回去？回不去了。那些被算法拉拢在一起的坐标，像被黑洞吸进去的光，再也分不清谁是谁。

这反例的构造，单独看是数学的冷刃，放在情感的角度看却像极了某种关系里的残酷真相。你以为只要付出稳定的爱（非零常数），对方就一定能给你对等的回应（逆函数）——这是你相信了多年的“雅可比猜想”。直到某一天，一个细节，一条已读不回的消息，一次失约，就像那个反例一样，让你突然察觉：原来对方那个恒定不变的温柔，根本不是可逆的通道，而是一个精致构建的塌陷点，把所有靠近的人都无声地吞进去，再也没有办法找回原来的自己。

Alpöge本人并没有渲染这种戏剧性。他在推文中打趣地感谢AI“在世界杯决赛期间工作”，像个老板在表扬加班的实习生。但数学界没法这么轻松。一个AI模型，不是辅助计算，不是搜索已知的文献，而是直接给出了人类几十年没找出来的反例。这意味着什么？Claude Fable 5的背后，是深度学习在符号推理领域的又一次跃进。它不只是算得快，它开始有“灵感”了——用算法扫描了人类数学家集体思维的死角，在那个死角里放了一把反例的钥匙。

以前，机器证明大多依赖于穷举或者形式化验证，就像用推土机把整片海滩翻一遍，找出那枚与众不同的贝壳。但这次不同。模型在找到反例的过程中，可能运用了某种尚不可解释的模式识别能力。它没有被喂进所有已知定理，也没有被编程成专攻雅可比猜想的猎手；它只是作为一个通用语言模型，在数学家给它定义了问题空间之后，给出了一个没有人想到过的答案。这让人想起AlphaGo那步“神之一手”——不是从棋谱里抄的，是自己“感觉”出来的。只不过这一次，棋盘换成了多项式环，棋子是抽象代数几何里的映射。

猜想被推翻，不等于整个研究方向的崩溃。恰恰相反，它打开了新的问题：为什么这个反例能绕过所有先前的直觉？是否存在一整类这样的反例，藏着更深的几何结构？多项式映射的世界，也许比我们想象的更疯狂，更不驯。而AI，正变成我们探索那片疯狂的唯一的探照灯。

有一些数学家可能会感到失落。毕竟，猜想是数学家的信仰对象。你投入好几年，甚至一辈子的智力，正是基于它可能为真。当机器一夜之间证明你信仰的基石是错的，那种眩晕不亚于失恋。但更多的数学家会感到兴奋——因为数学真正的生命力在于发现，而不是维护。推翻一个牢固的猜想，就拆掉了一堵墙，看见墙后面从未见过的原野。

这事儿落在人心上，还有一层微妙的隐喻。我们每个人心里都住着一套“雅可比猜想”：只要我保持恒定不变的好，这段关系就应该是可逆的，只要我持续输入善意，对方就应该输出等量的温柔，只要我不犯错，生活就不会对我折叠。但反例出现了。你昼夜不停地保持自己的“行列式”非零，却被一个你没预料到的算法——也许是他人的自由意志，也许是命运的随机性——打成了死结。你发现自己困在一个单射不出的空间里，所有曾经的付出都映射到同一个点，再也分拆不开。

有没有点想笑？1884年一个捷克人想出来的数学问题，1939年一个德国人把它完善，八十年后一个AI在世界杯决赛的夜晚把它戳破，然后被你拿来解释为什么那个不回你消息的人不值得等。这不是牵强附会，这是人类认知的通用模式：我们总是在最抽象的结构里寻找最具体的安慰。Levent Alpöge的推文下面，一排多项式对旁观者来说是乱码，对懂行的人来说是判决书，对心里有事的人来说，就是一句话：看，连数学都告诉你，恒定的非零常数，不能保证你可以回家。

当然，硬核的事实还是：AI在数学前沿的突破，会重塑整个学科的作业方式。将来，数学家可能更多地扮演“提问者”的角色——负责把猜想喂给AI，设定边界条件，然后在AI吐出的候选反例或证明路径里做二次创造。就像Alpöge和Akhil Mathew那样，他们负责认出值得攻击的猜想，然后让Claude Fable 5在后台跑。人类负责品味和策略，机器负责搜寻和暴力推理。这种分工，已经在蛋白质折叠、材料发现等领域发生了，现在它撞开了纯数学的大门。

Abhishek Saha说“这是最大的猜想”，这“大”不仅是规模，也是象征。数学一直被认为是人类纯粹理性的最后堡垒，一场证明依赖于一个洞察，一种美感。如果机器也开始有洞察——哪怕是建立在数十亿参数上的统计性洞察——那这条界线就模糊了。我们可能需要重新定义什么叫“理解”。一个AI可以给出反例，甚至输出证明步骤，但它理解雅可比行列式的几何意义吗？它知道自己推翻了八十年的信仰吗？它会在夜里因为创造了一个美丽的反例而失眠吗？不会。它只是在世界杯决赛期间被调用了算力，完成了一次“前向传播”。

然而，从另一个角度看，AI没有信仰，正是它的力量。人类数学家花了八十年都舍不得放手，因为雅可比猜想太“应该”成立了。它符合美的直觉。很多失败的反例搜寻，反而加强了这种信念。但Claude Fable 5没有这种审美的包袱。它对对称性、简洁性、哲学上的应然，毫无敬意。它只计算。这种冷血，某种程度上是对人类认知偏见的解药。它敢说皇帝没穿衣服，而人类即使隐约看见皇帝的裸体，也会因为周围所有人的沉默而怀疑自己的眼睛。

这就回到了那个情感母题：关系里的“应然”和“实然”。你总觉得，付出恒定就该得到恒定的回应，这是应然。但AI式的事实告诉你，实然是可逆性根本不存在，那个非零常数只是美丽的陷阱。也许在某个深夜，你终于服了这口气，不是因为你变聪明了，而是因为你终于看见了一个无可辩驳的反例——那个反例可能被他发在朋友圈里，可能是他脱口而出的一句话，也可能只是你某天梳头时掉下来的一根白发。你捡起那个反例，像Alpöge那样平静地说：“hello there the conjecture is false”，然后默默整理自己的坐标系。

那么，接下来会怎样？雅可比猜想死了，但多项式的世界还活着。数学家们会忙着刻画反例的边界：在什么条件下，猜想依然能活下来？是不是只要加上某些约束，逆函数就还能存在？这就像一个人在一段失败的关系之后，终于弄清楚——原来不是所有的“恒定”都有意义，你要看函数的结构，要看变量的次数，要看有没有隐藏的奇点。同理，你会开始辨别：什么样的稳定才真正通向可逆，什么样的非零常数只是死寂的伪装。

Claude Fable 5不会教你这个。它只管输出那个反例。但你可以从它沉默的运算里，读到一点对你有效的旁白。八十年的猜想，被AI轻轻放下，世界没有停止转动，世界杯照样踢，社交媒体上人们照样争吵、点赞、滑动。太阳底下无新事，连数学上的“新事”都来得这般静悄悄。唯一变了的是，从今天起，所有学代数几何的研究生翻开教科书，都得多加一页附录，标注：“原猜想已被AI推翻”。而你翻开你的人生笔记，也许也可以加上一行备注：“原以为恒定的付出能换来可逆的爱，已被反例推翻”。然后继续往前，寻找新定理。