OpenAI的模型证明这一认知是错误的。它生成了一个无限族的点阵构造，在多项式层面超越了方格——证明了对无限多个n，单位距离点对数量的增长速度超过n^(1+δ)，其中δ是一个大于0的固定常数 。该证明使用了深刻的代数数论工具，包括Golod-Shafarevich理论和无限类域塔理论——此前从未有人将这些工具与此几何问题联系起来 。

验证结果由一组外部数学家完成，其中包括托马斯·布卢姆——正是那位曾公开指出OpenAI早期错误声明的研究员 。一份由人类归纳的配套论文已发表在arXiv上 。普林斯顿大学的数学家威尔·索文很快改进了这一常数，表明指数至少可以达到n^1.014 。菲尔兹奖得主蒂莫西·高尔斯是参与验证的九位外部数学家之一 。

Anthropic的Claude Fable 5为雅可比猜想找到反例（2026年7月）

2026年7月19日，Anthropic的研究员、数学家莱文特·阿尔珀格在X平台上宣布，他使用Anthropic的Claude Fable 5模型为雅可比猜想找到了一个反例。雅可比猜想是一个拥有87年历史的代数几何未解难题，由奥托-海因里希·凯勒在1939年提出 。该猜想在菲尔兹奖得主斯蒂芬·斯梅尔1998年列出的新世纪数学问题清单上排名第16位，其核心内容是：如果一个从C^n到C^n的多项式映射具有恒不为零的常数雅可比行列式，则该映射必定是全局可逆的 。

这个反例是一个异常简洁的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探索引导人类直觉，再通过形式化证明助手验证——或将定义数学发现的未来。

OpenAI的模型证明这一认知是错误的。它生成了一个无限族的点阵构造，在多项式层面超越了方格——证明了对无限多个n，单位距离点对数量的增长速度超过n^(1+δ)，其中δ是一个大于0的固定常数 。该证明使用了深刻的代数数论工具，包括Golod-Shafarevich理论和无限类域塔理论——此前从未有人将这些工具与此几何问题联系起来 。

验证结果由一组外部数学家完成，其中包括托马斯·布卢姆——正是那位曾公开指出OpenAI早期错误声明的研究员 。一份由人类归纳的配套论文已发表在arXiv上 。普林斯顿大学的数学家威尔·索文很快改进了这一常数，表明指数至少可以达到n^1.014 。菲尔兹奖得主蒂莫西·高尔斯是参与验证的九位外部数学家之一 。

Anthropic的Claude Fable 5为雅可比猜想找到反例（2026年7月）

2026年7月19日，Anthropic的研究员、数学家莱文特·阿尔珀格在X平台上宣布，他使用Anthropic的Claude Fable 5模型为雅可比猜想找到了一个反例。雅可比猜想是一个拥有87年历史的代数几何未解难题，由奥托-海因里希·凯勒在1939年提出 。该猜想在菲尔兹奖得主斯蒂芬·斯梅尔1998年列出的新世纪数学问题清单上排名第16位，其核心内容是：如果一个从C^n到C^n的多项式映射具有恒不为零的常数雅可比行列式，则该映射必定是全局可逆的 。

这个反例是一个异常简洁的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探索引导人类直觉，再通过形式化证明助手验证——或将定义数学发现的未来。