neural-jacobian-conjecture

This paper presents Moonshine, an autonomous mathematical research agent that generates conjectures, exemplified by deriving the Neural Jacobian Conjecture from the classical Jacobian conjecture and proving a special case using LLMs.