事情是这样的。就在今天，数学家 Levent Alpöge 突然发了一条推文：“大家好，雅可比猜想一家被证明不成立。”
他感谢了提出问题的朋友 Akhil，以及 Fable 5。
雅可比猜想是代数几何里的核心开放问题之一。
它在 1939 年被提出，大意是：如果一个多元多项式映射的雅可比行列式是非零常数，那么这个映射就应该存在多项式逆。
你可以把它粗略理解为：如果一个数学变换在每个局部都没有“压扁”空间，那它在整体上应该也不会把不同的点混在一起。
一位数学家曾在2008年论文中幽默提醒：这个问题极难，或许人类还需百年才能解决。
而 Fable 找到的反例偏偏做到了这件事。
这个从三维复空间到三维复空间的多项式映射，雅可比行列式恒等于−2，完全符合猜想的前提。
但把三个不同的点代进去，它们却会被映射到同一个点。
这意味着，这个映射不是单射，当然也不可能拥有多项式逆。
一个流传了近 90 年的猜想，就这样被一个短小到可以手工检查的反例击穿了。
更有戏剧性的是，Fable 此前预测，大模型大概要到 2029—2032 年才有能力证伪雅可比猜想。
结果真正出现时，它的第一反应不是庆祝，而是怀疑自己看到的是一个“2026年7月的虚构场景”。
重新检查之后，它才确认计算确实成立。
然后还有网友用 Kimi 来验证（图5），花了约 2.4万tokens ，虽然速度更慢，但给出了更完整的确认。
AI 提出反例，AI 交叉检查，人类数学家再公开验证，一套新的数学研究流程已经隐约成形。
这件事最值得关注的，可能不只是“AI又解决了一道数学题”。
它改变了我们判断问题难度的方式。问题公开时长不再是难度强证据。人类与 AI 共同推动数学前沿的时代，似乎已悄然到来。
不过雅可比猜想是否会就此正式退出开放问题名单，还需要论文整理和数学共同体进一步确认。
