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