Author verified AI-led

Counterexamples to the Gaussian moments conjecture

Counterexamples to the Gaussian moments conjecture is graded author verified on whataifound.org, with the AI's role graded ai-led.

Explicit low-degree polynomials disproving a 2017 conjecture that had been proposed as a route to proving the Jacobian conjecture, found days after that conjecture was itself disproved.

Verification
Author verified
Autonomy
AI-led
Lab
Independent
Model
GPT-5.6 Sol Pro + Claude Fable 5
Field
Mathematics
Date
2026-07-20
Human collaborators
Christopher D. Long
Problem posed
2017 · open 9 yrs

What was found

Derksen, van den Essen and Zhao proposed the Gaussian moments conjecture and showed that the Jacobian conjecture would follow from it. Long reports that a cubic counterexample in four variables was produced by GPT-5.6 Sol Pro with no human intervention after the initial prompt, which simply noted that the Jacobian conjecture had just been disproved and asked whether a small counterexample to GMC might therefore exist; Claude Fable 5 then found a quartic counterexample in three variables and supplied independent algebraic checks. Together these show GMC(n) is false for every n ≥ 3.

Novelty check

The Gaussian moments conjecture is due to Derksen, van den Essen and Zhao (Israel J. Math., 2017), building on their earlier moment-vanishing and integral conjectures. No prior counterexample appears in the literature; the conjecture's interest was precisely that it implied the Jacobian conjecture, which was disproved on 2026-07-19. The two-variable case GMC(2) is explicitly left open by this paper.

Caveats

arXiv preprint, not peer-reviewed, single author. The constructions are explicit polynomials and checkable by computer algebra, which lowers the cost of verification, but no independent check is on the public record yet. The result is a corollary of the Jacobian collapse rather than an independent line of attack: the prompt that produced it began by telling the model that the Jacobian conjecture had fallen.

Sources

How this is graded

whataifound.org grades every entry on two axes: verification (how solid the result is, from a machine-checked proof down to refuted) and autonomy (how much the AI did versus its human collaborators). This finding is author verified and ai-led. Full definitions are in the methodology.

Cite this entry

whataifound.org (2026). Counterexamples to the Gaussian moments conjecture. whataifound.org: A Registry of AI Scientific and Mathematical Discoveries. https://whataifound.org/finding/2026-07-20-gaussian-moments

← All mathematics findings in the registry