12:28arXiv: DeepSeek@Xiaoyang Chen, Xiang Jiang精选Moonshine 是一个自主智能体,其核心目标是生成数学猜想,而非仅解决单个命题。它通过从经典问题中提取结构、提炼新概念并构建可扩展的理论框架来运作。以雅可比猜想为例,Moonshine 将其核心逻辑迁移至单隐藏层仿射-脊sigmoid网络,提出了神经雅可比猜想(NJC)。利用GPT-5.5-pro和DeepSeek-V4-pro,Moonshine 独立证明了NJC在N=n+1情况下的正确性,并通过ChatGPT交互得到了几何拓扑证明。这项工作展示了Moonshine自主生成有意义数学问题并取得严谨进展的能力。论文智能体数学研究猜想生成GPT-5.5-proDeepSeek-V4-pro1 个信源在谈推荐理由:Moonshine 把数学研究从“解题”推向“猜想的自动生成”,做AI for Science或数学自动化的研究者值得关注,它展示了智能体如何自主发现并推进新问题。原文