Moonshine：一个以猜想生成为中心的自主数学研究智能体

Moonshine 是一个旨在生成数学猜想的自主智能体。其核心能力是从经典问题中提取结构、提炼新概念并构建具有数学意义的猜想，而非仅求解单一命题。本文以雅可比猜想探索为例，展示了 Moonshine 如何将局部非退化性推导至全局单射性的逻辑迁移至神经网络，提出“神经雅可比猜想”。通过调用大模型，该智能体独立完成了特定情形的证明，并开发了几何拓扑证明，体现了其自主生成有意义数学问题并取得严谨进展的能力。