Claude Fable 5是否参与发现了雅可比猜想的三维反例？二维情形仍未解决

据目前报道，数学家Levent Alpöge在Claude Fable 5的协助下，公布了一个从到的多项式映射。该映射具有恒定的非零雅可比行列式，同时把3个不同的点映射到同…

作者Open Market Notes类型文章发布时间2026-07-21

核心事实

雅可比猜想研究多项式映射

F:\mathbb{C}^n\to\mathbb{C}^n。

猜想认为，如果它的雅可比行列式处处都是相同的非零常数，那么该映射应当具有多项式逆映射。这一问题通常追溯到1939年提出的相关命题，是代数几何领域长期未解的著名猜想。

据目前报道，Levent Alpöge公布了如下三变量多项式映射：

F(x,y,z)= \Bigl( (1+xy)^3z+y^2(1+xy)(4+3xy),

y+3x(1+xy)^2z+3xy^2(4+3xy),

2x-3x^2y-x^3z \Bigr)。

相关资料给出的两个关键计算如下：

\det(JF)=-2，

以及

F(0,0,-\tfrac14)=F(1,-\tfrac32,\tfrac{13}{2})=F(-1,\tfrac32,\tfrac{13}{2})=(-\tfrac14,0,0)。

这意味着：

如果上述公式和计算经独立核验无误，那么该映射就构成了雅可比猜想在三维情形下的反例。

“证明”通常意味着证明某个数学命题成立，而这里报道的是一个可能否定猜想的反例。因此，更准确的表述应当是：

Claude Fable 5参与了雅可比猜想三维版本的一个明确反例的发现或探索过程；这一结果仍有待正式的数学程序确认。

现有资料并未公开完整提示词、探索记录或模型运行次数，也没有清楚区分模型、研究者和外部计算工具各自的贡献。因此，目前可以确认的只是：研究者公布了这个反例公式，并将其发现归功于Claude Fable 5的协助；不能断言模型独立完成了全部数学发现。

据报道，由这个三维反例可以进一步构造更高维度的反例。因此，如果这一结果成立，那么被否定的是

n\geq 3

的雅可比猜想版本。

但二维情形

F:\mathbb{C}^2\to\mathbb{C}^2

仍然未解。也就是说，哪怕存在三维反例，也不意味着整个雅可比猜想已经完全解决，二维雅可比猜想仍是一个未解问题。

雅可比猜想本身表述相对简洁，但长期以来都非常难以解决。如果这次报道的结果得到确认，它的突出之处在于：

不过，“公式可以重新计算”与“结果已经被数学界正式接受”并不是一回事。现阶段报道也明确指出，该结果尚未完成正式同行评审，独立数学家对其完备性、推广方式和结构性解释仍需进一步验证。

这一事件的意义不仅在于猜想本身，也在于AI如何参与数学发现。据现有资料，Claude Fable 5可能参与了候选结构生成、代数变形、搜索或计算验证，但具体过程尚未公开。

这也说明，AI生成可验证的候选反例，与构建一套独立完整理论并不是同一件事。一旦反例被找到，通常可以通过代入和符号计算进行验证；但要解释其结构、证明其可推广到更高维度，并判断其对相关猜想的长期影响，仍然需要数学家的独立分析。

建议优先核验以下资料：

核验时应重点确认：雅可比行列式是否恒等于 $-2$ ，三个点的代入结果是否完全一致，三维反例如何进一步推广到更高维度，以及是否已经出现正式论文和独立同行评审。

截至目前，最合理的判断是，相关资料描述了一个据称满足恒定非零雅可比行列式、但并非单射的三变量多项式映射。如果这些公式和计算最终得到正式确认，那么它将否定三维及以上版本的雅可比猜想；但二维情形仍然未解。

因此，标题不应写成“Fable 5证明了雅可比猜想”。更准确地说，据报道，Claude Fable 5参与了一个可验证的雅可比猜想三维反例的发现，但该结果仍待正式确认。

内容仅供参考，不构成投资、法律、税务或财务建议。