AI推翻87年数学难题？困扰数学界雅可比猜想可能被三行公式证伪了
Air Explorer Pro是一款跨平台多网盘管理工具，可实现一站式完成不同网盘间文件的互传、搜索和同步等操作。任务管理和过程控制会更完整，持续下载、批量同步或需要稳定传输流程的场景会更适合它。
悬而未决87年的雅可比猜想可能被推翻。数学家借助Anthropic的AI模型ClaudeFable5发现一个三元多项式映射反例，满足条件却违反结论。目前关键验证已通过公开计算，若成立则三维及以上情形均不成立，二维仍开放。
悬而未决87年的经典数学难题——雅可比猜想（Jacobian Conjecture），可能被一个只有三行公式的反例推翻了。
7月20日，数学家、Anthropic研究人员Levent Alpöge在社交平台X公布了一个三元多项式映射。它满足了雅可比猜想要求的前提条件，却违背了猜想的结论，因此构成了一个可能推翻整个猜想的反例。
更引人关注的是，Alpöge在帖子中将这一反例归功于Anthropic最新发布的AI模型Claude Fable 5。他还表示，是朋友Akhil首先向模型提出这一问题，而Fable 5则在他们观看世界杯决赛期间持续搜索，最终找到了这一反例构造。
（来源：X）
消息发布后，数学界迅速展开核验。斯坦福大学数学系助理教授Jared Duker Lichtman转发称这一结果“相当惊人”；MathOverflow很快收录了相关讨论，不少研究者还利用Wolfram Alpha、SymPy等工具进行了独立计算。目前，最关键的两项验证：雅可比行列式是否恒为−2，以及三个不同点是否确实映射到同一点，均已通过公开计算验证。
如果后续没有发现新的漏洞，这将意味着：1939年提出的雅可比猜想在三维情形下不成立，并可进一步推出其在所有三维及以上维数下均不成立；而二维情形仍然保持开放。
被称为“民科坟场”的雅可比猜想
雅可比猜想由德国数学家奥特－海因里希·凯勒（Ott-Heinrich Keller）于1939年提出，讨论的是一个看似简单、却困扰数学界近九十年的问题：什么时候，一个多项式映射一定能够"倒推"回原来的函数？
图｜海因里希·凯勒（左）（来源：Wikipedia）
理解这个猜想，可以先想象一张橡胶膜。如果局部看，每一小块都没有被撕裂或压扁，人们很自然会问：整张膜会不会在别的地方折叠起来，让两个不同的位置重合？
数学里的情况与此类似。对于多变量多项式映射，如果它在每一个局部都满足一种“没有折叠”的条件，也就是雅可比行列式始终等于同一个非零常数。那么它是否一定在整体上也是一一对应的？它的逆映射又是否仍然是一个多项式？
这就是雅可比猜想。它的陈述只有短短几句话，却异常难以证明。不少数学研究者戏称它为“crank gra veyard”——“民科坟场”。许多人被它吸引，最终却陷入漫长而徒劳的推导之中。
著名华人数学家张益唐，就曾把整个博士阶段投入到这个问题。1991年，他在普渡大学完成博士论文《雅可比猜想与域扩张的次数》，导师莫宗坚是国际上研究雅可比猜想最重要的学者之一。张益唐的工作推进了这一研究方向，却并没有解决猜想本身。后来，他离开代数几何，转向解析数论，并最终因证明有界素数间隔而闻名世界；雅可比猜想，则依然留在开放问题名单中。
1998年，菲尔兹奖得主Stephen Smale将其列入著名的《下一个世纪的数学问题》（Mathematical Problems for the Next Century）第16题，认为它的解决将对数学发展产生重要影响。
过去近90年里，一维情形早已证明成立，二维至今仍未解决，而三维及更高维也始终没有答案。由于这一猜想要求所有维数都成立，因此，只要在任意一个维数找到反例，整个猜想就会被推翻。
三个点，击穿一个猜想
而此次，Alpöge公布的是一个从三维复空间到三维复空间的多项式映射：
直接计算一下就能发现，这个映射的雅可比行列式恒等于−2。由于−2是一个非零常数，因此它完全满足雅可比猜想的前提条件。
然而，当把三个不同的点
分别代入这一映射时，得到的结果却都是同一个点：
这足以构成反例。原因很简单：如果多个不同的输入对应同一个输出，那么映射就不是单射。换句话说，当已知输出时，无法唯一确定原来的输入，因此它不可能拥有逆映射，更不可能拥有由多项式组成的逆映射。这与雅可比猜想的结论正面冲突。
这个反例还具有极强的可核查性。许多重大数学成果往往需要专家花费数月甚至数年时间，逐页检查上百页证明；而这个结果的核心，仅涉及两项有限的代数计算：一是验证雅可比行列式恒等于非零常数，二是验证三个不同的点确实映射到了同一个点。
截至目前，这两项计算均已得到公开复核。研究者Zihan Zhang给出了独立的SymPy验证脚本，并指出，只需将其中一个输出坐标乘以−1/2，就可以把雅可比行列式规范化为猜想中更常采用的常数1，而这不会改变反例的本质。
如果这一反例最终成立，它不仅推翻三维情形，也意味着所有更高维情形都不再成立。因为只需在三维反例后增加若干保持不变的坐标，就可以直接构造出任意更高维的反例。不过，二维雅可比猜想仍然是一个独立的开放问题。
值得补充的是，Levent Alpöge并不是从AI领域半路进入数学，而是一位长期从事数论与算术几何研究的职业数学家。近年来，他才加入Anthropic，从事人工智能研究。
他本科毕业于哈佛大学，主修数学，并获得物理学硕士学位；随后在剑桥大学完成数学高级研究课程。2020年，他在普林斯顿大学获得数学博士学位，导师是菲尔兹奖得主Manjul Bharga va。
图｜Levent Alpöge（来源：Quanta Magazine）
大型语言模型兴起后，Alpöge开始转向人工智能。他曾在个人主页写道，GPT-4让他认为人工智能是“人类创造过的最有意思的东西”，因此重新回到计算机科学领域，希望增加这场变化产生积极结果的可能性。
根据目前公开的信息，这次发现的大致过程是：Akhil提出问题，Alpöge将其交给Claude Fable 5进行探索，模型最终给出了具体的反例构造；随后，Alpöge公开了这一构造，数学界再通过人工推导以及Wolfram Alpha、SymPy等工具进行了独立验证。
这一过程与AI替数学家写出一份传统意义上的数学证明有所不同。对于否定一个猜想而言，并不需要解释所有可能情况，只需要找到一个满足前提、却违反结论的反例即可。这样的任务天然适合计算探索：模型可以不断尝试构造候选映射、调整参数、检查雅可比条件，再寻找是否会出现不同点映射到同一点的情况。
如果这一反例最终得到确认，它带来的意义将十分重大。因为它展示了一种此前极少出现的研究模式：不是AI帮助数学家验证已经存在的思路，而是AI参与寻找一个人类87年来始终没有找到的数学对象。
从AlphaGeometry解决竞赛题，到GPT、Gemini参与证明具体命题，再到这一次可能找到推翻经典猜想的反例，大模型参与数学研究的角色正在发生变化。它开始探索的，不再只是“答案”，而是过去只有数学家才会进入的未知搜索空间。
Postman是一套面向API全生命周期的开发与测试平台，可在Mac上发送和调试多种协议请求，管理集合、环境及认证信息，并完成脚本测试、模拟服务、监控、文档发布和团队协作。它适合开发、测试及运维人员使用，提供个人免费方案。
Docker Desktop 是 Docker 官方为 Mac 提供的容器开发环境，集成 Docker Engine、命令行工具、Compose、Build、Kubernetes 与图形化管理界面。
Android Studio 是 Google 面向安卓应用开发提供的官方集成开发环境，基于 IntelliJ IDEA 构建。它整合智能代码编辑、Gradle 构建、界面预览、设备模拟、性能分析、调试测试及 APK 分析等工具。
Xcode 是苹果面向 Mac 提供的官方集成开发环境，将代码编辑、项目构建、SwiftUI 实时预览、设备模拟、自动化测试、断点调试、性能分析和应用分发整合在同一套工作流中，适合开发与维护 iPhone、iPad、Mac、Apple Wa
JetBrains WebStorm 是面向 JavaScript、TypeScript 和现代 Web 技术的专业集成开发环境，可智能理解项目结构，提供代码补全、重构、错误检查、运行调试、测试及 Git 工具。
PhpStorm 是 JetBrains 推出的专业 PHP 集成开发环境，可在 Mac 上完成代码编写、智能检查、重构、调试、测试和数据库管理。它支持主流 PHP 框架、Composer、Git、Docker 与远程解释器。
JetBrains PyCharm 是面向 Python 开发者的集成开发环境，提供智能补全、代码检查、重构、调试、测试、版本控制及虚拟环境管理功能。Mac 版兼容 Intel 与 Apple 芯片，核心功能可免费使用。
IntelliJ IDEA 是 JetBrains 推出的专业集成开发环境，重点服务于 Java、Kotlin 与 JVM 项目开发。软件集成代码补全、静态检查、重构、调试、测试、版本控制及构建工具，并可借助插件扩展语言和框架支持。
Visual Studio Code 是微软提供的免费代码编辑器，支持 macOS，并为 Intel 与 Apple 芯片 Mac 提供适配版本。软件集代码编辑、调试、Git 源代码管理、集成终端和扩展市场于一体。
REAPER是Cockos开发的数字音频工作站，提供多轨音频与MIDI录制、剪辑、处理、混音和母带制作工具。Mac版兼容Intel与Apple芯片，支持AU、VST、VST3、CLAP等插件格式，并提供高度可定制的工作流程。
Adobe Audition 是面向播客、影视后期、音乐制作及内容创作者的专业音频工作站，提供波形精修、多轨录制与混音、频谱编辑、降噪修复、响度匹配和效果处理工具，并可与 Adobe Premiere 协同完成视频声音制作。
Pro Tools 是 Avid 推出的专业数字音频工作站，覆盖多轨录音、无损剪辑、MIDI 编曲、插件处理、自动化混音及声音与画面同步等工作。它拥有 Intro、Artist、Studio 和 Ultimate 等方案。
Postman 是面向 API 全生命周期的开发与协作平台。Windows 桌面版可用于构建和发送 HTTP、GraphQL、gRPC、WebSocket、MQTT 等请求，并提供环境变量、集合、脚本测试、模拟服务、监控、文档及团队工作区等
Docker Desktop 为 Windows 开发者提供集成式容器环境，内置 Docker Engine、命令行工具、Compose、Build 与 Kubernetes 等组件，可在本机完成镜像构建、容器运行、日志查看和资源管理。
Android Studio 是 Google 面向 Android 应用开发提供的官方集成开发环境，以 IntelliJ IDEA 为基础，集成智能代码编辑、Gradle 构建、设备模拟、界面预览、调试测试及性能分析工具，
WebStorm 是 JetBrains 面向 JavaScript、TypeScript 和现代 Web 技术打造的集成开发环境。它提供项目级代码分析、智能补全、安全重构、导航搜索，并集成调试、测试、终端、Git 与常用前端工具，
PhpStorm 是 JetBrains 面向 PHP 与现代 Web 开发打造的专业集成开发环境，提供代码补全、静态检查、重构、调试、测试、数据库、版本控制及前端语言支持。Windows 用户可直接下载安装程序，
PyCharm 是 JetBrains 推出的 Python 集成开发环境，提供智能代码补全、错误检查、重构、调试、测试、Git、终端及 Jupyter Notebook 支持。统一版安装后可体验 30 天 Pro 功能，
JetBrains IntelliJ IDEA 是以 Java、Kotlin 和 JVM 项目为核心的专业集成开发环境，提供智能补全、代码检查、安全重构、调试、测试、版本控制及构建工具集成。统一发行版的核心功能可免费用于商业和非商业项目，
Visual Studio Code 是微软推出的免费代码编辑器，Windows 版集成智能补全、代码导航、调试、终端和版本控制，并可通过扩展添加语言、格式化及远程开发能力。它启动较快、配置灵活，
REAPER 是 Cockos 推出的数字音频工作站，适用于录音、MIDI 编曲、音频编辑、混音、母带制作及声音设计。软件安装包小巧，支持多轨录制、灵活路由、自动化、第三方插件和脚本扩展，并提供完整功能的 60 天免费评估期。
Adobe Audition 是面向播客、影视后期、广播与音乐制作的专业音频工作站，提供波形编辑、多轨混音、频谱分析、录音、降噪修复和效果处理等功能。Windows 版通过 Adobe Creative Cloud 安装和管理，
Pro Tools 是 Avid 推出的专业数字音频工作站，提供多轨录音、音频剪辑、MIDI编曲、插件处理、自动化混音及影视声音制作能力。它适合音乐人、录音师、制作人和音频后期团队使用，并提供免费入门版、订阅方案及永久授权选择。
Cubase 是 Steinberg 推出的数字音频工作站，提供 MIDI 编曲、多轨录音、音频编辑、虚拟乐器、效果处理、自动化、混音和母带输出工具。其 Pro、Artist 与 Elements 版本面向不同预算和制作规模，