目前用最近新出的证伪雅可比猜想的公式，提示词明确要求各AI使用外微分和三角化坐标归约检验是否证伪（禁止联网禁止调用任何agent或者工具）。 
结果： 
Gemini 3.6 flash（完全正确，3分钟左右）Deepseek v4pro（6分钟左右，完全正确） 
qwen 3.7max（10分钟左右，正确，但是依旧硬算，没有要求外微分和三角化坐标归约也是10分钟硬算出来） 
glm 5.2，Kimi 2.6时间太长了，没等出结果。 
Kimi k3、qwen 3.8 max未测试。 
随便测试的，每个模型只测了两三次。