Moonshine: An Autonomous Mathematical Research Agent Centered on Conjecture Generation

In three linesMoonshine is an autonomous agent generating mathematical conjectures by extracting structure from classical problems and formulating significant conjectures. Applied to the Jacobian conjecture, it transfers the logic to affine-ridge sigmoid networks, formulating the Neural Jacobian Conjecture (NJC). GPT-5.5-pro and DeepSeek-V4-pro obtained complete proofs for N=n+1.

Summary generated by Claude — human-verified