AIProofWatch
← Explore interestsIndividual problem

AI-assisted small counterexamples to the Gaussian Moments Conjecture

Christopher D.

Progress records 1

Understand the problem ↓

1 record · How we rate progress

AI-assisted small counterexamples to the Gaussian Moments Conjecture

Christopher D. Long reports explicit complex polynomials P and Q in three independent real Gaussian variables with E(P^m)=0 and E(QP^m)=m! for every positive integer m. A five-term degree-four example refutes the conjecture in every dimension at least three; a six-term cubic example works in four variables.

Read original source Original paper and AI-provenance sectionarxiv.org

Original report: 2026-07-20

Understanding the problem

Read the background

Christopher D. Long reports explicit complex polynomials P and Q in three independent real Gaussian variables with E(P^m)=0 and E(QP^m)=m! for every positive integer m. A five-term degree-four example refutes the conjecture in every dimension at least three; a six-term cubic example works in four variables.

Why it matters

If correct, refutes the Gaussian Moments Conjecture with small explicit witnesses, beyond a nonconstructive implication in a much larger dimension.

What counts as progress

A sourced result with the exact hypotheses, baseline, and AI role stated; verification is assessed separately.

What to watch for

  • Compare the precise theorem and hypotheses with the previous baseline.
  • Read the checking scope and retain human and prior-work attribution.

Background review: 2026-10-11. Selected sources:

Website timeline

Publication dates and editorial changes.