夜雨聆风七月的那个夜晚，全世界都在看球。
世界杯决赛的哨声还没落，社交媒体上一条不到两百字的帖子，已经让数学界震动：雅可比猜想，是错的
它以极不正式的方式出现：一条推文，一组可以被任何人复制进计算器验证的坐标，和一句轻飘飘的致谢："感谢我的好朋友fable在决赛期间完成了计算"
这个"fable"，是Anthropic的Claude Fable系列模型
而发帖的人叫Levent Alpöge，曾获美国本科数学最高荣誉Morgan Prize，做过哈佛Society of Fellows初级研究员，现与Anthropic相关他的语气随意得像在说今晚点了什么外卖，但内容足以让整个代数几何领域的地基发出吱嘎响声
▲ Alpöge的原帖：一条推文，杀死一个87年的猜想
87年来，许多人都认定它是对的
先把时间拨回1939年。德国数学家Ott-Heinrich Keller提出了一个问题，后来被叫做雅可比猜想（Jacobian Conjecture）它问的东西，用大白话说就是：
如果一个多项式变换"看起来"处处可逆，它的雅可比行列式是一个不为零的常数，那它是否也能全局可逆？
这个问题美妙到残忍：题目本身只需要大一微积分就能听懂，但解决它，难倒了整整四代数学家 它被Stephen Smale列入"下个世纪的18个数学问题"清单，编号第16，与黎曼假设、P vs NP这些终极Boss比邻而居
▲ MathWorld上的Smale问题清单，第16题即为雅可比猜想
87年来，至少五份已发表的"证明"后来被发现有错，未发表的错误尝试更是不计其数整个领域形成了一种诡异的默契：许多人都在试图证明它是对的，很少有人认真去找反例
宇宙学家Will Kinney认为，领域内长期倾向于认定猜想为真，久而久之，寻找反例的动力也随之减弱
一行公式，三个点，Game Over
Alpöge给出的反例简单到令人发指
一个从三维复空间到自身的多项式映射 F=(P, Q, R)，三个输出坐标都是输入坐标的多项式函数直接算，雅可比行列式恒等于 −2，一个漂亮的非零常数，完美满足猜想的前提条件
但接下来是致命一击：三个完全不同的输入点，(0, 0, −1/4)、(1, −3/2, 13/2)、(−1, 3/2, 13/2)，全部被映射到同一个输出点 (−1/4, 0, 0)
它无法保持单射，当然也不可能有逆。猜想，死了。
女王玛丽大学的Abhishek Saha对媒体说了一句让所有人沉默的话：这类问题"极难找到、一旦给出却相对容易检查"几个小时之内，全球数学家用各种符号计算软件独立完成了核验维基百科当天更新词条，MathWorld同步写入公式
▲ 维基百科闪电更新：N>2已被否定，N=2仍为开放问题
一个猜想倒下，一整片多米诺跟着倒
如果你以为故事到这里就结束了，那你低估了数学世界的连锁反应
Zihan Zhang迅速发表阐释文，系统梳理了这个三维反例引发的蕴含链崩塌：
- Mathieu猜想对SU(3)失败
，表示论中一个重要命题，直接被逻辑传导击穿； - 高斯矩猜想在某个有限维失败
，概率与代数的交叉地带出现裂缝； - Zhao消失猜想、Image Conjecture
，一串相关猜想接连倒下。
这条推文让一个猜想及其牵连的整张猜想网络一并倒下
▲ Zhang的阐释文：从一个反例出发，追踪一连串猜想的逻辑崩塌
数学家们吵起来了：这算"大事"吗？
反例核验完毕后，争论随即转向评论区
斯坦福数学家Daniel Litt给出了一组被广泛转发的三分法评价，堪称本次事件最冷静也最深刻的声音：
(1) 对AI在数学中的近期影响，非常乐观，预计还会有更多类似结果；(2) 如果你把"解决著名开放问题"当作数学研究的主要目标，很多人确实这么想，而且这种想法是可辩护的，那这是一件大事；(3) 但从"做好科学"的角度看，它回答了一个自然的问题，却很可能并不具有生成性，不会催生新的数学分支。
▲ Daniel Litt的三分法：AI影响巨大，但这个结果可能不会"生长"出新数学
他随后补了一句半开玩笑的话，却意外成为金句："挪动球门柱，其实是好事"
在他帖子下面，网友Teortaxes抛出一个尖锐的反问："它不正是因为'消解性'才有价值吗？" 推翻人们曾寄予厚望的虚假命题，扫清错误的方向，本身就在节省整个学科的时间
▲ Teortaxes的反驳：消灭谬误，本身就是巨大的价值
这场争论触及了一个古老的张力，数学到底是"解题竞赛"，还是"理解宇宙的语言"？ 费马大定理的证明之所以伟大，也因为Andrew Wiles在途中不得不建造一整座理论大厦而雅可比反例呢？它像一颗精确制导的子弹，一发命中，干净利落，却没有留下新的建筑
菲尔兹奖与AI反例，同时出现在时间线上
弗吉尼亚大学的Ken Ono写下了也许是全场最具时代感的一段话：
"菲尔兹奖还在被庆祝，机器参与找到的雅可比猜想反例已经刷过了信息流。我们现在就活在这样的时代。"
▲ Ken Ono：菲尔兹奖与AI反例并存的时间线，"这就是我们生活的时代"
这已经是2026年AI在数学领域的又一次震动两个月前，OpenAI的推理模型刚刚自主推翻了离散几何中一个与Erdős问题相关的长期猜想，用的工具竟然来自代数数论，Fields奖得主Tim Gowers称之为AI数学的里程碑
两件事形成了一组意味深长的对照：OpenAI那次像是发现了一座新桥，Anthropic这次像是拆除了一座危楼 一个生成，一个消解。Daniel Litt区分的"生成性"与"解题性"，在这两起事件中展现出截然不同的重量
机器没有沉没成本
Aldo Cortesi在原帖下贴了一张图，配文四个字："The absolute state of maths."，数学现在就是这副德行
▲ "The absolute state of maths." ，一张图胜过千言万语
Charles Rosenbauer的预测更为大胆：未来一段时间，大量"被默认正确"的中等体量猜想将被反例清洗 黎曼假设、P vs NP等超级问题或许纹丝不动，但那些由于缺少证伪动力而被搁置的猜想，它们的好日子到头了
因为机器没有沉没成本。它不会因为在一个方向上投入了十年青春而拒绝掉头它不会因为导师的学术声誉系于"猜想为真"而回避搜索反例它只是计算。
斯坦福的Jared Duker Lichtman在长帖中重提了一个让人心酸的故事：数学家张益唐的博士论文曾依赖导师关于雅可比猜想的一条引理，后来那条引理被发现为假，论文框架崩塌，他一度无法获得推荐信，在快餐店打工多年，直到以素数有界间隔定理震动整个数论界如今，同一个猜想被一条推文终结。名题的重量，从来不只压在黑板上，也压在具体的人的命运上
二维仍然活着
最后一个关键事实：这个反例杀死的是三维及以上的雅可比猜想二维，也就是最经典、最初始的平面情形，依然是开放问题
球门柱确实被挪动了。但正如Litt所说，挪动球门柱，其实是好事因为现在我们终于看清了边界，以及仍待解答的问题
世界杯决赛的比分会被遗忘，但那个夜晚诞生的三行多项式，将永远留在数学史里
