凌晨两点的推文
2026 年 7 月 20 日凌晨 2:19 UTC，一条推文炸开了数学 Twitter 和 Hacker News。
Anthropic 的研究员兼数学家 Levent Alpöge 发了一段话，大意是：Jacobian 猜想是错的，感谢我的朋友 Akhil 问了这个问题，也感谢我的朋友 Fable 在世界杯决赛期间干了活。然后他贴出了一组三个多项式，定义了一个从 C³ 到 C³ 的映射。
这条推文在 xcancel.com 上获得了 761,592 次查看、3,036 次转发、463 条引用。在 Hacker News 上，它拿到 247 分和 135 条评论，热度超过了当天大部分 AI 产品发布。
Jacobian 猜想：80 年的硬骨头
要理解这个新闻的分量，得先知道 Jacobian 猜想是什么。
1939 年，德国数学家 Ott-Heinrich Keller 提出了一个问题：如果一个从 n 维复空间到自身的多项式映射，它的 Jacobian 行列式是一个非零常数，那么这个映射是否一定可逆——且逆映射也是多项式？
用更直观的话说：你有一台机器，往里面扔坐标 (x,y,z)，出来一组新的坐标。如果这台机器的「局部伸缩率」（Jacobian 行列式）处处是一个非零常数，那你能不能造一台逆向机器，把输出完美还原成输入？
这个问题在 n = 1（单变量）时是平凡的——微积分第一学期就能证明。但从 n ≥ 2 开始，它就成了代数几何里最难啃的骨头之一。80 多年来，无数数学家给出过「证明」，又撤回。Wikipedia 上专门有一句话形容它：「notorious for the large number of published and unpublished proofs that turned out to contain subtle errors.（因大量已发表和未发表的证明最终被发现有微妙错误而臭名昭著。）」
Fields 奖得主 Smale 把 Jacobian 猜想列入了 21 世纪 18 个重大数学问题[[Smale’s_problems]]。 Clay 研究所的千禧年七大难题里没有它，但它在数学界的地位并不比那些问题低多少。
反例长什么样
Alpöge 给出的反例是三个多项式：
F(x,y,z) = (
(1+xy)³ z + y²(1+xy)(4+3xy),
y + 3x(1+xy)² z + 3xy²(4+3xy),
2x - 3x²y - x³z
)这个映射的 Jacobian 行列式是 -2——一个非零常数，按理说满足猜想的前提条件。但 Alpöge 指出，存在三个不同的输入点：
- (0, 0, -1/4)
- (1, -3/2, 13/2)
- (-1, 3/2, 13/2)
全部映射到同一个输出 (-1/4, 0, 0)。
一个函数如果三个不同的输入给出同一个输出，那它就不可能是一对一的，因此也谈不上可逆。这就是一个标准的反例结构。
Alpöge 在后续回复中贴出了 Wolfram Alpha 的链接，供任何人验证 Jacobian 行列式计算和点的代入结果。
Fable 的角色：工具还是作者
这件事最引人争议的部分，是反例的来历。
Alpöge 明确说，这个构造出自 Claude Fable——Anthropic 最新的推理模型——在 世界杯决赛 期间，经朋友 Akhil 提问后生成的。Fable 是这个反例的「发现者」，Alpöge 是验证者和发布者。
HN 用户 aizk 的评论获得了大量点赞：
「我把这个结果喂给 Claude Code，看着它用 7 种不同方式验证了一遍，100% 确定——它直接震惊了（flabbergasted）。」
另一位 HN 用户 kelseyfrog 贴出了 Claude 的公开对话链接，说 Claude 在验证过程中自行搜索了网络，找到了这条推文，然后产生了「认知失调」般的反应——反复确认自己没有搞错，不敢相信这么简单的一个构造竟然被忽视了 80 年。
但也有理性的声音。用户 monocasa 写道：
「数学家面对一个奇怪来源的奇怪证明时，反应是一样的——反复检查，越来越确信自己漏掉了什么，直到某种崩溃发生，才会公开说这可能有点东西。」
争议的焦点
数学社区对这一声称的反应可以归纳为几个层面：
第一层：这个反例靠谱吗？
Jacobian 猜想的标准表述要求映射是 多项式自同构（polynomial automorphism），即存在多项式逆映射。Jacobian 行列式为 -2 而不是 ±1，这一点本身就在部分定义版本中引发讨论。一些研究者指出，如果基域的特征为零，常数 Jacobian 的值本身不应该是障碍，但「非零常数」在经典表述中通常被归一化为 1（通过缩放）。这个细节需要澄清。
第二层：为什么 80 年没人找到这个例子？
如果这个反例是正确的，那它确实简单得令人不安。一组三次多项式，三个有理点——这看起来像是任何代数几何研究生都可能碰到的构造。但 Jacobian 猜想的困难之处在于，它涉及的是「全局可逆性」而非「局部可逆性」。一个映射的 Jacobian 行列式处处非零只能保证局部可逆（逆函数定理），但要保证全局存在多项式逆，需要额外的条件。反例的构造恰恰利用了局部可逆与全局不可逆之间的缝隙。
第三层：Fable 真的「解决」了吗？
这可能是最深的问题。Alpöge 本人把功劳归给了 Fable，但 HN 和 X 上的讨论中，很多人指出这个反例更像是一个「探索性构造」——Fable 在搜索空间中找到了一个满足特定代数条件的例子，然后由人类数学家验证了它的意义。
这与「AI 独立解决数学开放问题」还有距离。更准确的描述可能是：AI 作为代数计算助手，在人类的引导下缩小了搜索范围。真正的数学工作——理解这个反例在 Jacobian 猜想文献中的位置、它是否触及了猜想的核心假设、它能否推广到更高维——仍然需要人来完成。
为什么这件事值得关注
即使这个反例最终被证明有缺陷（这在 Jacobian 猜想的历史上发生过很多次），这次事件本身也传递了几个信号：
-
AI 作为数学探索工具正在进入实用阶段。 它可以充当一个永不疲倦的代数计算伙伴，快速生成候选构造，由人类判断其价值。
-
AI 生成内容的可信度问题再次浮现。 一个流畅且可验证的数学构造，和一个正确的数学构造，中间隔着一道人类专家审查的鸿沟。Fable 的例子恰好在「看起来对」和「实际上对」的边缘上。
-
数学研究的信息传播方式在变。 一条推文，配上 Wolfram Alpha 链接，几小时内传遍全球。传统上要经过预印本、同行评审、期刊发表的流程，现在被社交媒体短路了——好处是快，坏处是错误也可能被同样快地放大。
Alpöge 自己在回复中坦言：
「这是这个领域最搞笑又最可怕的问题，因为它就像是经典的民科墓地（crank graveyard）。谢谢你的投资🙏」
他知道自己在做什么。Jacobian 猜想是一片埋葬了无数「证明」的坟场[[Jacobian_conjecture#History]]。在这里发布一个反例，需要数学能力与承受同行审视的勇气。
接下来看什么
截至本文写作时，还没有 arXiv 预印本，也没有除 Wolfram Alpha 之外的独立验证。数学界最理性的态度是：等待专家审查。
如果真的成立，这将是代数几何领域几十年来最重要的进展之一，也会成为 AI 辅助数学研究的标志性案例。如果被证伪，它也会成为 Jacobian 猜想漫长历史中又一个引人注目的脚注。
无论结果如何，2026 年 7 月 20 日凌晨那条推文已经完成了一件事：让全世界看到了 AI 在数学前沿的可能性——以及它的局限性。
参考链接：
- Levent Alpöge 推文（xcancel）
- HN 讨论
- Wikipedia：Jacobian 猜想
- WolframAlpha 验证结果
