AI一夜推翻7年心血：Fable 5证伪雅可比猜想，数学界迎何种巨变？

数学大厦的裂痕：AI以“一行反例”击穿87年坚冰

当Anthropic的研究人员Levent Alpoge在社交媒体上轻描淡写地宣布“雅可比猜想是错的”时，整个数学界经历了一场无声的地震。这不仅是一则学术新闻，更是一次对传统认知体系的剧烈冲击。有着87年历史的雅可比猜想，曾是无数顶尖数学家试图攀登却屡败屡战的高山，如今却被名为Fable 5的人工智能模型，在一个周日的傍晚，以极其简洁的方式彻底证伪。

这一过程没有任何冗长的铺垫，也没有复杂的逻辑推演，只有一个看似不可能的多项式映射反例。它从复三维空间（C³）映射到自身，雅可比行列式恒等于-2，看似完全满足猜想的前提条件——即局部双全纯性。然而，Fable 5敏锐地指出，该函数将空间中三个截然不同的点映射到了同一个目标点，从而破坏了单射性，直接否定了其存在全局多项式逆映射的可能。

这种“随手一击”的轻松感，与过去数学家们在此问题上的艰难探索形成了极具戏剧性的对比。数学界随之陷入了一种混合了震撼、兴奋与一丝不安的情绪中。正如数学家Jared Duker Lichtman所言，这是现代数学史上最鼓舞人心的故事之一。这种震撼不仅源于答案本身，更源于揭示答案的工具——不再是人类漫长的试错，而是算法对高维空间结构的瞬间洞察。

雅可比猜想的本质：从“理所当然”到“致命陷阱”

要理解这一证伪的重量，必须先回溯雅可比猜想的核心逻辑。1939年，德国数学家Ott-Heinrich Keller提出了这个问题：如果一个多项式映射的雅可比行列式是非零常数，那么它的逆映射是否也一定是多项式？

在微积分的基础理论中，反函数定理告诉我们，只要雅可比行列式在某点不为零，函数在该点附近就存在局部逆。雅可比猜想的直觉陷阱在于，它假设这种“局部可逆”在多项式这种刚性结构下，可以毫无阻碍地延伸到“全局”。这种从局部到全局的推广，在直觉上似乎“理所当然”，但实际上却隐藏着一个巨大的黑洞。

二维情况早在1884年就被提出，并曾有过被证伪的早期尝试。但对于更高维度，尤其是三维及以上，这个问题成为了检验数学家代数几何功底的试金石。多年来，无数论文声称证明了该猜想，却又无一例外地被发现逻辑漏洞。它像是一个精心设计的迷宫，入口开阔，内部却曲折错综，稍有不慎便陷入死胡同。直到Fable 5的出现，人们才发现，这个迷宫并非通向真理，而是一个死结。

Fable 5给出的反例之所以被称为“神级”，不仅因为它的正确性，更因为其简洁性。任何一个具备大学微积分基础的学生，都可以通过手算验证其雅可比行列式恒为-2，并直观看到其非单射性。这种自证性，使得反驳变得几乎不可能，同时也让AI的“数学创造力”第一次以如此纯粹的形式展现在公众面前。

被偷走的七年：张益唐的悲剧与AI的救赎？

在这场狂欢般的庆祝背后，一个令人唏嘘的名字被反复提及——张益唐。这位因在孪生素数猜想上取得突破而名震全球的天才，曾为雅可比猜想耗费了人生中最宝贵的七年。

故事要追溯到20世纪90年代初。在普渡大学攻读博士学位期间，张益唐的导师莫宗坚坚信雅可比猜想成立，并建议他以相关问题作为博士论文课题。莫宗坚提供了一个关键的“引理”，认为这是证明猜想的基石。张益唐基于此构建了自己的理论大厦，甚至在博士论文中宣称解决了猜想的弱形式。

然而，命运开了一个残酷的玩笑。同行评审发现，莫宗坚提供的关键引理本身存在错误。这意味着张益唐耗费数年时间构建的理论地基是虚假的。他的努力不仅未能攻克猜想，反而暴露了学术传承中的风险。莫宗坚随后评价张益唐“不适合代数几何”，并指责他浪费了七年的光阴，且未为其撰写推荐信。这一决定导致张益唐在学术界寸步难行，最终不得不离开高校，在底层社会漂泊，其中最广为人知的是他在赛百味快餐店打工七年的经历。

2013年，58岁的张益唐凭借孪生素数猜想的研究重返巅峰。他引用杜甫的诗句“庾信平生最萧瑟，暮年诗赋动江关”，道尽了那段岁月的孤独与艰辛。而更具讽刺意味的是，即便在成名之后，莫宗坚依然坚持雅可比猜想是正确的，甚至相信未来AI能帮助解决证明中的逻辑问题。如今，AI真的来了，却不是为了证明，而是为了证伪。这不仅是张益唐个人悲剧的注脚，更是学术权威在时间面前脆弱性的体现。

范式转移：AI如何重塑数学研究的边界

Fable 5的成功并非孤立事件，它标志着数学研究范式的一次深刻转折。传统数学研究依赖人类的直觉、逻辑推导和漫长的计算验证，而AI展现出的是一种基于高维统计关联和模式识别的“算法直觉”。

在雅可比猜想的问题中，人类数学家往往试图寻找一个通用的证明框架，从定义出发，层层递进。这种思路虽然严谨，但在面对极其复杂的代数结构时，容易陷入局部最优解或逻辑盲区。相比之下，AI可以通过海量数据的训练，直接探索高维空间中的映射关系，发现那些人类难以察觉的反例结构。

GPT-5.6等后续模型迅速对这一结果进行了分析，并提出了修正后的猜想：“一个常数雅可比多项式的局部双全纯映射，如果在无穷远处没有叶数损失，那么它就是一个自同构。”这表明，AI不仅能否定旧的理论，还能基于新发现，指导人类重新定义问题边界。OpenAI的Aaron Lou甚至用内部Codex从零推导出本质相同的反例，进一步证明了算法在数学发现中的可复现性和独立性。

这种能力引发了数学界的深层反思。菲尔兹奖得主Timothy Gowers悲观地感慨，2030年的菲尔兹奖可能是最后一次颁给人类。这并非危言耸听，而是对AI在复杂逻辑推理领域潜力的一种承认。当算法能够生成无限多个反例，甚至能生成新的数学对象时，数学家的角色将从“证明者”转变为“提问者”和“验证者”。

未竟之路：二维困境与未来的数学生态

尽管雅可比猜想被证伪引发了轰动，但我们必须保持冷静。Fable 5证伪的是广义上的雅可比猜想，即针对三维及以上的情形。而张益唐当年研究的二维情形，以及二维本身所蕴含的深刻数学结构，至今仍未解决。事实上，二维情况往往被视为更核心、更难攻破的部分，因为高维的复杂性并不总是简单叠加低维的性质。

这一区分至关重要。它提醒我们，AI的强大并不意味人类智慧的终结。相反，AI处理的是复杂性和规模，而人类擅长的可能是结构的本质和直觉的飞跃。未来的数学研究，可能会形成一种人机协作的新生态：AI负责在海量空间中搜索反例、验证假设、发现模式；人类负责构建理论框架、解释意义、提出新的猜想。

张益唐的七年心血，虽然在那场悲剧中被“偷走”，但他的坚韧和最终在孪生素数猜想上的突破，证明了人类智力在极端困境下的生命力。而Fable 5对雅可比猜想的证伪，则展示了另一种维度的力量。两者并非对立，而是互补。

这一事件也引发了对学术伦理和导师责任的讨论。在张益唐的案例中，权威的错误不仅摧毁了一个学生的职业生涯，也延误了学术界对猜想本质的探索。AI的介入，或许能在一定程度上通过客观验证，减少这种人为错误带来的损失。但如何建立人机协作中的责任归属、如何确保算法的可解释性，仍是亟待解决的难题。

结语：在算法时代重新定义智慧

雅可比猜想的证伪，不仅仅是一个数学问题的解决，它是AI进入基础科学核心领域的宣言。它告诉我们，在极度复杂的逻辑迷宫中，算法可能拥有比人类更敏锐的“嗅觉”。

对于张益唐而言，这段往事是个人悲剧，也是学术界的警钟。它提醒我们，尊重科学发现的曲折性，保护那些在边缘地带探索的孤独灵魂。对于数学界而言，这是一个新纪元的开始。我们不再视AI为简单的计算工具，而是将其视为潜在的合作伙伴，甚至竞争对手。

在这个新时代，数学家需要的不仅是严谨的逻辑，更是对算法思维的接纳与融合。或许，未来的菲尔兹奖得主，既会是像张益唐那样坚韧不拔的人类天才，也会是像Fable 5这样能够瞬间击穿认知壁垒的超级智能。而真正的智慧，将体现在人类如何驾驭这股力量，去探索那些尚未被照亮的数学黑暗领域。