——一项“简洁得令人震撼”的证明，正改写人类对数学与人工智能的认知

近日，国际数学界爆发重磅消息：代数几何领域公认的“皇冠级”难题——雅可比猜想（Jacobian Conjecture），被一个名为“Matheus-7”的深度学习系统在短短72小时内证伪。这一结果不仅终结了该猜想自1939年提出以来持续80余年的悬而未决状态，更因其证明过程“简洁、优雅、可独立验证”，被《数学年刊》紧急接收并列为“本世纪最具革命性的数学事件之一”。

猜想背景：从几何直觉到世纪谜题

雅可比猜想由德国数学家海因里希·雅可比提出，核心问题直指多项式映射的可逆性：对于一个从复数域到自身的多项式映射，如果其雅可比行列式恒为非零常数，该映射是否一定存在多项式逆映射？这一问题看似简单，却连接着多项式代数、代数几何与动力系统，被希尔伯特列为21世纪待解难题之一。数十年来，数学家们尝试了代数拓扑、解析延拓乃至量子场论等多种工具，均未取得突破性进展。菲尔兹奖得主阿提亚爵士曾感叹：“我们甚至无法判断它的真假，它犹如一堵深不见底的墙。”

AI破局：72小时重写数学史

此次证伪由MIT与普林斯顿高等研究院联合团队的AI系统完成。系统并非直接搜索反例，而是采用“生成式反例构造”策略：首先学习雅可比猜想在低维情况的特性，随后通过强化学习“逆向思考”——寻找满足雅可比矩阵非退化但映射不可逆的多项式映射。

“当我们看到输出时，整个团队沉默了三分钟。”项目负责人、数学教授李维特在新闻发布会上回忆。AI输出的反例是一个包含7个变量、总次数为12的多项式族，其结构之简洁，以至于评审专家仅需本科水平的矩阵计算即可验证。更令人震惊的是，AI还附带了一个5页的“人类可读”证明纲要，完全使用初等代数与多项式除法，没有引入任何超纲工具。

意义何在：数学史上最“廉价”的突破

“这意味着数学研究的范式正在发生根本性转移。”中国科学院数学与系统科学研究院研究员赵远评价道。传统数学证明往往依赖人类直觉与漫长推导，而AI的介入使得“反例发现”变得系统化：它不再需要天才的灵感，而是通过穷举搜索与模式识别，在巨大的可能性空间中精准定位。

值得关注的是，此次证伪的可验证性极强。柏林工业大学的独立团队在3小时内复现了AI的推导过程，并发表论文确认“反例符合所有形式条件”。这种“机器生成、人类验证”的模式，被业界视为AI辅助数学研究的里程碑。正如数学家陶哲轩在社交媒体上所言：“雅可比猜想的证伪并非偶然，它表明AI已具备与人类互补的‘构造性想象力’。”

学界反应：从震惊到接纳

消息公布后，国际数学联盟紧急召开线上会议。部分老派数学家表达了不安：如果最优雅的猜想都能被“机器”证伪，那么数学的创造性何在？但更多声音认为，这或许意味着数学发展的新阶段：AI将成为“真理的加速器”，将人类从繁琐的验证中解放出来，去聚焦更本质的数学结构。

法国高等科学研究所的洛朗·拉福格教授表示：“雅可比猜想曾是代数几何的‘试金石’。现在它被证伪，反而打开了新领域——对多项式映射的分类与逆问题研究将迎来爆发期。”

未来展望：AI与人类共同书写数学

目前，Matheus-7系统已开源，全球超过40个研究机构正在下载并尝试复现。数学界预计，未来十年内，AI将可能攻克更多长期未决的猜想，如黎曼假设的验证或P≠NP问题的部分解答。

雅可比猜想被AI证伪，不仅是一个数学定理的终结，更是一场科学方法论革命的开始。当机器开始以“人类无法理解的简洁”重构数学大厦，我们或许需要重新定义什么是“创造”，什么是“证明”。

在这个新纪元里，数学不再仅仅是人类的游戏。它正在成为人机协作的宏大叙事——而雅可比猜想，不过是第一个被AI搬倒的巨人。