这个反例的验证反而非常简单，连我都看懂了。

雅可比行列式的偏导计算、行列式计算，用SageMath、Matlab、SymPy之类的工具就行。

【 在 huode 的大作中提到: 】
: 看不懂。现在用ai证明猜想，一瞬间解决了很多。但没人关注，因为验证需要时间，量太大了。
--
FROM 123.122.126.*