一条推文终结85年猜想：AI大模型Fable 5如何证伪雅可比猜想

数学界的“推特时刻”：一个猜想的非正式终结

2026年7月，数学界经历了一场前所未有的震动。没有漫长的同行评审，没有冗长的预印本堆砌，甚至没有一篇传统意义上的论文。一切始于一位在职数学家的简短推文。Anthropic的研究员Levent Alpoge在社交媒体X上发布了一条看似随意的消息，声称困扰代数几何学界八十五年的雅可比猜想（Jacobian Conjecture）被证伪了。而这位推文的“功臣”之一，正是Anthropic最新发布的AI大模型Claude Fable 5。

这条推文的内容极其精简：一段多项式映射的表达式，以及三个具体的坐标点。Alpoge指出，这个从复三维空间到复三维空间的映射，其雅可比行列式恒等于非零常数-2，满足雅可比猜想的所有前置条件；然而，它却将三个截然不同的输入点映射到了同一个输出点。这一“多对一”的特性直接打破了全局可逆性的结论，从而构成了一个完美的反例。

消息一经发出，犹如投入平静湖面的巨石。浏览量迅速突破五百万，包括斯坦福数论学家Jared Duker Lichtman、芝加哥大学代数几何学家Akhil Mathew在内的顶尖学者纷纷转发并参与验证。学术界的反应呈现出一种混合了震惊、敬畏与荒诞感的复杂情绪。有人调侃道，这条推文本身就可以作为一篇论文发表，因为其论证逻辑完整且可复现。这种非正式的发布方式，彻底颠覆了人们对重大数学突破的传统认知。

雅可比猜想：数学界的“长期主义者”陷阱

要理解这一事件的分量，首先需要厘清雅可比猜想本身的地位。该猜想由德国数学家Ott-Heinrich Keller于1939年提出，主要探讨多项式映射的全局可逆性问题。具体而言，如果一个多项式映射的雅可比行列式是一个非零常数，那么该映射是否一定是全局可逆的？且其逆映射是否也是多项式形式？

从直观上看，微积分中的反函数定理提供了局部可逆性的判据，而雅可比猜想试图将这一局部性质推广至全局。听上去似乎简单，但它却成为了现代数学中最顽固的堡垒之一。该猜想被列入斯蒂芬·斯梅尔提出的“21世纪数学问题”清单，与黎曼猜想、纳维-斯托克斯方程并列。然而，与这些高度抽象或物理基础的难题不同，雅可比猜想因其形式上的“平易近人”而更具迷惑性。

长期以来，无数数学家试图证明或反驳这一猜想。维基百科词条中甚至包含了一句近乎免责声明的描述：该猜想以大量包含微妙错误的“假证明”而臭名昭著。这种“有罪推定”的氛围，使得任何新的尝试都面临极高的 scrutiny（审视）。两变量的最简单情形至今未被解决，更遑论一般的n维情形。因此，当这样一个看似“低级”的低次多项式反例出现时，数学界的初始反应往往是怀疑其真实性和完整性。

解构反例：为何它如此“简单”却有效？

Alpoge提供的反例极其简洁。该映射接收三个变量(x, y, z)，通过加法和乘法生成输出。计算其雅可比矩阵的行列式，结果恒为-2，这完全符合猜想中“非零常数”的要求。然而，关键在于该映射的“折叠”特性。

数学上，全局可逆意味着每一个输出值都对应唯一的输入值。Alpoge指出的反例中，点(0, 0, -1/4)、(1, -3/2, 13/2)和(-1, 3/2, 13/2)这三个在空间中位置迥异的点，竟然都被映射到了同一个目标点(-1/4, 0, 0)。

这种“碰撞”在多项式映射中并非不可能，但在满足雅可比条件时，人们长期假设其会被禁止。这个反例的存在证明，即使局部行为（由雅可比行列式表征）看起来良好，全局结构仍可能发生扭曲。这一验证门槛极低，任何具备基础代数知识的人，将数值代入公式即可确认其正确性。正如Jared Duker Lichtman所言，由于映射将多个不同点汇聚于同一像，它本质上不可逆，从而一举击碎了猜想的普适性。

AI的角色：从工具到协作者？

这一事件最大的争议点在于AI的作用。Fable 5是如何找到这个反例的？一种主流观点认为，AI并非凭空创造了数学真理，而是通过对海量前人文本的深度学习，捕捉到了人类在尝试证明过程中无意中忽视的模式或约束。

那些长达数百页的“假证明”中，往往包含了大量对多项式系数的探索。AI模型可能内化了这些探索中的边界条件，再通过生成式算法进行组合与优化，最终筛选出满足所有条件的反例结构。Alpoge在与模型的交互中，利用Wolfram Alpha等工具进行实时验证，形成了“人类提出假设—AI生成候选—工具快速验证”的高效闭环。

这种模式挑战了传统的数学发现范式。以往，寻找反例往往依赖于数学家的直觉或穷举搜索，而在高维空间中，穷举几乎不可行。AI的介入，使得搜索空间被极大地优化。有评论指出，AI在这里扮演的不是替代者，而是“超强力望远镜”，帮助研究者看到了人类直觉难以触及的角落。然而，反对者则认为，这仅仅是计算力的胜利，而非智力上的创造。但不可否认的是，结果是真实的，数学真理不因发现者的身份而改变。

历史的回响：张益唐与雅可比猜想的渊源

这一事件还带有强烈的历史戏剧性。雅可比猜想的一个特例，曾是张益唐博士期间的研究课题。当年，张益唐的导师让他基于一个已证明的引理开展工作，但不幸的是，该引理后来被发现存在错误，导致张益唐的博士论文整体坍塌。这一挫折直接影响了他的学术生涯，导致他长期无法获得稳定的学术职位，直到四十多岁才重新起步，并最终在孪生素数猜想上取得里程碑式突破。

如今，雅可比猜想在四十年后，以一种极具讽刺意味的方式被终结。它曾绊倒过一位未来的数学巨星，最终却被一个AI模型和它的研究者轻轻抹去。这种历史的巧合，让人不禁感叹数学世界的宏大与个体命运的微妙。对于张益唐而言，这段经历虽充满苦涩，但正是这种对数学本质的执着追求，铸就了他后来的辉煌。而对于整个学界，这一事件提醒我们，即使是再坚固的堡垒，也可能在看似微不足道的角落崩塌。

学术范式的重构：后同行评审时代？

尽管反例已被广泛验证，但严格来说，它尚未经过正式的同行评审流程。数学界的传统规范要求，重大结果需经过专家的逐行审查和正式发表。然而，雅可比猜想的案例显示，随着AI辅助工具的普及和验证门槛的降低，这一传统流程可能正在发生演变。

当验证一个结论只需要几分钟的算术计算，而非几十页的逻辑推导时，传统的“守门人”机制是否还有必要？目前，维基百科等开放平台已迅速更新词条，社区内部也形成了广泛的共识。这种“先验证，后形式化”的模式，可能会成为未来数学发现的新常态。

此外，这一事件也引发了对AI在科学中角色的深层思考。如果AI能够独立发现或辅助发现核心数学对象，那么科学家的角色将从“计算者”和“推导者”转向“提问者”和“解释者”。未来的数学家，或许更需要具备引导AI探索、解读AI生成结果的能力，而非仅仅掌握手工推导的技巧。

结语：不确定中的确定

雅可比猜想的证伪，不仅仅是一个具体数学问题的结束，更是数学研究方法的一次分水岭。它证明了AI在开放式、创造性任务中具备超越人类传统工作流的潜力。尽管关于AI是否具备真正的“理解力”仍有争议，但在寻找反例、优化结构方面，其效率已毋庸置疑。

随着更多类似案例的出现（如近期AI在Erdős问题上的进展），我们可能会见证数学界的一场静默革命。教科书可能会被重写，新的数学分支可能因AI的发现而诞生。对于研究者而言，拥抱AI不再是选择，而是生存必需。在这场变革中，保持对人类直觉的尊重与对机器算力的信任之间的平衡，将是未来数学发展的关键命题。雅可比猜想的故事才刚刚开始，而它的回声，将在未来的数学史中久久回荡。