Moonshine: An Autonomous Mathematical Research Agent Centered on Conjecture Generation
A new autonomous agent named Moonshine has been developed to generate mathematical conjectures and make progress on them. Moonshine explores complex problems by distilling new concepts and building theoretical frameworks. In one instance, it formulated the Neural Jacobian Conjecture and, with the aid of advanced AI models like GPT-5.5-pro and DeepSeek-V4-pro, developed proofs for a specific case of the conjecture. AI
IMPACT Demonstrates AI's growing capability in abstract reasoning and formal proof generation, potentially accelerating scientific discovery.