雅可比猜想或迎重大突破：数学家借助AI构造潜在反例

一道悬置87年的经典猜想，正站在被证伪的临界点 1939年，德国数学家Otto Keller提出一个看似简洁却异常顽固的问题：若一个从复数空间 ℂⁿ 到自身的多项式映射，其雅可比行列式恒为非零常数，那么该映射是否必然存在一个多项式逆映射？这一问题后来被称为雅可比猜想（Jacobian Conjecture），成为代数几何中最具标志性的未解难题之一。 它直指“局部可逆”与“全局可逆”的鸿沟——多元微积分中的反函数定理保证前者，但后者能否成立，八十余年来无人能断言。 AI辅助下的构造性突破 2024年7月20日，数学家Levent Alpoge在社交媒体公开一项进展：他在AI模型Fable 5的协助下，构造出一个从 ℂ³ 到 ℂ³ 的显式多项式映射。该映射满足雅可比行列式恒等于1（即非零常数）这一核心前提，却被严格验证为**非单射**——存在三个互异的输入点，映射至同一输出点。这意味着它不可逆，从而构成对雅可比猜想的反例。 Alpoge说明，这一构造并非偶然灵感，而是源于一次朋友在世界杯决赛期间提出的挑战性提问，随后由AI参与符号推演、结构试探与参数调优，最终收敛为一个可检验的显式表达式。 多路径独立验证已初步完成 消息发布后，数位代数几何与计算代数方向的研究者迅速响应，采用不同技术路径开展验证： • 使用符号计算系统（如Singular、Macaulay2）确认雅可比行列式恒为1，无变量依赖； • 借助高精度有理数运算，在多个随机选取的复数点集上验证映射的非单射性； • 通过Wolfram Alpha进行交叉核验，结果一致支持两项关键性质。 这些计算不构成数学证明，但作为构造性反例的实证支撑，已具备高度可信度。 影响远超猜想本身 雅可比猜想并非孤立命题。它与Dixmier猜想（关于Weyl代数自同构）、Poisson猜想（关于多项式泊松代数）存在已知的等价性或强关联。Alpoge指出，若本反例成立，上述猜想亦将同步坍塌，或将引发对多项式映射分类框架的系统性重审。 此外，已有讨论尝试“修复”原猜想。例如，有观点提出：若额外要求映射是proper（真映射）或在无穷远处保持层结构完整性，则常数雅可比行列式或仍足以推出多项式可逆性。但此类修正目前仅处于直觉阶段，尚无形式化陈述与证据支撑。 真正的门槛仍在同行评审 必须强调：当前成果尚未形成完整论文，未提交arXiv，更未经任何期刊或会议的同行评审。数学界对雅可比猜想的谨慎由来已久——过去数十年间，多次出现轰动性‘证明’或‘反例’，最终均在严格审查中暴露代数疏漏、边界情形遗漏或隐含假设错误。该问题因而被戏称为‘严谨性试金石’。 Alpoge本人亦坦承：‘这只是一个起点。我们正在整理全部推导细节、补充边界分析，并准备向专业期刊投稿。在评审完成前，它仍是开放问题。’ AI在此过程中的角色同样需理性看待。Fable 5并未‘自主发现’反例，而是在人类设定目标、约束与验证逻辑的前提下，高效探索了庞大代数结构空间。其价值在于加速构造，而非替代证明。数学的确定性，终究建立在可追溯、可复现、可批判的逻辑链之上。 未完待续的数学叙事 无论最终结果如何，这一事件已清晰表明：AI正成为数学家手中一种新型‘思维延伸工具’。它不取代定义、定理与证明，却可能帮我们更快抵达那些曾因计算复杂度而遥不可及的反例或结构。 而雅可比猜想本身，仍将保有它的名字，直到正式论文发表、评审通过、学界共识形成——那一刻，不是终点，而是新一章的开始。