Gaussian product inequality conjecture
Let $\boldsymbol{X} = (X_1,\ldots,X_n)$ be a centered Gaussian vector, not necessarily nondegenerate. Then, for every $\alpha_1,\ldots,\alpha_n > 0$, $$\mathsf{E}\left[\prod_{i=1}^n |X_i|^{\alpha_i}\right] \geq \prod_{i=1}^n \mathsf{E}\left[|X_i|^{\alpha_i}\right].$$ Moreover, if $\mathsf{Var}(X_i) > 0$ for every $i$, then equality holds if and only if $X_1,\ldots,X_n$ are independent.
Exact FrontierDelta
Scope and record
Occurred: Jul 20, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-verified. Publication: announcement. AI contribution: ai-discovered. Imported under CC BY 4.0.
Canonical aliases: Gaussian product inequality conjecture · GPI
Confidence: Not scored
Registry verification: lean verified · announcement · resolved
Attribution
VibeMathed
registry · event recorded by
Frédéric Ouimet
human · human collaborator
Dylan Greaves
human · human collaborator
ChatGPT 5.6 Sol (Work Max)
model · ai model contributor
Lineage and corrections
This event attributed to Dylan Greaves
This event attributed to Frédéric Ouimet
This event attributed to ChatGPT 5.6 Sol (Work Max)