Source authenticated

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

Prior state unknownproved

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

Open the source record ↗

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)

Act on this frontier

Verify, challenge, or extend the result.