知乎热榜第1名：雅可比猜想出现三维反例，AI「自主证伪」仍未被证实
公开公式、精确计算与Lean文件支持一个三维反例，但AI的完整发现过程、正式论文与同行评议仍未补齐。
先给结论
2026 年 7 月 21 日 00:00 的知乎热榜里，第 1 名是「如何评价代数几何著名猜想『雅可比猜想』被 AI 证伪？」热榜显示 2123 万热度、157 个回答、1211 个关注。1
这条热搜的核心事实可以分成两层：公开材料给出了一个从复三维空间到自身的多项式映射，它的雅可比行列式恒等于 -2，却把三个不同点映到同一个点；这个反例足以击穿「任意维数」版本的雅可比猜想。另一方面，原始帖子、模型的完整工作记录、正式论文和同行评议都还不完整，所以「AI 已经自主解决了数学难题」不是当前证据能支持的结论。
原帖给出的反例，为什么够锋利
雅可比猜想讨论的是这样一个问题：如果多项式映射的雅可比行列式是非零常数，它是否必然有多项式逆映射。行列式不为零，保证的是每一点附近都有局部逆；猜想把这件事进一步推到了全局，要求整个映射也是一一对应的。普渡大学的数学资料页把二维版本和这条历史脉络讲得很清楚，该问题自 1939 年以来一直没有被解决。2
7 月 20 日 10:19（按东八区换算），Anthropic 数学研究员 Levent Alpöge 在 X 上写道，雅可比猜想是错的，并感谢朋友 Akhil 提问、朋友 Fable 在世界杯决赛期间持续工作。帖子同时公开了映射：
F(x,y,z) = (
(1+xy)^3 z + y^2(1+xy)(4+3xy),
y + 3x(1+xy)^2 z + 3xy^2(4+3xy),
2x - 3x^2y - x^3z
)原帖给出两项可以直接验算的事实：
det DF = -2，而且对所有输入都成立，是非零常数；(0,0,-1/4)、(1,-3/2,13/2)、(-1,3/2,13/2)三个不同点，都被映到(-1/4,0,0)。
第二项意味着这个映射不是单射，因而不可能有逆映射。把两项放在一起，反例就完成了：它在每个点附近都满足局部可逆所需的条件，却在全局把不同输入压到了同一个输出。3
Loading content card…
已核验的是反例证书，不是完整发现史
这次事件的可信度并不只来自一条社交媒体帖子。公开的 Lean 文件
Counterexample.lean 把行列式恒等式、三个点的取值，以及复数域上的非注入结论分别写成定理；文件页面显示仓库在 7 月 20 日有对应提交。它支持的范围很明确：这组公开公式可以被形式化系统逐项检查。4MathOverflow 上的讨论也采取了同样的分层。提问者复核了恒定雅可比行列式和点碰撞，但继续追问函数域的三次模型是否完整、相关结构是否已有文献，以及引用的 Galois 情形定理究竟出自哪里。换句话说，大家没有把「两项代数事实可复核」误写成「整篇数学论证和原创性记录已经完成」。5
这一区分很重要。一个显式反例的核心等式可以在很短时间内得到精确核验，但以下问题仍需要正式学术记录来回答：谁先构造了它，模型在其中提出了哪些候选，人工做了多少筛选和修改，相关结构是否与既有结果重合，以及完整论证能否经受同行逐行检查。
目前可打开的媒体报道也把它写成「候选反例」或「尚待同行评审的结果」，而不是已经完成学界认定的定理。OfficeChai 的报道确认了公式、
-2 行列式和三点碰撞，同时明确写出目前没有正式论文或预印本。6到底推翻了哪个版本
这组映射有三个变量，所以它首先击中的是三维版本。雅可比猜想通常以任意维数的形式讨论；三维出现反例后，任意维数的总命题不能再成立。把三维反例补上保持不变的坐标，还可以得到更高维的反例。
二维版本不能这样顺手推出失败。把一个三变量映射删掉一维，通常会破坏恒定行列式条件，或者消除那三个点的碰撞。普渡大学资料页讨论的二维问题仍然是开放问题，MathOverflow 的提问也把新反例明确放在三变量情形。25
所以更准确的标题应当是「公开的三维反例击穿了雅可比猜想的一般维数版本」，而不是「雅可比猜想所有版本都被 AI 解决」。
AI 参与了什么，尚不能说什么
原帖只写了
fable，没有写出完整模型名，也没有提供提示词、搜索轨迹、失败样本或人工干预记录。OfficeChai 将它识别为 Claude Fable 5，并把事件描述为数学家使用模型寻找特定猜想的反例；Anthropic 的官方页面则只能确认 Claude Fable 5 是 2026 年 6 月 9 日发布的 Mythos-class 模型，页面没有把雅可比猜想列为官方案例。67因此，当前能稳妥写下的是：AI 被原始发布者描述为寻找候选的参与者，数学家和后续工具负责公开、核查与形式化。不能写成「模型独自发现并证明了猜想」，因为发现过程没有公开到能审计的程度，且这次产出本身是反例，不是对某个命题的长篇证明。
这件事对 AI for Science 的实际启发，反而在这里：模型输出如果能被压缩成一个很短的、可独立验收的对象，验证可以交给符号计算和形式系统；但模型如何从大量候选中走到这个对象，仍然像一个黑箱。以后真正有说服力的案例，不应只展示最后一行公式，还要公开候选生成、失败原因、人工修改和形式化验收之间的链条。
YouTube 上已有同日的机制讲解视频，视频描述把重点放在恒定行列式、三点碰撞和「验证容易、推导过程难以审计」这组对照上。它适合作为可视化入口，但不能替代原帖和 Lean 文件。8
Loading content card…
知乎高赞回答：前三排序本轮无法核验
知乎问题页和答案页在公开访问时返回安全验证，没有给出作者、赞同数和完整正文。因此，下面不能冒充「按点赞数排序的最高三条」。搜索引擎只留下了三个可打开的答案入口和短片段，最多说明公开讨论出现了哪些方向：
- 一条片段从雅可比行列式的反方向定义和局部可逆性讲起，指出这次三维反例的行列式恒为
-2，但三个不同点仍然撞到同一点。9 - 另一条片段提到，回答者尝试枚举三维、七次多项式来寻找反例，反映出社区讨论正在从新闻转向构造方法。10
- 第三个片段讨论 Levent Alpöge 与 Akhil Mathew 的数学背景，重点在于事件参与者并非无数学训练的匿名账号。这个片段不能证明发现过程，也不能证明答案排序。11
这三条只代表公开索引能看到的片段，不等同实时高赞前三。当前更可靠的做法，是把知乎回答当作讨论温度和解释方向的补充，把反例是否成立交给原始公式、精确计算和形式化文件。
后续看三件具体的事
第一，看是否出现包含完整构造过程的正式论文或预印本。它需要说明模型到底提出了什么，人工如何筛选，反例是否独立于既有文献，并把 MathOverflow 已经提出的结构问题回答清楚。
第二，看数学界是否只确认点碰撞，还是会对函数域结构、相关等价猜想和原创性给出更完整的判断。Lean 文件已经把核心等式形式化，但形式化核心等式不等于完成所有学术史和理论解释。
第三，看类似工作是否形成可复用流程。单个成功案例不能证明 Fable 5 或任何模型已经普遍具备高阶数学发现能力；如果未来出现更多同样短小、可形式化、且能独立复现的反例或构造，判断才会从个案走向能力评估。
一句话判断
这不是「AI 把所有雅可比猜想都解决了」，而是一组三维多项式公式把一般维数命题推到了反例一侧。公开代数证书已经很有分量，AI 的发现归属和完整学术结论仍需继续核验。
来源与延伸阅读
References
- 1知乎问题页：如何评价雅可比猜想被AI证伪？
zhihu.com
- 2普渡大学：Jacobian Conjecture
math.purdue.edu
- 3
- 4
- 5MathOverflow：Galois structure of the new counterexample
mathoverflow.net
- 6
- 7Anthropic：Claude Fable 5 and Claude Mythos 5
anthropic.com
- 8
- 9知乎答案页：公开索引片段一
zhihu.com
- 10知乎答案页：公开索引片段二
zhihu.com
- 11知乎答案页：公开索引片段三
zhihu.com
This story was produced automatically by a channel. One sentence is all it takes for Neodrop to keep producing for you.