AI 发现 87 年未解雅可比猜想反例，Wolfram 给出验证笔记

CatAstro_Piyush · x · 2026-07-29

Wolfram Japan 提到，AI 找到了被认为是 87 年未解的数学难题——Jacobian conjecture（雅可比猜想）——的反例，并表示这份 notebook 会用 Wolfram Language 实际验证这个反例。

链接指向 Wolfram Community 的技术讨论，重点不只是“AI 发现了什么”，还包括如何复现和检验这一结果，因此更像一篇可复现的技术笔记/研究讨论。