用户提问：

---

雅可比猜想三维反例雅可比行列式常数

Jacobian conjecture counterexample 3-dimensional polynomial map

Jacobian conjecture open problem status 2026

雅可比猜想证明进展现状

多项式映射 Jacobian determinant constant non-injective

让我先理解用户的问题。用户发了一张图片，图片内容是一位自称小学生的用户声称构造了一个三维多项式映射F，其雅可比行列式恒为-2，但存在三个不同点映射到同一点，因此F不是单射，从而证伪了雅可比猜想。

这是一个数学问题，需要我：

验证这个构造的多项式映射F的雅可比行列式是否恒为-2
验证这三个点是否真的被映射到同一点
判断这是否真的证伪了雅可比猜想
提供有关雅可比猜想当前状态的背景信息（看来2026年7月确实被AI辅助发现了反例）

从初步搜索结果看：

雅可比猜想确实在2026年7月被证伪（三维及以上）—— Levent Alpöge 在 AI 模型 Fable 5 的辅助下公布反例
二维版本仍然悬而未决
有趣的是，搜索结果显示反例的雅可比行列式恒等于-2（比如搜狐的文章提到"它的雅可比行列式恒等于-2，却将三个不同点映射到同..."）

等等，这里非常关键！搜索结果提到"这个反例不仅优雅且令人震惊，它的雅可比行列式恒等于-2，却将三个不同点映射到同..."——这与图片中的描述高度相似！图片中的映射雅可比行列式恒等于-2，三个不同点被映射到同一点。

但需要注意的是，图片中的映射是否与Alpöge/Fable 5发现的反例一致？我需要核实：

图片中的映射 F(x,y,z) = ((1+xy)^3z + y^2(1+xy)(4+3xy), y + 3x(1+xy)^2z + 3xy^2(4+3xy), 2x - 3x^2y - x^3z)
Alpöge 的实际反例是什么

让我先做数学验证。我需要计算F的雅可比行列式，并验证三个点的映射。

由于我没有直接的符号计算工具（只有calculator，是math.js），我可以尝试用math.js做一些数值验证：

数值计算几个点处的雅可比行列式，看是否为-2
计算三个点的像，看是否相同

math.js支持矩阵和导数吗？math.js有numeric derivative，也有符号计算能力有限。让我试试。

实际上，我可以手动推导雅可比矩阵。让我先手动计算。

F1 = (1+xy)^3 * z + y^2(1+xy)(4+3xy) F2 = y + 3x(1+xy)^2 * z + 3xy^2(4+3xy) F3 = 2x - 3x^2y - x^3z

等等，让我先检查三个点的映射：

点1: (0, 0, -1/4) F1 = (1+0)^3 * (-1/4) + 0 * ... = -1/4 F2 = 0 + 0 + 0 = 0 F3 = 0 - 0 - 0 = 0 所以 F(0,0,-1/4) = (-1/4, 0, 0)

点2: (1, -3/2, 13/2) xy = 1 * (-3/2) = -3/2 1+xy = 1 - 3/2 = -1/2 (1+xy)^3 = -1/8 F1 = (-1/8) * (13/2) + y^2 * (1+xy) * (4+3xy) = -13/16 + (9/4) * (-1/2) * (4 + 3*(-3/2)) = -13/16 + (9/4)(-1/2)(4 - 9/2) = -13/16 + (9/4)(-1/2)(-1/2) = -13/16 + (9/4)*(1/4) = -13/16 + 9/16 = -4/16 = -1/4 ✓

F2 = y + 3x(1+xy)^2 * z + 3xy^2(4+3xy) = -3/2 + 31(1/4)(13/2) + 31*(9/4)(-1/2) = -3/2 + (3/4)(13/2) + (27/4)*(-1/2) = -3/2 + 39/8 - 27/8 = -12/8 + 39/8 - 27/8 = 0/8 = 0 ✓

F3 = 2x - 3x^2y - x^3z = 2 - 31(-3/2) - 1*(13/2) = 2 + 9/2 - 13/2 = 2 - 4/2 = 2 - 2 = 0 ✓

所以 F(1, -3/2, 13/2) = (-1/4, 0, 0) ✓

点3: (-1, 3/2, 13/2) xy = -3/2 1+xy = -1/2 (1+xy)^3 = -1/8 F1 = (-1/8)(13/2) + y^2(1+xy)(4+3xy) = -13/16 + (9/4)(-1/2)(4 + 3(-3/2)) = -13/16 + (9/4)(-1/2)(-1/2) = -13/16 + 9/16 = -1/4 ✓

F2 = y + 3x(1+xy)^2z + 3xy^2(4+3xy) = 3/2 + 3(-1)(1/4)(13/2) + 3*(-1)(9/4)(-1/2) = 3/2 - 39/8 + 27/8 = 12/8 - 39/8 + 27/8 = 0 ✓

F3 = 2x - 3x^2y - x^3z = -2 - 31(3/2) - (-1)^3*(13/2) = -2 - 9/2 + 13/2 = -2 + 4/2 = -2 + 2 = 0 ✓

所以 F(-1, 3/2, 13/2) = (-1/4, 0, 0) ✓

很好，三个点的映射验证通过：三个不同的点都映射到 (-1/4, 0, 0)。

现在验证雅可比行列式是否恒为-2。让我计算雅可比矩阵。

F1 = (1+xy)^3 z + y^2(1+xy)(4+3xy) F2 = y + 3x(1+xy)^2 z + 3xy^2(4+3xy) F3 = 2x - 3x^2y - x^3z

注意到： F1 = (1+xy)^3 z + y^2(1+xy)(4+3xy) F2 = y + 3x(1+xy)^2 z + 3xy^2(4+3xy) F3 = 2x - x^2(3y + xz)

等等，让我看看这是否是一个已知的构造。这看起来像是与"Vénéreau"或"Wright"相关的形式？

实际上，这个映射看起来很像三维反例的某种形式。让我回忆一下 Alpöge 的反例：搜索结果提到"它的雅可比行列式恒等于-2，却将三个不同点映射到同一..."——这与图片高度吻合。

让我计算验证一下。

设 u = xy, v = 1 + xy。

F1 关于 x 的偏导数： F1 = (1+xy)^3 z + y^2(1+xy)(4+3xy)

∂F1/∂x = 3y(1+xy)^2 z + y^2 * ∂/∂x[(1+xy)(4+3xy)] ∂/∂x[(1+xy)(4+3xy)] = y(4+3xy) + (1+xy)(3y) = 4y + 3xy^2 + 3y + 3xy^2 = 7y + 6xy^2 所以 ∂F1/∂x = 3y(1+xy)^2 z + y^2(7y + 6xy^2) = 3y(1+xy)^2 z + 7y^3 + 6xy^4

∂F1/∂y = 3x(1+xy)^2 z + ∂/∂y[y^2(1+xy)(4+3xy)] ∂/∂y[y^2(1+xy)(4+3xy)] = 2y(1+xy)(4+3xy) + y^2 * x(4+3xy) + y^2(1+xy)*3x = 2y(1+xy)(4+3xy) + xy^2(4+3xy) + 3xy^2(1+xy)

这个计算比较复杂。让我用更系统的方法。也许用 math.js 来数值验证更简单。

其实，我可以用数值方式验证雅可比行列式在若干随机点为-2。让我用 calculator 工具来计算。

不过 calculator 用的是 math.js 表达式，我可以定义函数并计算数值偏导数。让我试试用有限差分或解析表达式。

更好的方法：用 math.js 的符号微分？math.js 有 derivative 函数，支持符号微分。

math.derivative('(1+xy)^3z + y^2*(1+xy)(4+3xy)', 'x')

这将返回符号导数。然后求值。

让我构造这个计算。math.js 的 derivative 用法： math.derivative(expr, variable).evaluate(scope)

我可以尝试：

derivative('(1+x*y)^3*z + y^2*(1+x*y)*(4+3*x*y)', 'x')

得到 ∂F1/∂x 的符号表达式。

然后对每个偏导数求值。

但 calculator 工具的接口是 "输入的math.js算式"，可能只支持单次计算。我可以尝试较复杂的表达式。

另一种方法：用数值有限差分。在点 (x,y,z) = (2, 3, 5) 处（随机点），计算雅可比行列式。

不过手工计算偏导数更保险。让我继续手工推导。

其实，这个映射看起来是一个已知的构造。让我想想……

这个形式让我想起：F = ((1+xy)^3 z + ..., y + ..., 2x - ...)，这似乎是某种"反例"构造。

实际上，我现在记忆中有一种构造法：从二维的 Vénéreau 多项式或类似的构造推广。

让我先看图片中的映射是否与 Alpöge 公布的反例一致。Alpöge 的反例（据了解）是：搜索搜狐文章："三维复空间中成功构造出反例...它的雅可比行列式恒等于-2，却将三个不同点映射到同一点"

嗯，恒等于-2，三个不同点映射到同一点。这与图片完全一致。但 Alpöge 的实际多项式是什么？我知道的一个报道是 216 字符的多项式。让我看看知乎/CSDN文章中的具体公式。

关键问题：图片中的映射是否与 Alpöge 公布的反例相同？如果是同样的映射，那么结论是"这不是小学生的原创发现，而是已知反例（或至少与已知反例类似）"。如果不同，则需要仔细验证。

无论哪种情况，我需要：

验证图片中映射的数学正确性（雅可比行列式 = -2？三点映射到同一点？）
说明雅可比猜想的现状（2026年7月已被证伪——三维及以上）
如果图片中的映射就是已知反例，说明这一点

让我先深入阅读一些页面来获取 Alpöge 反例的具体形式。

首先，Terry Tao 的博客文章是一个很好的来源。还有 sbseminar 的文章、知乎文章、搜狐文章等。

让我并行阅读几个关键页面：

Terry Tao: https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/
sbseminar: https://sbseminar.wordpress.com/2026/07/20/the-new-counterexample-to-the-jacobian-conjecture/
知乎文章：https://zhuanlan.zhihu.com/p/2062667629505012538 (可能无法访问)
搜狐：https://m.sohu.com/a/1052872803_122354589
Wikipedia 雅可比猜想页面

同时也应该验证图片中的映射本身。让我用 calculator 工具做数值验证。

先用有限的符号推导验证雅可比行列式。

F1 = (1+xy)^3 z + y^2(1+xy)(4+3xy) F2 = y + 3x(1+xy)^2 z + 3xy^2(4+3xy) F3 = 2x - 3x^2 y - x^3 z

观察 F3 = 2x - x^2(3y + xz)。嗯，F3 = 2x - 3x^2y - x^3z = x(2 - 3xy - x^2z)。

看起来有点不对称。让我猜测这可能来自某个已知构造。

有一个经典的反例形式与"Pinchuk 映射"有关，但 Pinchuk 映射不是雅可比猜想的反例（它是非单射的，但雅可比行列式不是常数）。

实际上，Pinchuk (1994) 构造了一个实多项式映射 R^2 → R^2，其雅可比行列式处处非零（非常数），不是单射。这说明了实情况的复杂性，但雅可比猜想是关于复多项式的，且要求常数行列式。

现在，关于2026年7月的反例，从搜索sbseminar："The map has 54 cubic monomials, det(DG) = 1 identically, and an explicit rational collision."

嗯，这与图片中的描述不同：sbseminar 说映射有54个三次单项式，det = 1。而图片中的映射显然是更简单的形式，det = -2。

搜索说 det = -2，三个不同点映射到同一点。这可能与 sbseminar 描述的是不同的（后续改进的）版本，或者是不同的反例。

让我阅读更多内容来弄清楚。

实际上，我需要小心：可能2026年7月发生了多件事：

Alpöge 在7月19-20日公布了一个反例（216字符？54个单项式，det=1？）
之后可能有其他人简化了反例
图片中的简单映射可能是后续简化版本，或者可能是另一个来源

另外，搜索提到 "An elementary way to find a counterexample" (alphaxiv 2609.17795)，这可能是一个更简单的构造。

还有一个可能：图片中的映射是"错误"的，即小学生的构造其实是错的，而真正的反例是另一个。如果我验证发现图片中的映射确实满足条件（det=-2 且非单射），那么它就有效。

让我首先自己验证这个映射。我将使用 calculator 工具进行符号/数值计算。

策略：

用 math.js 的符号微分功能计算雅可比行列式在特定点的值（也许是符号形式）。
或者手动推导。

让我手动推导。定义：

a = 1 + xy
b = 4 + 3xy

F1 = a^3 z + y^2 a b F2 = y + 3x a^2 z + 3x y^2 b F3 = 2x - 3x^2 y - x^3 z

注意 F2 = y + 3x(a^2 z + y^2 b)，而 F1 = a^3 z + y^2 a b = a(a^2 z + y^2 b)。

所以设 c = a^2 z + y^2 b。则 F1 = a c, F2 = y + 3x c, F3 = 2x - 3x^2 y - x^3 z。

另外 F3 呢？F3 = 2x - x^2(3y + xz)。

似乎没有一个简单的关系。让我继续。

计算雅可比矩阵：

∂a/∂x = y, ∂a/∂y = x, ∂a/∂z = 0 ∂b/∂x = 3y, ∂b/∂y = 3x, ∂b/∂z = 0 ∂c/∂x = 2ayz + y^23y = 2ayz + 3y^3 ∂c/∂y = 2axz + 2yb + y^23x = 2axz + 2yb + 3xy^2 ∂c/∂z = a^2

验证：c = a^2 z + y^2 b = (1+xy)^2 z + y^2(4+3xy) ∂c/∂x = 2(1+xy) * y * z + y^2 * 3y = 2yz(1+xy) + 3y^3 ✓ ∂c/∂y = 2(1+xy) * x * z + 2y(4+3xy) + y^2 * 3x = 2xz(1+xy) + 8y + 6xy^2 + 3xy^2 = 2xz(1+xy) + 8y + 9xy^2 ✓ ∂c/∂z = (1+xy)^2 ✓

F1 = a c: ∂F1/∂x = (∂a/∂x) c + a (∂c/∂x) = y c + a(2yz(1+xy) + 3y^3) ∂F1/∂y = x c + a(2xz(1+xy) + 8y + 9xy^2) ∂F1/∂z = a * a^2 = a^3

F2 = y + 3x c: ∂F2/∂x = 3c + 3x(∂c/∂x) = 3c + 3x(2yz(1+xy) + 3y^3) ∂F2/∂y = 1 + 3x(∂c/∂y) = 1 + 3x(2xz(1+xy) + 8y + 9xy^2) ∂F2/∂z = 3x a^2

F3 = 2x - 3x^2 y - x^3 z: ∂F3/∂x = 2 - 6xy - 3x^2 z ∂F3/∂y = -3x^2 ∂F3/∂z = -x^3

现在计算行列式： J = | y c + a(2yz a + 3y^3) ... |

等等，这太复杂了。让我简化表示。

设 A = 1 + xy（即 a）。 c = A^2 z + y^2(4+3xy)

∂F1/∂x = y c + A(2A y z + 3y^3) = y c + 2A^2 y z + 3A y^3 ∂F1/∂y = x c + A(2A x z + 8y + 9xy^2) = x c + 2A^2 x z + 8A y + 9A x y^2 ∂F1/∂z = A^3

∂F2/∂x = 3c + 6A y z + 9 y^3 = 3c + 3(2Ay z + 3y^3) ∂F2/∂y = 1 + 3x(2A x z + 8y + 9xy^2) = 1 + 6A x^2 z + 24 x y + 27 x^2 y^2 ∂F2/∂z = 3x A^2

∂F3/∂x = 2 - 6xy - 3x^2 z ∂F3/∂y = -3x^2 ∂F3/∂z = -x^3

这是相当复杂的。让我尝试用计算器工具做符号计算。

其实，用 math.js 可以做符号求导和行列式吗？math.js 有 derivative 和 matrix 功能。我可以尝试：

预计算在特定点，比如 (x,y,z) = (0,0,0)： A = 1 c = 0^2 * 0 + 0 = 0... 等等 c = A^2 z + y^2(4+3xy) = 1*0 + 0 = 0

∂F1/∂x = 00 + 2100 + 0 = 0... ∂F1/∂y = 0 + 0 + 0 + 0 = 0? 嗯 x=0: ∂F1/∂y = 0*0 + 0 + 0 + 0 = 0 ∂F1/∂z = 1

∂F2/∂x = 0 + 0 + 0 = 0 ∂F2/∂y = 1 + 0 + 0 + 0 = 1 ∂F2/∂z = 0

∂F3/∂x = 2 ∂F3/∂y = 0 ∂F3/∂z = 0

J at (0,0,0) = | 0 0 1; 0 1 0; 2 0 0 | = 1 * (00 - 12)*(-1)^(1+3)...

按第一行展开：0 * M11 - 0 * M12 + 1 * det([[0,1],[2,0]]) = 1 * (00 - 12) = -2 ✓

在 (0,0,0) 处行列式 = -2。✓（与恒为-2一致）

再试一个点 (1,1,1)： A = 2, c = 41 + 1(4+3) = 4 + 7 = 11

∂F1/∂x = 111 + 2211 + 321 = 11 + 4 + 6 = 21 ∂F1/∂y = 111 + 2411 + 161 + 181*1 = 11 + 8 + 16 + 18 = 53 ∂F1/∂z = 8

∂F2/∂x = 33 + 3*(2211 + 3) = 33 + 3(4+3) = 33 + 21 = 54 ∂F2/∂y = 1 + 6211 + 24 + 27 = 1 + 12 + 24 + 27 = 64 ∂F2/∂z = 31*4 = 12

∂F3/∂x = 2 - 6 - 3 = -7 ∂F3/∂y = -3 ∂F3/∂z = -1

J = | 21 53 8; 54 64 12; -7 -3 -1 |

det = 21 * (64*(-1) - 12*(-3)) - 53 * (54*(-1) - 12*(-7)) + 8 * (54*(-3) - 64*(-7))

计算： 21 * (-64 + 36) = 21 * (-28) = -588 -53 * (-54 + 84) = -53 * 30 = -1590 8 * (-162 + 448) = 8 * 286 = 2288

总和 = -588 - 1590 + 2288 = 110

嗯，不是 -2。可能是我的计算有误。让我重新仔细计算。

让我重新来。用更系统的方法可能更好，但先检查一下我的偏导数推导。

F1 = (1+xy)^3 z + y^2(1+xy)(4+3xy)

∂F1/∂x：

∂/∂x[(1+xy)^3 z] = 3(1+xy)^2 * y * z
∂/∂x[y^2(1+xy)(4+3xy)] = y^2 * [y(4+3xy) + (1+xy)(3y)] = y^2 * y * [(4+3xy) + 3(1+xy)] = y^3 * [4+3xy + 3+3xy] = y^3(7 + 6xy)

所以 ∂F1/∂x = 3yz(1+xy)^2 + y^3(7+6xy)

用 A = 1+xy： ∂F1/∂x = 3y z A^2 + 7y^3 + 6xy^4

在 (1,1,1)：A=2。3114 = 12; 71 + 6 = 13。总共 12 + 13 = 25。

嗯，之前我用 y c + 2A^2 y z + 3A y^3 的公式。让我检查：c = A^2 z + y^2(4+3xy) = A^2 z + 4y^2 + 3xy^3。 y c = y A^2 z + 4y^3 + 3xy^4。加上 2A^2 y z + 3A y^3 = 2A^2 y z + 3y^3 + 3xy^4。总和 = 3A^2 y z + 7y^3 + 6xy^4。

验证：3411 + 71 + 6*1 = 12 + 7 + 6 = 25。

等等，之前我算 c 的时候出错了：c = A^2 z + y^2 b，b = 4+3xy。在 (1,1,1)：c = 41 + 17 = 11。这是对的。

∂F1/∂x = 3y z A^2 + y^3(7+6xy)：12 + 13 = 25。但之前我算的是 21。错误在于"321"那个公式写得不对。

重新检查我的表达式： ∂F1/∂x = y c + a(2yz a + 3y^3)，其中 a = A。 y c = y(A^2 z + 4y^2 + 3xy^3) = y A^2 z + 4y^3 + 3xy^4 a(2yz a + 3y^3) = A * 2yz * A + 3A y^3 = 2A^2 y z + 3A y^3

A y^3 = (1+xy) y^3 = y^3 + x y^4。所以 3A y^3 = 3y^3 + 3xy^4。

总和 = y A^2 z + 4y^3 + 3xy^4 + 2A^2 yz + 3y^3 + 3xy^4 = 3A^2 yz + 7y^3 + 6xy^4 ✓

在 (1,1,1)：341*1 + 7 + 6 = 12 + 13 = 25。

我之前的错误：我应该用 c 的完整定义。c = A^2 z + y^2(4+3xy)。所以 y c = yA^2 z + 4y^3 + 3xy^4 ✓ 这是对的。然后 a * ∂c/∂x：∂c/∂x = 2A y z + 3y^3。 a * (2Ayz + 3y^3) = 2A^2 yz + 3A y^3 ✓

总的 ∂F1/∂x = yA^2z + 4y^3 + 3xy^4 + 2A^2yz + 3y^3 + 3xy^4 = 3A^2yz + 7y^3 + 6xy^4 ✓

在 (1,1,1) 处：3*4 + 7 + 6 = 25。

嗯，之前我为什么得到21？因为我犯了算术错误：我写成"y c + a(2yz a + 3y^3)"，然后算成 "111 + 2(4) + 321"...

让我看看：a(2yz a + 3y^3) = 2*(2112 + 3) = 2(4+3) = 14？不对。

2yz a = 2112 = 4。3y^3 = 3。加起来是7。a * 7 = 27 = 14。然后 y c = 11。总共 25。之前我算成 21 是错误地把"2yz a"写为"2z a"或者什么的。好的，现在 ∂F1/∂x = 25 at (1,1,1)。

∂F1/∂y： ∂/∂y[(1+xy)^3 z] = 3(1+xy)^2 x z ∂/∂y[y^2(1+xy)(4+3xy)]：设 g = y^2, h = (1+xy)(4+3xy) = 4 + 3xy + 4xy + 3x^2y^2 = 4 + 7xy + 3x^2y^2 ∂h/∂y = 7x + 6x^2 y ∂/∂y[y^2 h] = 2y h + y^2(7x + 6x^2y) = 2y(4 + 7xy + 3x^2y^2) + 7xy^2 + 6x^2y^3 = 8y + 14xy^2 + 6x^2y^3 + 7xy^2 + 6x^2y^3 = 8y + 21xy^2 + 12x^2y^3

∂F1/∂y = 3x z A^2 + 8y + 21xy^2 + 12x^2y^3

在 (1,1,1)：3*4 = 12; 8 + 21 + 12 = 41。总共 12 + 41 = 53 ✓（与我之前一致）

∂F1/∂z = A^3 = 8 ✓

∂F2/∂x： F2 = y + 3x A^2 z + 3xy^2(4+3xy) ∂/∂x[3x A^2 z] = 3A^2 z + 3x * 2A * y * z = 3A^2 z + 6xy A z ∂/∂x[3xy^2(4+3xy)] = 3y^2(4+3xy) + 3xy^2 * 3y = 12y^2 + 9xy^3 + 9xy^3 = 12y^2 + 18xy^3

∂F2/∂x = 3A^2 z + 6xyAz + 12y^2 + 18xy^3

在 (1,1,1)：34 + 62 + 12 + 18 = 12 + 12 + 12 + 18 = 54 ✓

∂F2/∂y： ∂/∂y[3x A^2 z] = 3x * 2A * x z = 6x^2 A z ∂/∂y[3xy^2(4+3xy)] = 3x * [2y(4+3xy) + y^2 * 3x] = 3x[8y + 6xy^2 + 3xy^2] = 24xy + 27x^2y^2

∂F2/∂y = 1 + 6x^2Az + 24xy + 27x^2y^2

在 (1,1,1)：1 + 12 + 24 + 27 = 64 ✓

∂F2/∂z = 3xA^2 = 12 ✓

∂F3/∂x = 2 - 6xy - 3x^2z = 2 - 6 - 3 = -7 ✓ ∂F3/∂y = -3x^2 = -3 ✓ ∂F3/∂z = -x^3 = -1 ✓

行列式： | 25 53 8 | | 54 64 12 | | -7 -3 -1 |

det = 25 * det[[64,12],[-3,-1]] - 53 * det[[54,12],[-7,-1]] + 8 * det[[54,64],[-7,-3]]

det[[64,12],[-3,-1]] = 64*(-1) - 12*(-3) = -64 + 36 = -28 det[[54,12],[-7,-1]] = 54*(-1) - 12*(-7) = -54 + 84 = 30 det[[54,64],[-7,-3]] = 54*(-3) - 64*(-7) = -162 + 448 = 286

det = 25*(-28) - 53*(30) + 8*(286) = -700 - 1590 + 2288 = -2 ✓

很好！在 (1,1,1) 处行列式为 -2。之前我的算术错误导致了 110。

所以初步验证：

(0,0,0) 处 det = -2 ✓
(1,1,1) 处 det = -2 ✓

这支持了雅可比行列式恒等于 -2 的说法（虽然在两个点上验证不足以证明恒等，但结合"三个点映射到同一点"的事实，以及网上反例的报道，这个映射很可能就是或者衍生于已知反例）。

不过，等等——我必须谨慎。用户图片中的映射是一个断言，声称：

det J = -2 恒成立
三个点映射到同一个点

如果这两点都正确，那么这确实是一个反例（一个多项式映射 C^3 → C^3，雅可比行列式非零常数但非单射，因此不是自同构）。这与2026年7月的重大数学新闻一致——雅可比猜想在三维及以上被证伪。

但问题是：这个映射是不是就是 Alpöge 公布的反例？还是学生自己搞出来的？还是这实际上是错的？

我需要查看 Alpöge 反例的具体公式来对比。让我阅读相关文章。

另外还需要注意：图片中的映射有 216 字符吗？让我数一下：

F(x,y,z) = ((1+xy)^3 * z + y^2 (1+xy)(4+3xy), y + 3x (1+xy)^2 * z + 3x y^2 (4+3xy), 2x - 3x^2 y - x^3 z)

用纯文本表示： "(1+xy)^3z + y^2(1+xy)(4+3xy), y + 3x(1+xy)^2z + 3xy^2(4+3xy), 2x - 3x^2y - x^3z"

数一下字符数：大约 90-100 个字符。不是 216。

嗯。让我回忆一下。The Next Web 报道说"216-character counterexample"。知乎文章说"只有三行公式"。搜狐说"它的雅可比行列式恒等于-2"。

让我看看知乎/搜狐/CSDN的文章中是否给出了确切公式，以便比较。

另外，有一种可能性：图片中的映射是 Alpöge 反例的一个"变体"或"简化版"或"在某个坐标系下的形式"。也可能图片中的映射有隐藏的错误（比如其实雅可比行列式不恒为-2）。

让我先继续阅读网页，然后再用工具做更详细的计算验证。

我计划阅读：

Terry Tao 博客：https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/
sbseminar：https://sbseminar.wordpress.com/2026/07/20/the-new-counterexample-to-the-jacobian-conjecture/
搜狐文章：https://m.sohu.com/a/1052872803_122354589（可能被屏蔽）
知乎：https://zhuanlan.zhihu.com/p/2062667629505012538（知乎可能限制访问）
Wikipedia：https://en.wikipedia.org/wiki/Jacobian_conjecture
Monash lens 文章：https://lens.monash.edu/hello-there-the-jacobian-conjecture-is-false-thanx-why-a-tiny-social-media-post-has-mathematicians-rethinking-ai/

同时我也可以用 calculator 工具做更多的数值验证。

让我先阅读网页。

另外，考虑到这是数学问题，我应该注意：图片声称的内容如果是正确的，那么它是与2026年7月重大新闻相符的。但用户问题只是发了一张图片，没有明确的问题。图片内容是"请你帮我验算一下，我是不是证伪了雅可比猜想？"

所以用户的需求是：验算图片中的构造是否正确，即：

验证 F 的雅可比行列式恒等于 -2
验证三个点映射到同一个点
基于以上判断"是否证伪了雅可比猜想"

我的回答应该：

做数学验算（展示关键步骤）
说明即使这个构造正确，它也不是"新发现"——2026年7月数学界已经通过 AI 辅助发现了雅可比猜想在三维及以上的反例（需要核实这个具体映射与已知反例的关系）
讨论雅可比猜想的现状（二维情况仍未解决）

需要核实的关键点：

Alpöge 反例的确切形式是什么？与图片中的映射是否一致？
二维雅可比猜想是否仍未解决？（搜索8说"only the conjecture in two dimensions remains open"）
是否有其他人（比如"小学生声称"）发布过类似内容？（可能这个图片本身就是网上的一个梗或测试）

让我开始阅读网页。

我还需要用计算器验证雅可比行列式的符号恒等性。math.js 的 derivative 函数可以做符号求导。让我尝试构造一个表达式。

其实，更直接的方法：用 math.js 的 symbolic derivative 对每个分量求偏导，然后在随机点求值检查行列式。

或者，我可以尝试手推雅可比行列式的符号表达式，看看是否恒等于 -2。既然两个点都验证是 -2，且这个映射有可能就是已知反例，我可以更详细地推导以确认。

让我试试更巧妙的方法：证明 det J = -2 恒成立。

观察 F3 = 2x - 3x^2y - x^3z。

让我考虑变换。设 u = 1 + xy。

F1 = u^3 z + y^2 u (4+3xy) F2 = y + 3xu^2 z + 3xy^2(4+3xy) F3 = 2x - 3x^2y - x^3z

注意到一些结构：

F2 中的项 "3xu^2 z + 3xy^2(4+3xy)" = 3x[u^2 z + y^2(4+3xy)]
而 F1 = u^3 z + y^2 u(4+3xy) = u[u^2 z + y^2(4+3xy)]

所以设 w = u^2 z + y^2(4+3xy) = c。则： F1 = u * w F2 = y + 3x * w F3 = 2x - 3x^2y - x^3z

嗯，F3 里有个 x^2(3y + xz)。3y + xz 似乎不与 u, w 直接相关。

让我再看：u = 1+xy, 所以 x*u = x + x^2y。 F3 = 2x - 3x^2y - x^3z = 2x - x^2(3y + xz)

Hmm，还有一个可能：也许要检查 F 是否是"已知反例"的变形。

其实，我猜想这个映射来自某些博客文章中提到的"简化反例"。让我搜索一些关键词："雅可比反例 det=-2 三个点"或者查看知乎文章的内容。

让我先做并行阅读：

Terry Tao 博客
sbseminar 文章
Wikipedia 英文版
知乎文章（可能读不了，试试）
Monash 文章

然后再做数值验证（用计算器）。

实际上还有一点要注意：搜索结果百度百科说"2026年7月20日，数学家Levent Alpöge在AI模型Fable 5的辅助下公布了反例，证伪了三维及以上维度的雅可比猜想，二维版本仍悬而未决。该反例已被数学界独立验证"。维基百科说"雅可比猜想于2026年7月因证实存在反例而遭证伪"。

现在有一个重要问题：图片中给出的映射是否就是"Fable 5 / Alpöge 反例"？让我对比。

从 Mashable 或其他报道中，反例可能是这样的（我记得看到过报道中的具体形式，但我不能依赖记忆，需要从网页获取）。

让我阅读这些文章获取具体公式。

计划阅读的页面：

https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/ （Tao 的解读，可能包含反例形式）
https://sbseminar.wordpress.com/2026/07/20/the-new-counterexample-to-the-jacobian-conjecture/ （秘密博客，可能包含公式）
https://en.wikipedia.org/wiki/Jacobian_conjecture （维基百科）
https://news.sina.com.cn 或搜狐文章（中文报道，可能包含公式）
https://zhuanlan.zhihu.com/p/2062667629505012538 （知乎，也许有公式）

并行阅读这5个。

关于验证数学，我还想用计算器试试 math.js 符号计算的可行性。

math.js 支持：

math.derivative('(1+x*y)^3*z + y^2*(1+x*y)*(4+3*x*y)', 'x')

返回 Derivative 节点。然后 .toString() 或 .evaluate(scope)。

但 calculator 工具可能只接受表达式并返回结果，不支持多步操作。我可以尝试一个长表达式，比如：

用数值有限差分代替符号计算？

或者，我可以手工推导完整个雅可比行列式以确认它恒等于 -2。这可能需要一些努力，但数学上是可行的。让我尝试更聪明的路径。

其实，有一个著名的构造（我怀疑这就是它的变形）：Wright 的简化、或者 2026 年的反例。

让我搜索"雅可比猜想反例公式 det -2 216个字符"或阅读文章找到公式，再与图片对比。

另外，我还想到：图片中的映射可能实际上是 2026 年 7 月后网上流传的"反例简化版"，也有可能是某人（如知乎用户）发布的"教小学生也能验证的反例"。

让我先阅读文章。

用 web-reader 并行读取：

Terry Tao 博客
sbseminar
Wikipedia English
搜狐文章
zhihu 或 CSDN 文章

同时用搜索找到确切的 Alpöge 反例公式。搜索关键词："Alpöge counterexample polynomial explicit formula"或中文"雅可比猜想反例公式 216字符"。

让我组织这次工具调用：

web-reader × 5（如上）
web-search × 1-2（找公式）

我先并行阅读和搜索。

"Alpöge" Jacobian conjecture counterexample explicit polynomial formula 216 characters

雅可比猜想三维反例的具体多项式形式、雅可比行列式取值、非单射证据

雅可比猜想三维反例的具体多项式、雅可比行列式、映射碰撞点验证

雅可比猜想的历史、2026年反例发现经过、当前状态（二维是否仍未解决）

三维反例的具体公式、雅可比行列式-2、三个点映射到同一像的细节

让我回顾一下目前的发现：

关键发现 ：sbseminar 的文章108给出了 Alpöge 反例的确切形式：
```
a = (1+xy)^3 z + y^2(1+xy)(4+3xy)
b = y + 3x(1+xy)^2 z + 3xy^2(4+3xy)
c = 2x - 3x^2 y - x^3 z
```
这与图片中的映射 完全一致 ！
Wikipedia107确认：2026年7月19日，Levent Alpöge 公布了三维反例，雅可比行列式为非零常数 -2，存在三个不同点映射到同一个像点。
Terry Tao 博客106给出了另一个版本的反例（雅可比行列式为常数1）： F(x,y,z) = (x + 1 + xy + xz + 2xyz + y^2 z + y z^2, y + 1 + yz + x^2 y + x z^2, z + 1 + x^2 z + x y^2)

注意：Tao 博客中给出的公式与我记忆中（搜索结果摘要）的可能不同。Tao 的博客里说的可能是某个"digestion"（消化、解析）版本。需要小心：Tao 博客给出的这个公式是否是"某位读者/评论者的构造"，还是他自己给的版本？摘要说"该反例的多项式映射具体形式为"。嗯，但 sbseminar 给出的与图片完全一致。也许 Tao 的博客中的公式是他文中讨论的某个变形版本。

实际上，我需要注意 Tao 的博客里可能包含了多个版本。让我再深入阅读一下。不过，sbseminar 的版本与图片完全匹配，这是最关键的信息。
所以图片中的映射就是 Levent Alpöge 在 2026年7月19日公布的（由 Claude Fable 5 协助找到的）反例。

现在需要做的事： a) 数学验证：确认这个映射的雅可比行列式恒等于 -2，且三个点确实映射到同一点。我已经手动验证了三个点的映射（成功），并在两个点上验证了行列式值（均为-2）。为了更有说服力，我可以再做一次符号级的推导或更多点的数值检验。让我用 calculator 工具做更多数值验证。

b) 检查"三个点"的细节：图片给出三个点： (0, 0, -1/4), (1, -3/2, 13/2), (-1, 3/2, 13/2) 我已经手动验证了三个点都映射到 (-1/4, 0, 0)。✓

c) 关于雅可比行列式恒等于 -2 的完整证明：这个需要符号推导。我可以尝试用 math.js 的符号求导功能辅助，或者手工推导。让我尝试用计算器试试。

实际上，我可以用 math.js 的 derivative 功能：

对每个分量分别对 x, y, z 求偏导
在多个随机点求值并计算行列式
如果多个随机点都是 -2，基本可以确认

再进一步，我可以尝试用 math.js 的符号表达式直接来验证。不过 math.js 的 symbolic 功能较弱，可能不支持对复杂表达式做完整符号行列式展开。

另一种方法：利用代换。让我思考一下这个映射的结构。

观察：

a = (1+xy)^3 z + y^2(1+xy)(4+3xy)
b = y + 3x(1+xy)^2 z + 3xy^2(4+3xy)
c = 2x - 3x^2y - x^3z

设 u = 1 + xy。则：

a = u^3 z + y^2 u(4+3xy) = u^2 z * u + y^2 u (4+3xy)
b = y + 3xu^2 z + 3xy^2(4+3xy)
c = 2x - 3x^2 y - x^3 z = x(2 - x(3y + xz))... 或者 c = 2x - x^2(3y + xz)

Hmm, 让我看看 a 和 b 是否满足某种关系：关于 x 的导数： ∂a/∂x = 3y u^2 z + y^3(7+6xy) ∂b/∂x = 3u^2 z + 6xyu z + 12y^2 + 18xy^3

注意到 ∂a/∂x - y*∂b/∂x？: y*∂b/∂x = 3y u^2 z + 6xy^2 u z + 12y^3 + 18xy^4

∂a/∂x = 3y u^2 z + 7y^3 + 6xy^4

∂a/∂x - y*∂b/∂x = 7y^3 + 6xy^4 - 6xy^2 u z - 12y^3 - 18xy^4 = -5y^3 - 12xy^4 - 6xy^2 u z

不等于简单的表达式。所以没有简单的关系。好，我没有必要做完整的符号推导——但为了回答的可信度，我需要给出验证结论。让我尝试不同的方法。

其实，我可以手工完整推导行列式。虽然繁琐，但值得一试。让我用结构化的方法。

或者更好：用 math.js 符号计算。让我构建表达式并使用其 derivative 功能，计算 9 个偏导数在若干随机点的值，然后计算行列式。这样能快速检验。

让我先做一些数值检查。使用 calculator，输入表达式计算特定点处的行列式。

但 calculator 接受 math.js 表达式。math.js 支持矩阵和行列式。所以我可以一个个点来验证。

例如，在点 (x,y,z) = (0.3, -0.7, 1.1)：

我需要计算： ∂a/∂x = 3yz u^2 + 7y^3 + 6xy^4, 其中 u = 1+xy ∂a/∂y = 3xz u^2 + 8y + 21xy^2 + 12x^2 y^3 ∂a/∂z = u^3 ∂b/∂x = 3u^2 z + 6xyu z + 12y^2 + 18xy^3 ∂b/∂y = 1 + 6x^2 u z + 24xy + 27x^2 y^2 ∂b/∂z = 3x u^2 ∂c/∂x = 2 - 6xy - 3x^2 z ∂c/∂y = -3x^2 ∂c/∂z = -x^3

等等，我需要先确认这些偏导数的正确性。让我重新推导一遍，特别小心。

a = (1+xy)^3 z + y^2(1+xy)(4+3xy)

设 u = 1+xy。

∂a/∂x: = 3u^2 * y * z + y^2 * [y(4+3xy) + u*3y] = 3y z u^2 + y^3 [(4+3xy) + 3u] = 3y z u^2 + y^3 [4+3xy + 3 + 3xy] = 3y z u^2 + y^3 (7 + 6xy) ✓

∂a/∂y: = 3u^2 * x * z + ∂/∂y[y^2(4+7xy+3x^2y^2)]

展开 y^2(4+7xy+3x^2y^2) = 4y^2 + 7xy^3 + 3x^2y^4 ∂/∂y = 8y + 21xy^2 + 12x^2y^3 所以 ∂a/∂y = 3xz u^2 + 8y + 21xy^2 + 12x^2y^3 ✓

∂a/∂z = u^3 ✓

b = y + 3xu^2 z + 3xy^2(4+3xy)

∂b/∂x: = 3u^2 z + 3x * 2u * y * z + 3y^2(4+3xy) + 3xy^2 * 3y = 3u^2 z + 6xy u z + 12y^2 + 9xy^3 + 9xy^3 = 3u^2 z + 6xy u z + 12y^2 + 18xy^3 ✓

∂b/∂y: = 3x * 2u * x * z + 3x[2y(4+3xy) + y^2 * 3x] = 6x^2 u z + 3x[8y + 6xy^2 + 3xy^2] = 6x^2 u z + 24xy + 27x^2 y^2 ✓ 加上 ∂y/∂y = 1，所以 ∂b/∂y = 1 + 6x^2 u z + 24xy + 27x^2y^2 ✓

∂b/∂z = 3x u^2 ✓

c = 2x - 3x^2y - x^3z ∂c/∂x = 2 - 6xy - 3x^2z ✓ ∂c/∂y = -3x^2 ✓ ∂c/∂z = -x^3 ✓

现在在点 (1,1,1)：我得到 det = -2 ✓（已算）

让我再检查一下行列式计算，确保没有算术错误： Matrix: | 25 53 8 | | 54 64 12 | | -7 -3 -1 |

det = 25*(64*(-1) - 12*(-3)) - 53*(54*(-1) - 12*(-7)) + 8*(54*(-3) - 64*(-7)) = 25*(-64+36) - 53*(-54+84) + 8*(-162+448) = 25*(-28) - 53*(30) + 8*(286) = -700 - 1590 + 2288 = -2 ✓

太好了。

现在，为了更完整地验证"行列式恒等于 -2"，理想情况下应该做符号推导。让我试试能否构造一个恒等式证明。

尝试：也许有更聪明的方法。这个映射是"齐次"的（在加权意义下）。sbseminar 提到： "在权重 deg x=-1, deg y=1, deg z=2 的分次下，a,b,c 是齐次多项式，次数分别为 0,0,0"

检查：

x 权重 -1，y 权重 1，z 权重 2。
a 中的项：
- (1+xy)^3 z：xy 权重 -1+1=0，所以 (1+xy)^3 权重 0，z 权重 2。总权重 0 + 2 = 2？嗯，但说 a 权重为 0。
等等，让我重新检查。"deg x = -1, deg y = 1, deg z = 2"。 xy: -1+1 = 0。所以 1+xy 是权重 0。z 是权重 2。 (1+xy)^3 z 权重 = 0 + 2 = 2。 y^2(1+xy)(4+3xy)：y^2 权重 2，(1+xy) 权重 0，(4+3xy) 权重 0。总权重 2。

所以 a 的每一项权重都是 2？那 a 是"权重 2"的齐次多项式。但 sbseminar 说 a,b,c 次数分别为 0,0,0。也许他们的意思是"在某个变换后的坐标下"或者我理解错了。也可能摘要的表述有误（毕竟这是摘要，可能被压缩了）。

另一种可能：权重的分次是指"deg x=1, deg y=1, deg z=1"（普通次数）下 a 不是齐次的。也许 sbseminar 的摘要中说的是他们在检查后发现了某种加权齐次性。不过这不太重要。

重要的是验证 det J = -2 恒成立。

让我尝试用 math.js 在多个随机点上计算行列式。如果所有点都是 -2，可信度就很高。

实际上，让我认真地做符号推导，因为这是回答的核心。我可以尝试一个不同的角度：

由于这是一个已知的、经过数学界独立验证的反例（多个来源都确认），我不需要完全独立地证明 det J = -2。但我应该尝试验证以回答用户"帮我验算"的请求。

让我试试用计算器工具做数值验证。选择几个随机点：

(0, 0, -1/4)（已知点）
(1, -3/2, 13/2)（已知点）
(-1, 3/2, 13/2)（已知点）
一个随机点，例如 (0.5, 0.3, -0.7)
另一个随机点，例如 (2, -1, 3)

对每个点计算 9 个偏导数，组成矩阵，计算 det。

让我用 calculator 分别计算。可能一次调用可以算多个表达式，但为了保险起见，我会尽量构造合适的表达式。

math.js 可以这样用：

det([[...], [...], [...]])

但问题是我需要先计算每个偏导数的数值。一个表达式内包含所有计算和函数定义可能很复杂。math.js 支持变量赋值和函数定义：

x=0.5; y=0.3; z=-0.7; u=1+x*y; det([[3*y*z*u^2+7*y^3+6*x*y^4, 3*x*z*u^2+8*y+21*x*y^2+12*x^2*y^3, u^3],[3*u^2*z+6*x*y*u*z+12*y^2+18*x*y^3, 1+6*x^2*u*z+24*x*y+27*x^2*y^2, 3*x*u^2],[2-6*x*y-3*x^2*z, -3*x^2, -x^3]])

这样的表达式 math.js 应该能处理（分号分隔语句，最后是表达式）。让我试试。

嗯，但 calculator 工具的输入格式是"输入的math.js算式"。使用分号分隔的多语句可能被支持，也可能不被支持。让我尝试。

也可以直接用代入数值的单个表达式（不用变量），但会很长。先试多语句。

好，另外一个思路：干脆手工继续验证几个点。我已经验证了两个点。让我再手工算一个点，比如 (0.5, 0.3, -0.7)。

x=0.5, y=0.3, z=-0.7 u = 1 + 0.15 = 1.15 u^2 = 1.3225

∂a/∂x = 30.3(-0.7)1.3225 + 70.027 + 60.50.0081 = -0.63*1.3225 + 0.189 + 0.0243 = -0.833175 + 0.2133 = -0.619875

等等：3yzu^2 = 30.3*(-0.7)1.3225 = -0.63 * 1.3225 = -0.833175 7y^3 = 70.027 = 0.189 6xy^4 = 60.5*0.0081 = 0.0243 总和 = -0.833175 + 0.189 + 0.0243 = -0.619875

∂a/∂y = 3xzu^2 + 8y + 21xy^2 + 12x^2y^3 = 30.5*(-0.7)1.3225 + 2.4 + 210.50.09 + 120.250.027 = -1.051.3225 + 2.4 + 0.945 + 0.081 = -1.388625 + 3.426 = 2.037375

∂a/∂z = u^3 = 1.520875

∂b/∂x = 3u^2 z + 6xyu z + 12y^2 + 18xy^3 = 31.3225(-0.7) + 60.151.15*(-0.7) + 120.09 + 180.5*0.027 = -2.77725 + (-0.7245) + 1.08 + 0.243 = -2.17875

计算：31.3225(-0.7) = 3.9675*(-0.7) = -2.77725 6xyu z = 60.50.31.15(-0.7) = 0.91.15(-0.7) = 1.035*(-0.7) = -0.7245 12y^2 = 120.09 = 1.08 18xy^3 = 180.5*0.027 = 0.243 总和 = -2.77725 - 0.7245 + 1.08 + 0.243 = -2.17875

嗯，让我重新算：-2.77725 - 0.7245 = -3.50175; + 1.08 = -2.42175; + 0.243 = -2.17875 ✓

∂b/∂y = 1 + 6x^2 u z + 24xy + 27x^2y^2 = 1 + 60.251.15*(-0.7) + 240.15 + 270.250.09 = 1 + 1.51.15*(-0.7) + 3.6 + 0.6075 = 1 - 1.2075 + 3.6 + 0.6075 = 4.0

计算：6x^2 u z = 60.251.15*(-0.7) = 1.51.15(-0.7) = 1.725*(-0.7) = -1.2075 24xy = 240.50.3 = 3.6 27x^2y^2 = 270.250.09 = 0.6075 总和 = 1 - 1.2075 + 3.6 + 0.6075 = 4.0 ✓

∂b/∂z = 3x u^2 = 30.51.3225 = 1.98375

∂c/∂x = 2 - 6xy - 3x^2 z = 2 - 0.9 - 30.25(-0.7) = 2 - 0.9 + 0.525 = 1.625 ∂c/∂y = -3x^2 = -0.75 ∂c/∂z = -x^3 = -0.125

矩阵： | -0.619875 2.037375 1.520875 | | -2.17875 4.0 1.98375 | | 1.625 -0.75 -0.125 |

det = ?

用第一行展开： det = -0.619875 * [4.0*(-0.125) - 1.98375*(-0.75)] - 2.037375 * [(-2.17875)(-0.125) - 1.983751.625] + 1.520875 * [(-2.17875)(-0.75) - 4.01.625]

计算各项： A = 4.0*(-0.125) - 1.98375*(-0.75) = -0.5 + 1.4878125 = 0.9878125 B = (-2.17875)(-0.125) - 1.983751.625 = 0.27234375 - 3.22359375 = -2.95125 C = (-2.17875)(-0.75) - 4.01.625 = 1.6340625 - 6.5 = -4.8659375

det = -0.619875 * 0.9878125 - 2.037375 * (-2.95125) + 1.520875 * (-4.8659375) = -0.612320...

第一项：-0.619875 * 0.9878125 = ? 0.619875 * 0.9878125 ≈ 0.6123... 0.619875 * 0.9878125 = 0.6198750.98 + 0.6198750.0078125 = 0.60747750 + 0.004843... = 0.61232... 所以第一项 ≈ -0.61232

第二项：-2.037375 * (-2.95125) = 2.037375 * 2.95125 ≈ 6.0128... 2.037375 * 2.95125 ≈ 2.0373753 - 2.0373750.04875 = 6.112125 - 0.09932 = 6.0128 第二项 ≈ +6.0128

第三项：1.520875 * (-4.8659375) ≈ -1.5208754.8659375 1.5208754.8659375 ≈ 1.5208754.87 ≈ 7.4067 - 1.5208750.0040625 ≈ 7.4067 - 0.00618 ≈ 7.4005 第三项 ≈ -7.4005

det ≈ -0.61232 + 6.0128 - 7.4005 ≈ -2.00002

非常接近 -2！考虑到手算的舍入误差，这强烈支持 det = -2。

嗯，有意思。手算这个点得到约 -2.00002，与 -2 的偏差在计算误差范围内。可以推断 det J = -2 恒成立。

但我还是希望用计算器做精确验证。让我设计几个 calculator 调用来：

在点 (0.5, 0.3, -0.7) 处计算行列式（用精确表达式）
在另一个随机点处计算行列式

让我编写 math.js 表达式。

表达式 1（点 0.5, 0.3, -0.7）：

x=0.5; y=0.3; z=-0.7; u=1+x*y;
det([[3*y*z*u^2+7*y^3+6*x*y^4, 3*x*z*u^2+8*y+21*x*y^2+12*x^2*y^3, u^3],
     [3*u^2*z+6*x*y*u*z+12*y^2+18*x*y^3, 1+6*x^2*u*z+24*x*y+27*x^2*y^2, 3*x*u^2],
     [2-6*x*y-3*x^2*z, -3*x^2, -x^3]])

这应该可行，如果 calculator 支持多语句和 det 函数。

然后再对三个特殊点验证映射值，例如：

x=1; y=-1.5; z=6.5; 
[(1+x*y)^3*z + y^2*(1+x*y)*(4+3*x*y), y+3*x*(1+x*y)^2*z+3*x*y^2*(4+3*x*y), 2*x-3*x^2*y-x^3*z]

好，我会做这些计算。

不过在继续之前，先回顾一下我已知的信息：

已确认事实：

图片中的映射与 sbseminar 博客108中记载的 Levent Alpöge 反例完全一致： a = (1+xy)^3z + y^2(1+xy)(4+3xy) b = y + 3x(1+xy)^2z + 3xy^2(4+3xy) c = 2x - 3x^2y - x^3z
Wikipedia107确认：2026年7月19日 Alpöge 公布了三维反例，雅可比行列式为常数 -2，存在三个不同点映射到同一像点。该反例由 Claude Fable 5 协助发现。
我的手工验证：
- 三个点 (0,0,-1/4), (1,-3/2,13/2), (-1,3/2,13/2) 确实都映射到 (-1/4, 0, 0) ✓
- 在 (0,0,0)、(1,1,1)、(0.5,0.3,-0.7) 处行列式均为 -2（数值验证）✓
雅可比猜想现状：n=1 已证明；n≥3 被 2026 年反例证否；n=2 仍未解决107。

仍待完成：

用 calculator 做精确数值验证（可选，但为回答"验算"请求值得做）
补充阅读：可能需要看看知乎文章、monash 文章、或一個中文详细报道，了解这个反例的更多细节（比如：这个反例中的三个碰撞点是"三个不同的点映射到同一个像"，具体是如何找到的；或其它验证信息）
还需确认：这个映射是不是"完整的三维反例"，即雅可比行列式是否恒等于常数（而不是仅在部分点）-2。所有信源都说 constant Jacobian determinant -2（非零常数），且已被数学界独立验证10787。加上我三个点的数值验证，可以确认。
增加更多一点数值验证点，例如 4-5 个随机点，用计算器。

回答用户的框架：

首先说明：这张图片中的"构造"实际上是目前已知的 2026 年 7 月雅可比猜想反例的复述。这不是小学生原创的（图片自称是"小学生"，但这个映射正是 Alpöge / Claude Fable 5 的反例）。

实际上，我要小心：用户上传的图片说是"小学生"构造的。有可能：

这是一个网络梗/测试（有人把这个反例包装成"小学生发现"的帖子）；
或者截图者自己写的（声称是小学生）。

无论哪种情况，我的重点应该是：

数学验算：验证映射确实有 det J = -2 且非单射（三点碰撞）。
说明这个反例与 2026 年 7 月 Alpöge 发现的著名反例完全相同（或至少极为相似）。sbseminar 的公式与图片完全一致，所以确认是同一个反例。
澄清：这个反例证明的是"三维雅可比猜想为假"（从而 n≥3 都为假），但 二维情形仍未解决 。因此如果说"证伪雅可比猜想"，需要限定为"三维及以上版本"。
关于"小学生发现"的说法：实际历史是 Levent Alpöge（哈佛大学数学家、Anthropic 研究员）与 AI 模型 Claude Fable 5 在 2026 年 7 月发现的；该反例已被多个数学家独立验证。

我需要小心处理"小学生"这个说法。图片里的文字"我是一名小学生，我在学校学到的知识里找到了一个可能的突破口，经过一周的计算，发现雅可比猜想是错的"——这可能是网友的搞笑包装（把 Alpöge 的反例包装成"小学生"的发现，来测试/调侃）。我不应该断言这是某人的真实声明，而是指出：该映射正是 Alpöge 反例，所以"小学生原创"的说法不符合事实——除非有证据显示存在某个独立的小学生发现。

嗯，等等。我要再想想。也许我应该搜索一下这个特定的"小学生"图片是否在网上流传。它可能是"钓鱼"性质的帖子：将已知反例伪装成"小学生发现"，看AI会不会指出。或者，可能是知乎/微博上的玩笑帖子。

为了严谨，我可以搜索"小学生雅可比猜想"看看有没有相关讨论。这个搜索对于理解用户图片的来源可能有帮助。

还有一个问题：这个反例的"三个点" (0,0,-1/4), (1,-3/2,13/2), (-1,3/2,13/2) 是否就是 Alpöge 反例中公布的三点碰撞？sbseminar 摘要说"We can verify this is generically 3-to-1"。但没有具体列出三点。让我检查一下这三个点是否被 Alpöge 或验证者明确列出。

搜索一下"1, -3/2, 13/2"或"13/2 反例"可能能找到相关信息。

另外，我知道有个 GitHub 仓库 wtho704/explicit-cubic-homogeneous-jacobian-counterexample ，以及 arXiv 2607.22198 论文。这些可能有详细验证数据。

让我先做数值计算（calculator），然后再决定是否需要更多阅读。

计划：

用 calculator 验证 3 个特殊点的映射（全部映射到 (-1/4, 0, 0)）。
用 calculator 在 2-3 个随机点计算雅可比行列式。
搜索"小学生雅可比猜想"看图片来源。
可能再阅读 1-2 篇文章（如 monash 或知乎）补充细节。

关于 calculator 的使用，让我构造表达式：

验证点1 (0,0,-1/4)：由于有分数，用 z=-0.25。预期输出 (-0.25, 0, 0)。

x=0; y=0; z=-0.25; [(1+x*y)^3*z + y^2*(1+x*y)*(4+3*x*y), y+3*x*(1+x*y)^2*z+3*x*y^2*(4+3*x*y), 2*x-3*x^2*y-x^3*z]

验证点2 (1,-3/2,13/2)： z=6.5, y=-1.5。

x=1; y=-1.5; z=6.5; [(1+x*y)^3*z + y^2*(1+x*y)*(4+3*x*y), y+3*x*(1+x*y)^2*z+3*x*y^2*(4+3*x*y), 2*x-3*x^2*y-x^3*z]

预期 (-0.25, 0, 0)。

验证点3 (-1,3/2,13/2)：

x=-1; y=1.5; z=6.5; [(1+x*y)^3*z + y^2*(1+x*y)*(4+3*x*y), y+3*x*(1+x*y)^2*z+3*x*y^2*(4+3*x*y), 2*x-3*x^2*y-x^3*z]

预期 (-0.25, 0, 0)。

行列式在随机点：

x=0.5; y=0.3; z=-0.7; u=1+x*y; det([[3*y*z*u^2+7*y^3+6*x*y^4, 3*x*z*u^2+8*y+21*x*y^2+12*x^2*y^3, u^3],[3*u^2*z+6*x*y*u*z+12*y^2+18*x*y^3, 1+6*x^2*u*z+24*x*y+27*x^2*y^2, 3*x*u^2],[2-6*x*y-3*x^2*z, -3*x^2, -x^3]])

另一个点 x=2, y=-1, z=3：

x=2; y=-1; z=3; u=1+x*y; det([[3*y*z*u^2+7*y^3+6*x*y^4, 3*x*z*u^2+8*y+21*x*y^2+12*x^2*y^3, u^3],[3*u^2*z+6*x*y*u*z+12*y^2+18*x*y^3, 1+6*x^2*u*z+24*x*y+27*x^2*y^2, 3*x*u^2],[2-6*x*y-3*x^2*z, -3*x^2, -x^3]])

让我并行调用这些 calculator 操作。注意：不确定 calculator 是否支持多语句（分号），如果失败，我会改用其他格式（如用单表达式或多次调用）。

其实，为了保险，我可以先试一个最简单的测试，看看格式是否被支持。但如果并行调用失败了再重试也可以。先试一个点。

另外我还要想想"是否需要用 web-search 找小学生图片的来源"。让我做一次搜索："小学生雅可比猜想反例"和"雅可比猜想小学生"。

还有一个想法：也许这张图来自某个"AI 测试"帖子（比如有人在 X/知乎上发"我是一名小学生……"来测试 AI 是否会盲从）。无论如何，指出这个映射 = Alpöge 反例即可。

让我并行做：

calculator（行列式验证点1：0.5, 0.3, -0.7）
calculator（三个点的映射验证——也许一个调用可以做完？不行，三个点需要分别计算。让我合并为3个调用）
web-search："小学生" 雅可比猜想反例

等等，并行调用同一工具的不同实例是可以的。让我组织：

调用1：calculator - 验证点 (0,0,-1/4) 的像调用2：calculator - 验证点 (1,-3/2,13/2) 的像调用3：calculator - 验证点 (-1,3/2,13/2) 的像调用4：calculator - 随机点1行列式调用5：calculator - 随机点2行列式调用6：web-search - "小学生"雅可比猜想

嗯，这些都是独立调用，可以并行。不过一次并行调用太多可能有问题。让我分成两批：第一批：3个点验证 + 2个行列式验证（5个 calculator 调用）或者更保守：先做2-3个调用。

实际上，让我先试一个 calculator 调用，确认格式可行后再做剩余的。但为了效率，我一次发多个，如果格式有问题就调整。

让我先发：

calculator: x=0; y=0; z=-0.25; [...]（点1）
calculator: x=1; y=-1.5; z=6.5; [...]（点2）
calculator: x=-1; y=1.5; z=6.5; [...]（点3）
calculator: 行列式at (0.5, 0.3, -0.7)
calculator: 行列式at (2, -1, 3)
web-search: "小学生雅可比猜想"

如果 calculator 语法有问题，我会看到错误信息然后调整。

让我构造详细的表达式。

点1： x=0; y=0; z=-0.25; a=(1+xy)^3z + y^2*(1+xy)(4+3xy); b=y+3x(1+xy)^2z+3xy^2*(4+3xy); c=2x-3x^2y-x^3z; [a,b,c]

math.js 支持分号和方括号数组。应该没问题。

点2： x=1; y=-1.5; z=6.5; a=(1+xy)^3z + y^2*(1+xy)(4+3xy); b=y+3x(1+xy)^2z+3xy^2*(4+3xy); c=2x-3x^2y-x^3z; [a,b,c]

点3： x=-1; y=1.5; z=6.5; a=(1+xy)^3z + y^2*(1+xy)(4+3xy); b=y+3x(1+xy)^2z+3xy^2*(4+3xy); c=2x-3x^2y-x^3z; [a,b,c]

行列式1： x=0.5; y=0.3; z=-0.7; u=1+xy; det([[3yzu^2+7y^3+6xy^4, 3xzu^2+8y+21xy^2+12x^2y^3, u^3],[3u^2z+6xyuz+12y^2+18xy^3, 1+6x^2uz+24xy+27x^2y^2, 3xu^2],[2-6xy-3x^2z, -3x^2, -x^3]])

行列式2： x=2; y=-1; z=3; u=1+xy; det([[3yzu^2+7y^3+6xy^4, 3xzu^2+8y+21xy^2+12x^2y^3, u^3],[3u^2z+6xyuz+12y^2+18xy^3, 1+6x^2uz+24xy+27x^2y^2, 3xu^2],[2-6xy-3x^2z, -3x^2, -x^3]])

注意：x=2, y=-1 时 u = 1-2 = -1。

好。另外，关于 web-search 的"小学生"搜索： query: "小学生" 雅可比猜想反例图片

或者更简洁："小学生雅可比猜想"。

让我执行。

"小学生" 雅可比猜想反例图

数值验算结果很关键：三个点确实都映射到同一点，且随机点处行列式均为 -2。现在需要进一步核实这个映射与官方反例的对应关系、以及更多细节来源。

"2x-3x^2y-x^3z" 雅可比

Jacobian conjecture counterexample three points "(0,0,-1/4)" OR "13/2" collision

雅可比猜想反例的发现经过、-2行列式与碰撞点、数学界的验证与评价

反例公式的精确形式、216字符说法、验证方法

从 Vitushkin 例子到三维反例的推导、公式细节、碰撞点验证

关键信息已交叉验证：图片中的映射正是 2026 年 7 月公布的著名反例。现在补充检索最新进展（8-10月）和形式化验证情况，确保时效性完整。

雅可比猜想反例最新进展 2026年9月

Jacobian conjecture counterexample formal verification Isabelle AFP 2026

反例的通俗解释、碰撞点、非单射性

反例碰撞点的形式化定义与验证内容

信息已基本充分。最后补充一轮检索，确认图片中"小学生"叙述的背景以及反例公布日期的细节，然后进入报告阶段。

"我是一名小学生" 数学猜想证明帖子

Alpöge Jacobian conjecture announced July 19 2026 X post verified mathematicians

信息收集与验证已充分完成。核心事实已通过多个独立来源交叉验证，验算工作也已由我独立完成。现在进入最终报告撰写阶段。

"小学生证伪雅可比猜想"验算：数学全对，但实为2026年7月公布的著名反例

🎯 核心结论

✅ 数学验算通过 ：图中构造的三维多项式映射，雅可比行列式恒为 −2 （非零常数），且 (0,0,−1/4)、(1,−3/2,13/2)、(−1,3/2,13/2) 三个互不相同的点确实都被映到同一个点 (−1/4,0,0)。本次逐点代入独立验算通过，文献与形式化证明亦早有确认125129156。
📌 但这不是新发现 ：该多项式与 2026 年 7 月 19 日数学家 Levent Alpöge（Anthropic 研究员）与 Akhil Mathew、AI 模型 Claude Fable 5 合作公布、轰动全球学术界的反例 逐项完全一致 108136137。它已被多位数学家独立复算，并经 Isabelle/HOL 形式化验证收录31138156。
⚖️ "证伪"须限定范围 ：被推翻的是 3 维及以上 的雅可比猜想； 二维（n=2）情形至今仍未解决 107137155。

🔬 逐项验算：图上的数学全对

三个点是真"碰撞"

设映射 F = (F₁, F₂, F₃)：

F₁ = (1+xy)³z + y²(1+xy)(4+3xy)
F₂ = y + 3x(1+xy)²z + 3xy²(4+3xy)
F₃ = 2x − 3x²y − x³z

逐点代入（关键步骤）：

(0, 0, −1/4) ：F₁ = 1³·(−1/4) + 0 = −1/4，F₂ = 0，F₃ = 0 → (−1/4, 0, 0)
(1, −3/2, 13/2) ：此时 xy = −3/2、1+xy = −1/2。F₁ = (−1/8)(13/2) + (9/4)(−1/2)(−1/2) = −13/16 + 9/16 = −1/4；F₂ = −3/2 + 39/8 − 27/8 = 0；F₃ = 2 + 9/2 − 13/2 = 0 → (−1/4, 0, 0)
(−1, 3/2, 13/2) ：同样 1+xy = −1/2，算得 F₁ = −1/4、F₂ = 0、F₃ = 0 → (−1/4, 0, 0)

三点互不相同、却全部撞到 (−1/4, 0, 0)，与公开文献及 Isabelle 形式化证明中定义的碰撞点（collision-point-0 / -pos / -neg → collision-value）完全吻合。

雅可比行列式确实恒为 −2

按链式法则求导可得 9 个偏导数，例如：

∂F₁/∂x = 3yz(1+xy)² + 7y³ + 6xy⁴，∂F₁/∂z = (1+xy)³
∂F₃/∂x = 2 − 6xy − 3x²z，∂F₃/∂y = −3x²，∂F₃/∂z = −x³

在 (0,0,0) 处，雅可比矩阵为 [[0,0,1],[0,1,0],[2,0,0]]，行列式 = −2；在 (1,1,1) 处行列式亦为 −2；另取 (0.5, 0.3, −0.7)、(2, −1, 3) 两个抽样点做数值计算，结果均为 −2。这与公开文献"该反例雅可比行列式恒等于常数 −2"的记载一致。

逻辑链成立

若映射存在多项式逆，则它必为双射；F 把三个不同的点映到同一个点 ⇒ F 不是单射 ⇒ 不存在多项式逆（甚至不存在任何逆映射）⇒ 但 det J_F ≡ −2 ≠ 0。这与雅可比猜想在 n=3 时的断言直接矛盾， 反例成立 。

🕵️ 这个反例的真实来历

2026 年 7 月 19 日，Levent Alpöge 在 X 上发帖"hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable..."，将发现归功于 Akhil Mathew 的提问与 AI 模型 Fable 5 的工作158159161。部分中文来源因时差将其记为 7 月 20 日5560。
该反例极其简短（公开报道中常被称为"216 字符反例"，短到可以放进一条推文），便于所有人快速核验89137；加州大学伯克利分校副教授 Jason Lee 评价其"简洁到可以手算验证"87。
验证程度：多位数学家独立复算确认31；独立的 Isabelle/HOL 形式化验证 已收录入 Archive of Formal Proofs（AFP）138156，另有 Lean 4 形式化与"机器验证解剖"工作156。
深远影响：补上恒等映射即可把反例推广到所有 n≥3 维107136；该反例同时推翻了三维 Dixmier 猜想108。另有中文作者给出了从苏联数学家 Vitushkin 1999 年二维构造到该三维反例的显式推导链，认为二者同源136。

🧭 "证伪雅可比猜想"的范围与现状

截至 2026 年 10 月（反例公布约两个半月后，未见任何撤回或重大修正）：

n = 1 ：猜想成立（早已被证明）；
n = 2 ： 仍未解决 ——这正是 1884 年最初提出、包括张益唐在内多位数学家长期攻坚的原始情形；
n ≥ 3 ： 已被证伪 107137155。

9 月以来的公开讨论仍将此事作为"AI 参与数学发现"的标志性里程碑。

🧩 关于"小学生"叙述的核查

经多组关键词专门检索， 未在公开网络找到该帖的原始出处 （不排除是社交媒体上测试性、娱乐性或已删除的内容），作者身份无法核实。
可以确定的是：图中映射与官方公布的反例公式 没有任何差别 108136137，且该结果早在 2026 年 7 月已由职业数学家与 AI 公开并获形式化验证138156。
因此合理的判断是：若该帖意在声称"独立构造、首次证伪"，则与公开记录不符；但 其数学内容完全正确 ——把它当作一道验算练习题，每一步都会通过。

⚠️ 置信度评估与信息局限

高置信 （多源交叉 + 形式化验证）：映射公式、三点碰撞、行列式恒为 −2、n≥3 被证伪、n=2 仍开放。
无法核实 ：图片帖子的真实作者与"小学生"身份出处（未检索到任何公开证据）。
本报告验算为独立复算（解析代入 + 数值计算），结论与公开文献、形式化证明互相印证136156。

报告：关于"小学生证伪雅可比猜想"图片的验算与分析

核心结论（先说答案）

一、逐项验算

1.1 映射与雅可比行列式

1.2 三个碰撞点

1.3 结论

二、这个构造的真实来历

三、"证伪"的确切范围与当前状态

四、关于"小学生"叙述

五、信息来源与置信度

"小学生证伪雅可比猜想"图片验算：构造正确，但这正是2026年7月轰动数学界的AI辅助反例

🎯 核心结论

🔬 逐项验算：图上的数学全对

三项片段的映射关系验证

雅可比行列式验证

逻辑链

📅 这个构造的真实来历

⚖️ 关于"小学生"叙述的分析

📊 当前状态（截至2026年10月）

⚠️ 置信度与局限

标题

🎯 核心发现（三句话先给答案）

🔬 逐项验算（数学部分）

🕵️ 反例的真实来历（不是新发现）

🧭 "证伪雅可比猜想"的范围与当前状态

❓ 关于"小学生"叙述的核查

⚠️ 置信度评估与信息局限

"小学生证伪雅可比猜想"验算：数学全对，但实为2026年7月的著名反例

🎯 核心结论

🔬 逐项验算

三个点是否真的撞在一起？

雅可比行列式是否恒为常数？

逻辑链是否成立？

🕵️ 这个反例的真实来历

🧭 "证伪雅可比猜想"的范围与现状

🧩 关于"小学生"叙述的核查

⚠️ 置信度评估与信息局限

"小学生证伪雅可比猜想"验算：数学正确，但实为2026年7月公布的著名反例

"小学生证伪雅可比猜想"验算：数学全对，但实为2026年7月公布的著名反例

🎯 核心结论

🔬 逐项验算：图上的数学全对

三个点是真"碰撞"

雅可比行列式确实恒为 −2

逻辑链成立

🕵️ 这个反例的真实来历

🧭 "证伪雅可比猜想"的范围与现状

🧩 关于"小学生"叙述的核查

⚠️ 置信度评估与信息局限