Problem detail · source-aware
VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Regev and Stephens-Davidowitz conjectured that $\mathbb{Z}^n$ maximizes the Gaussian mass $\Theta_L(t) = \sum_{x \in L} e^{-t\|x\|^2}$ over stable lattices for every $t > 0$. The sharp inequality holds for every integral unimodular lattice of rank $n \le 32$, with equality only at $\mathbb{Z}^n$.
The source statement is reproduced for indexing with attribution. Mathematical correctness requires domain-expert or mechanical review. VibeMath has not independently audited statement fidelity, correctness, priority, or novelty.
The disclosure says the models were used for computations, analysis and synthesis in preparing the article, without separating which of the three, so the lowest tier applies.
Provider: OpenAI / Anthropic · Prompt public: unknown · Independence: unknown
Single-author arXiv preprint; not yet peer-reviewed.
Correctness: unknown · statement fidelity: unaudited · peer review: none
integral unimodular lattices of rank at most 32; the general conjecture is open
Source-reported tools: argument.
Independent: unknown · difference confidence: 0
VibeMath has not independently audited the mathematical statement, proof, or novelty claim.