Moonshine 将 AI4Math 目标从“解题”推进到自主生成数学猜想，并在 Neural Jacobian Conjecture 上取得部分证明

Moonshine 提出以 conjecture generation 为核心的 autonomous mathematical research agent：从经典问题抽取结构、迁移概念、生成新猜想，并围绕猜想建立理论框架。论文以 Jacobian conjecture 为起点提出 Neural Jacobian Conjecture；GPT-5.5 Pro 与 DeepSeek-V4 Pro 分别给出 N=n+1 情形的完整证明，另通过交互式 ChatGPT 得到几何拓扑证明。一般 N≥n+2 情形仍开放。