arXiv：Moonshine——自主生成新数学猜想并证明定理的研究代理

数学研究历来被视为人类创造力和抽象思维的顶峰——机器可以辅助计算，但不能主导理论发展。Xiaoyang Chen和Xiang Jiang于2026年6月9日发表的这篇论文对这一假设提出了质疑。Moonshine是一个自主研究代理，它不解决人类提出的数学问题，而是自行提出新的数学猜想（mathematical conjectures）——我们认为是真的但尚未证明的命题。

这一区别至关重要：大多数AI系统通过解决人类提出的问题来进步，而Moonshine构建自己的理论框架。目标是一个不仅能应用数学，而且能推动数学进步的系统。

方法论：结构提取与猜想生成

Moonshine的过程不从具体的数学问题开始。相反，代理分析经典问题以识别定义它们的抽象逻辑结构——使问题成为问题的本质，独立于它涉及的具体数学对象。

然后将这一结构转移到新领域，提出相应的概念，并通过猜想的迭代生成和障碍识别（obstacle identification）——在潜在证明会遇到困难、需要开发新数学工具的地方——来构建理论框架。

这一方法模仿了顶级数学家的工作方式：识别看似不相关问题之间的类比，并在数学的不同分支之间构建桥梁。

什么是Jacobi猜想，为何选择它进行测试？

为了演示这一能力，研究人员选择了Jacobi猜想（Jacobian conjecture）——数学中的经典开放问题之一，询问映射的局部非退化性是否能保证全局单射性。Moonshine没有尝试直接证明或反驳Jacobi猜想——那将是标准方法，即解决给定问题。

相反，它提取了其逻辑结构并将其转移到全新的领域：单隐层仿射岭sigmoid网络（one-hidden-layer affine-ridge sigmoid networks）。结果是提出了神经Jacobi猜想（Neural Jacobian Conjecture，NJC）：如果一个单隐层仿射岭sigmoid网络的Jacobi矩阵行列式处处严格为正，那么它必然是全局单射的。

这一猜想是原创的——在文献中尚不为人知——直接受到从经典问题进行结构转移的启发，而非凭借即兴直觉或文献检索。

证明与开放问题

提出猜想只是开始。Moonshine使用GPT-5.5-pro和DeepSeek-V4-pro作为语言模型来生成数学证明，获得了N=n+1情形的完整证明——这是网络恰好比输入维度多一个神经元的特殊情形。此外，还发展了一个从不同视角处理问题的几何拓扑证明。

然而，一般情形N≥n+2仍然是开放的。Moonshine未能为具有两个或更多超出输入维度神经元的网络证明猜想——这作为数学与神经网络理论交叉领域未来研究的挑战而留存。

两种方法都为特殊情形提供了严格的数学证明，这本身就是重要贡献。一般情形作为开放问题，邀请数学家和AI研究人员进一步合作。

知识应用与知识创造之间的边界

研究人员将Moonshine定位为向推动数学知识而非仅应用现有技术的代理迈进的一步。这一区别在哲学上和实践上都很重要。知识的应用——使用已知算法和方法解决给定问题——长期以来是计算系统的优势。知识的创造——提出新问题、识别新结构、构建理论框架——被认为是专属于人类的领域。

Moonshine并不声称已经明确跨越了这条线：一个成功的例子并不能证明自主数学研究的普遍能力。但它展示了一个可行的方法论框架，在该框架中，代理可以系统地从一个问题中提取抽象结构并将其应用于另一个领域——这正是顶级数学家在「看到」同一原理出现在看似不相关的数学领域时所做的事情。

后续步骤包括将方法论扩展到更多数学领域、改进障碍识别机制，以及攻克神经Jacobi猜想一般情形N≥n+2。该论文被分类在计算智能和泛函分析领域，反映了其跨学科性质。