AI攻克纯数学：2026年两大突破，机器也能发现新定理

这个反例是一个异常简洁的216字符多项式映射，从C³映射到C³，其雅可比行列式恒等于-2，但将三个不同的输入三元组映射到了同一个输出，从而推翻了全局可逆性 。阿尔珀格发布后数小时内，世界各地的数学家便独立验证了这一结果，随后不到24小时，在Lean证明助手中完成了形式化验证 。

包括陶哲轩和蒂莫西·高尔斯在内的著名数学家都对这一结果给予了高度评价 。陶哲轩还发表了对该反例的几何分析，验证结果在数学界得到了广泛确认 。目前，该猜想的二维版本仍未解决 。

这些结果对数学未来的意义

AI能生成真正新颖的证明

这两项突破都涉及深刻的概念飞跃，而不仅仅是计算辅助。推翻单位距离猜想要求AI将代数数论与组合几何联系起来——这是此前没有任何人类数学家建立过的连接 。雅可比猜想的反例则需要构造一个具有特定代数性质的精妙多项式映射 。

人机协作模式日益强大

这些结果表明，AI的未来角色是“创意协作者”，而非替代者。在雅可比反例的案例中，一位技艺精湛的数学家指导了AI，并识别出其输出的重大意义 。在OpenAI的案例中，模型运行得更自主，但仍需人类验证 。这种协作模式让AI能够探索人类无法高效遍历的广阔搜索空间，而人类则提供直觉、判断和验证。

节奏正在急剧加快

OpenAI随后在2026年8月宣布，其同类内部推理模型已在数学和理论计算机科学的10个重大问题上取得进展，涵盖高维几何、编码理论、群论、算子代数、量子复杂性、格密码学和极值组合学等领域 。观察者称，一个由AI驱动的数学“新黄金时代”已经到来 。

重要提醒

雅可比反例仅适用于三维及以上的情况——原猜想的二维版本仍然悬而未决 。部分结果尚未经过传统渠道的全面同行评审，并非所有声明都已完整发表 。但总体方向是明确的：AI已从数学助手跨越到数学发现者，其在研究中的角色很可能将迅速扩展。

更大的图景

这些2026年的突破建立在AI数学能力快速演进的基础之上。2025年7月，AI模型首次在国际数学奥林匹克竞赛中解答了六道题中的五道 。到2026年初，模型已达到IMO金牌水平 。现在，AI正在研究前沿产出成果——解决那些定义了一代人职业生涯的问题。

正如数学家陶哲轩所说，雅可比猜想的结果代表了人机协作的一个里程碑 。模型并非独立工作，但这种伙伴关系产生了一个人类或机器都无法独立实现的成果。这种模式——由AI探索引导人类直觉，再通过形式化证明助手验证——或将定义数学发现的未来。