arXiv: Moonshine — autonomous agent that generates new mathematical conjectures and proves theorems

Mathematical research has always been regarded as the pinnacle of human creativity and abstraction — a domain where machines can assist with calculations but cannot lead theoretical development. A paper published on June 9, 2026, by Xiaoyang Chen and Xiang Jiang challenges this assumption. Moonshine is an autonomous research agent that does not solve given mathematical problems but instead formulates new mathematical conjectures — statements assumed to be true but not yet proven.

The difference is crucial: while most AI systems advance by solving problems formulated by humans, Moonshine builds its own theoretical frameworks. The goal is a system that does not merely apply mathematics, but advances it.

Methodology: structure extraction and conjecture generation

Moonshine’s process does not begin with a concrete mathematical question. Instead, the agent analyzes classical problems to identify the abstract logical structure that defines them — what makes a problem a problem, independent of the specific mathematical objects involved.

It then transfers that structure to a new domain, formulates appropriate concepts, and builds a theoretical framework through iterative conjecture generation and obstacle identification — places where a potential proof would encounter difficulties and where new mathematical tools need to be developed.

This approach mirrors the way top mathematicians work: by recognizing analogies between seemingly unrelated problems and constructing bridges between different branches of mathematics.

What is the Jacobian conjecture and why was it chosen for testing?

For the demonstration, the researchers selected the Jacobian conjecture — one of the classical open problems in mathematics, asking whether local nondegeneracy of a map can guarantee global injectivity. Moonshine did not attempt to prove or disprove the Jacobian conjecture directly — that would be the standard approach of solving a given problem.

Instead, it extracted the conjecture’s logical structure and transferred it to a completely new domain: one-hidden-layer affine-ridge sigmoid networks. The result was the formulation of the Neural Jacobian Conjecture (NJC): if a single-hidden-layer affine-ridge sigmoid network has an everywhere strictly positive Jacobian determinant, then it must be globally injective.

This conjecture is original — it was not known in the literature — and is directly inspired by the structural transfer from a classical problem, not by ad hoc intuition or literature search.

Proofs and open questions

Formulating the conjecture is only the beginning. Moonshine used GPT-5.5-pro and DeepSeek-V4-pro as language models for generating mathematical proofs and obtained complete proofs for the N=n+1 case — the special case where the network has exactly one neuron more than the input dimension. Additionally, a geometric-topological proof was developed that approaches the problem from a different perspective.

However, the general case N≥n+2 remains open. Moonshine could not prove the conjecture for networks with two or more neurons above the input dimension — which remains a challenge for future research at the intersection of mathematics and neural network theory.

Both approaches provide rigorous mathematical confirmation of the conjecture for the special case, which is itself a significant contribution. The general case remains an open question inviting mathematicians and AI researchers to further collaboration.

The boundary between applying and creating knowledge

The researchers position Moonshine as a step toward agents that advance mathematical knowledge rather than merely applying existing techniques. The distinction is philosophically and practically important. Application of knowledge — solving given problems using known algorithms and methods — has long been a strength of computational systems. Creation of knowledge — formulating new questions, recognizing new structures, building theoretical frameworks — has been considered an exclusively human domain.

Moonshine does not claim to definitively cross that boundary: one successful example does not prove a general capacity for autonomous mathematical research. But it demonstrates a viable methodological framework in which an agent can systematically extract abstract structure from one problem and apply it to another domain — which is precisely what top mathematicians do when they “see” that the same principle appears in seemingly unrelated areas of mathematics.

Next steps include expanding the methodology to more mathematical domains, improving obstacle-identification mechanisms, and attacking the general N≥n+2 case of the Neural Jacobian Conjecture. The paper is classified under computational intelligence and functional analysis, reflecting its interdisciplinary nature.