雅可比猜想被一条推文击穿：人类数学家与Claude Fable 5共同发现反例

一条推文，一个反例，八十五年终结 今天上午，Anthropic 数学家 Levent Alpoge 在 X 平台发布了一条极简推文：开头是慵懒的「hello there」，接着直陈——「雅可比猜想是错的」。随后他致谢两位「好朋友」：一位是芝加哥大学代数几何学家 Akhil Mathew（推文中称「akhil」），另一位则是 Anthropic 大模型 Claude Fable 5（推文中戏称为「fable」，并在世界杯决赛夜仍在工作）。 推文主体仅含一组明确给出的三维多项式映射。该映射从 ℂ³ 到 ℂ³，雅可比行列式恒为 -2（非零常数），完全满足雅可比猜想的前提条件；但它却将三个互异点 (0, 0, -1/4)、(1, -3/2, 13/2) 和 (-1, 3/2, 13/2) 同时映射至同一像点 (-1/4, 0, 0)。一次碰撞，即证不可逆；一个反例，足毁全局。 无需长篇证明，无需抽象构造。任何人抄下表达式，代入计算，五分钟内即可验证。这不是预告，不是草稿，不是“可能成立”——它是一份自洽、封闭、可机械复现的否定性结论。 它为什么重要？因为雅可比猜想真的很难 1939 年，德国数学家 Ott-Heinrich Keller 提出：若一个多项式映射的雅可比行列式处处为非零常数，那么该映射是否必有也是多项式的全局逆？ 问题形式朴素：只涉及多项式、偏导、行列式——本科高年级学生就能读懂题干。但八十五年来，它岿然不动。它被列入斯蒂芬·斯梅尔「21世纪数学七大难题」第16位，与黎曼猜想、纳维–斯托克斯方程并列；两变量情形至今未解；文献中充斥着被反复推翻的“证明”，维基百科甚至为其标注了“臭名昭著”的警告。 它的顽固不在于技术艰深，而在于欺骗性——看似可穷举、可试探、可编程搜索，却始终无人撞见那个“刚好够小、刚好够坏”的反例。 这一次，反例不是从天而降 Alpoge 并非偶然闪念。他在推文前已与 Mathew 多次讨论该猜想的结构边界；Fable 5 亦非被动输出，而是在多轮提示、约束引导与符号引擎（如 Wolfram Alpha）交叉验证下，逐步生成并精炼出这组低次数、小系数、高对称性的多项式。整个过程体现的是人机协作的新范式：数学家设定问题框架、识别关键障碍、设计验证路径；模型承担高维空间试探、代数恒等变形、大规模符号求导与像点枚举等繁重而精准的计算劳动。 这不是AI“替代”数学家，而是数学家第一次把大模型当作真正意义上的研究搭档——能质疑、会修正、可共构，并最终共同署名于一项决定性突破。 为什么以前没人找到？答案很朴素 反例的次数仅为 3，系数全为有理数，结构清晰。有人疑惑：八十五年，真没人写个脚本扫一遍低次多项式？ 现实是：学术激励机制长期导向“正向证明”而非“证伪搜索”；低次反例缺乏理论深度标签，难发顶刊，难申经费，难评职称。它更像一场安静的智力游戏——需要闲心、耐心与一点叛逆感。而Fable 5恰好没有职业包袱，也没有“这个方向不值得做”的预设。它只是被反复问：“什么样的多项式映射，雅可比行列式为常数，却又明显不可逆？” 当人类停止系统性搜索，机器反而补上了那块被忽略的拼图。 历史的回响：从张益唐的博士论文到世界杯决赛夜 这段故事里最沉静的一笔，与AI无关。据斯坦福数学家 Jared Duker Lichtman 梳理，雅可比猜想（特别是二维特例）曾是张益唐博士阶段的核心课题。他的导师要求他在某条引理基础上推进证明，而该引理后来被发现有误——整篇博士论文随之失效。此后十余年，张益唐辗转于快餐店、会计事务所与临时讲师岗位，直到2013年以孪生素数间隙有界这一突破性成果重返数学中心。 四十年后，同一个曾令一位年轻数学家学术生涯骤停的猜想，在世界杯决赛的深夜，被另一位数学家与一个大模型联手终结。这不是巧合，而是一种隐喻：数学的进展从来不在单一线性轨道上；它既需要孤勇者的长期蛰伏，也接纳新工具带来的意外破壁。 尚未盖章，但已站稳 截至当前，该结果尚未发表于期刊，也未完成传统同行评审流程。但其验证方式彻底改变了接受门槛：它不要求专家信任论证逻辑，只要求你打开计算器或符号系统，输入三组坐标，运行三次函数，观察输出是否一致。多位独立研究者已在数小时内完成复算，确认无误。 维基百科雅可比猜想词条已更新，明确引用该推文作为反例来源；社区共识正在快速形成。真正的挑战已转向后续：是否存在合理限制条件，使“修补版”猜想仍成立？已有讨论指向无穷远行为的控制，但尚无定论。 这不只是一个猜想的落幕 雅可比猜想的终结，标志一个分水岭：AI参与数学发现，已越过奥赛题求解、定理形式化、文献摘要阶段，正式踏入开放性核心问题的腹地。它不再回答“已知问题的已知变体”，而是和人类一起提出关键判据、构造决定性对象、完成不可辩驳的否证。 未来教科书如何书写这一节？或许会这样注释： 「反例由 Alpoge 与 Mathew 构思，Fable 5 实质性构造并验证，2024年以推文形式首次公布。」 这不是对传统的背叛，而是数学实践本身，在新协作者加入后的自然延展。