2026年7月20日，一场沉闷乏味的世界杯决赛，意外改写了百年数学史。Anthropic研究员、哈佛大学青年数学家Levent Alpöge在观赛间隙，借助AI模型Fable 5轻松证伪了困扰学界87年的雅可比猜想（Jacobian Conjecture）。不同于传统数学难题经年累月的推演论证，此次AI给出的反例极度简洁，仅需基础微积分知识、几行代码即可快速核验。
这场随性又颠覆性的突破，不仅终结了代数几何领域最著名的悬案之一，推翻了一系列关联猜想，更洗刷了萦绕数学界数十年的“学术魔咒”，也让世人真切看见AI重塑前沿数学研究的全新可能。
一、最松弛的顶级数学突破：看球间隙，AI推翻百年猜想
此次颠覆性发现的诞生过程，充满了极致的松弛感。7月20日凌晨，世界杯决赛进程拖沓、场面沉闷，Alpöge在观赛之余，与芝加哥大学菲尔兹奖级学者Akhil Mathew闲聊，谈及数学界公认的“灾难级难题”——雅可比猜想。该猜想百余年来迷惑了无数顶尖学者，无数看似完美的证明最终都被推翻，堪称数学界最危险的学术诱惑。
抱着尝试的心态，Alpöge将这个经典难题抛给了Anthropic的Fable 5大模型，无意间开启了历史性突破。短短数小时内，AI跳出人类数学家的固有思维定式，输出了一个结构极简、逻辑自洽的三维多项式映射反例，直接证明：通用维度下的雅可比猜想并不成立。
面对这个颠覆学界认知的结果，Alpöge最初难以置信。他手动演算核验，反复推演细节，最终借助专业科学计算工具Wolfram Alpha再次验证，确认AI反例完全正确。随后，他以极其随性的风格在社交平台X发布官宣，没有繁琐的学术铺垫，直白宣告结论：雅可比猜想是错的。他同时打趣致谢，感谢乏味的球赛、友人的启发，以及全程高效运算的AI模型。
这条随性的推文迅速引爆全球学术圈，15小时内斩获千万浏览量。菲尔兹奖得主Timothy Gowers亲自围观点评，直言这是LLM首次独立解决一项非本领域、享誉全球的重大数学难题，标志着AI在纯理论数学领域实现里程碑式突破。更难得的是，这也是史上被学术界最快接纳的重大数学结论——无需漫长同行评审，任何人都可通过简单计算、少量代码快速验证真伪。
二、通俗读懂雅可比猜想：困住数学家百年的思维陷阱
雅可比猜想之所以迷惑性极强，核心原因是它源于最朴素的微积分直觉，看似简单却暗藏深层维度陷阱，也是代数几何、多项式映射理论的核心基石问题。1939年由数学家Ott-Heinrich Keller正式提出，1970年代后被学界统一命名为雅可比猜想，1998年更是被菲尔兹奖得主Stephen Smale列入《下一个世纪的数学问题》核心榜单，位列第16题，被视作影响现代数学发展的关键难题。
从基础逻辑来看，一维实数域的数学规律简洁清晰：若一元函数导数在全域恒不为0，则函数严格单调、全局可逆，不存在多值映射的情况。但进入复数域、多维空间后，这套人类默认的直观规律彻底失效，复指数函数便是典型案例，导数全域非零，却因周期性存在多输入对应同一输出的不可逆问题。
雅可比猜想正是对多维多项式映射可逆性的大胆推测，核心定义可通俗概括为：对于n维复空间到n维复空间的多项式映射，若其雅可比行列式为非零常数（全域局部可逆），则该映射必然全局可逆，且逆映射同样为多项式映射。
长期以来，学界基于隐函数定理的优美性质，默认这一猜想普遍成立。无数顶尖学者穷尽半生之力，试图给出完整证明，却始终无人成功。更致命的是，该猜想成为错误证明的“重灾区”，无数发表在顶刊、看似严谨的证明，最终都被找出致命漏洞，成为数学界罕见的百年学术困境。
学界过往仅攻克了部分特殊情形：1980年数学家王穗生证明，次数≤2的多项式映射满足猜想；后续学界进一步证明，只需攻克三次齐次多项式特例，即可验证通用猜想。同时有研究证实，二维低次情形（次数≤100）大概率成立，但始终无法完成全域证明，也无人找到有效反例。
三、AI反例实测：极简公式，击穿百年学术误区
此次Fable 5给出的三维反例，结构简洁、逻辑闭环，彻底击碎了人类的固有认知，完美证伪高维雅可比猜想。该反例构建了一组三维复空间多项式映射，同时满足两大核心条件：一是雅可比行列式恒为非零常数-2，完全贴合猜想前提；二是存在三组完全不同的三维坐标输入，最终映射为同一输出结果。
具体验证逻辑清晰易懂：取A(0,0,-1/4)、B(1,-3/2,13/2)、C(-1,3/2,13/2)三组不同坐标，代入多项式映射公式后，三组输入最终均输出(-1/4,0,0)。这意味着该映射不满足单射性，存在多对一映射关系，自然无法实现全局可逆。
简单来说，这个极简的三维映射完美满足雅可比猜想的所有前置条件，却完全违背猜想结论。整个验证过程无需高深学术功底，依托Wolfram Alpha等通用工具即可秒级核验，真实性、严谨性无可辩驳。
此次证伪也明确了关键边界：二维雅可比猜想大概率成立，三维及更高维度的通用猜想彻底不成立。这也完美解释了为何百年来人类数学家始终无法突破——所有人都困在低维规律的思维定式中，难以跳出固有认知构造高维反例。
四、百年学术灾难：无数泰折戟，牵连多项核心猜想
雅可比猜想被称作数学界“最危险的诱惑”，绝非虚言。近百年来，它误导了一代又一代顶尖数学家，成为无数学者的学术遗憾。包括意大利几何学派泰斗Beniamino Segre、著名代数几何学家Wolfgang Gröbner、印度裔美国数学大师Shreeram Abhyankar在内的一众学界权威，都曾多次发布错误证明，最终全部被推翻。
这场学术迷雾不仅限于单一猜想，还形成了连锁崩塌效应。学界早已证实，迪克斯米尔猜想（Dixmier猜想）、泊松猜想（Poisson猜想）均与雅可比猜想稳定等价。随着高维雅可比猜想被证伪，这两项困扰学界多年的核心猜想也同步宣告终结，大批围绕关联猜想开展的研究工作，随之失去成立基础。
有趣的是，早在1997年的学术会议上，学界就曾针对雅可比猜想开展投票调研，62%的参会学者倾向于猜想不成立，但始终无人能拿出实证。人类凭借经验质疑，却耗费百年无法求证，最终由AI跳出思维桎梏，完成了这场历史性终结。
五、人文宿命：雅可比猜想与张益唐的半生坎坷
在这场百年数学公案中，最令人唏嘘的便是华人数学家张益唐的命运纠葛。雅可比猜想成为他学术生涯的转折点，也让他历经半生蹉跎。
攻读普渡大学博士期间，张益唐的博士论文聚焦雅可比猜想相关研究，试图基于猜想前提推导域扩张次数上界。他引用导师莫宗坚1983年的核心引理推进论证，却未料到该引理存在通用漏洞，导致论文核心逻辑存在缺陷。尽管最终论文顺利通过审核、成功拿到博士学位，但导师莫宗坚拒绝为其撰写学术推荐信。
在北美学术圈，缺失导师推荐信意味着彻底关闭正规学术通道。此后多年，张益唐被迫脱离学术领域，辗转打零工、端盘子、送快递，蛰伏底层，直至58岁凭借孪生素数猜想突破一战封神，成为学界传奇。
此次AI证伪高维雅可比猜想，也厘清了多年的学术误会：张益唐当年研究聚焦二维情形，而二维猜想大概率成立，其研究逻辑本身具备合理性，半生坎坷源于时代学术局限与人际纠葛，而非学术判断失误。同时也需厘清，国内曾有科研项目宣称“破解雅可比猜想”，实则为常微分方程领域的同名问题，与本次代数几何核心猜想并非同一课题。
六、AI颠覆数学研究：从辅助计算到突破人类认知边界
此次突破彻底打破了“AI只能辅助计算，无法攻克纯理论难题”的固有认知。不同于人类数学家深耕已有文献、陷入思维定式的研究模式，AI能够跳出经验桎梏，自由组合多项式结构，快速遍历人类难以触及的逻辑空间，精准构造出极简、初等的反例。
本次突破的核心人物Levent Alpöge本身是顶尖青年数学家，师从菲尔兹奖得主Manjul Bhargava，深耕数论、算术统计领域，曾在数域单生成性、椭圆曲线整点、希尔伯特第十问题等前沿领域产出里程碑成果。顶尖数学认知+AI工具的组合，才实现了这场颠覆性突破，并非简单的“AI碾压人类”。
学界已然掀起关于数学未来的深度讨论。菲尔兹奖得主Gowers公开表态，未来AI完全有能力冲击菲尔兹奖级别成果，下一代数学革命或将由AI主导。传统纯数学研究依赖天赋、灵感与长年积累的模式，正在被AI重构。
七、结语：百年迷雾散尽，数学进入人机协同新时代
一场乏味的球赛，终结了持续87年的数学迷雾。雅可比猜想的证伪，不仅为百年学术公案画上句号，清理了困扰学界数十年的错误研究方向，更释放了海量学术资源，让数学家得以跳出思维陷阱，聚焦全新研究领域。
更深远的意义在于，它标志着纯数学研究正式迈入人机协同新纪元。人类负责提出问题、定义方向、解读价值，AI负责突破认知边界、构造反例、验证逻辑。未来，更多百年未解的数学难题，或将在人机协同的新模式下迎来突破。
曾经，雅可比猜想是困住无数天才的学术牢笼；如今，AI亲手撕碎了这场持续近百年的思维幻觉，为现代数学的迭代升级，推开了全新的大门。