自動化數學代理人

深度分析

「Moonshine」自動化數學代理人框架：神經雅可比猜想的定義與部分驗證

Moonshine是一個自動化數學研究代理人，核心目標是產生可驗證的數學猜想。它從雅可比猜想抽象核心概念，提出神經雅可比猜想，並在寬度N=n與N=n+1的情況下證明全局單射。它利用結構辨識、橋接建構與障礙辨識三大模組，並保留研究日誌以支援後續驗證。