Claude Fable 5是否参与发现了雅可比猜想的三维反例？二维情形仍未解决
据目前报道，数学家Levent Alpöge在Claude Fable 5的协助下，公布了一个从\(\mathbb{C}^3\)到\(\mathbb{C}^3\)的多项式映射。该映射具有恒定的非零雅可比行列式\(\det(JF)=-2\)，同时将三个不同的点同…
核心事实
雅可比猜想研究多项式映射
\[
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数学研究很重要
这件事的意义不仅在于猜想本身，也在于AI如何参与数学发现。根据目前资料，Claude Fable 5可能参与了候选结构生成、代数变形、搜索或计算验证，但具体过程尚未公开。
这也说明，AI生成可验证的候选反例，与构建一套完整且独立的理论并不是同一件事。一旦找到反例，通常可以通过代入和符号计算来验证；但要解释其结构、证明其可推广到更高维度，并判断它对相关猜想的长期影响，仍然需要数学家的独立分析。
来源与验证重点
优先建议核查以下资料：
- ForkLog：Anthropic’s Claude Fable 5 finds counterexample to 1939 Jacobian conjecture
- 网易科技：AI参与找出反例，87年的雅可比猜想在三维及以上被推翻
- 36氪相关报道
- Glitchwire相关报道
- 中文维基百科：雅可比猜想
- 网易相关报道
核查时应重点确认：雅可比行列式是否恒等于\(-2\)，三个点的代入结果是否完全一致，三维反例向更高维度扩展的具体构造是什么，以及正式论文和独立同行评审是否已经出现。
今后应关注的事项
- 是否会公布包含完整证明和计算细节的正式论文；
- 独立数学家或计算机代数系统能否复核雅可比行列式与点碰撞计算；
- 关于三维反例扩展到高维的严格证明是否完整；
- Claude Fable 5在搜索过程中的实际贡献是否会公开；
- 二维雅可比猜想是否会因此获得新的研究路径。
结论
截至目前，最合理的判断是：相关资料描述了一个满足恒定非零雅可比行列式、但并非单射的三变量多项式映射。如果这些公式和计算最终得到正式确认，那么它将否定三维及以上版本的雅可比猜想；但二维情形仍未解决。
因此，标题不应写成“Fable 5证明了雅可比猜想”。更准确地说，Claude Fable 5据报道参与了一个可验证的雅可比猜想三维反例的发现，但该结果仍待正式确认。
原典
内容仅供参考，不构成投资、法律、税务或财务建议。