The symmetric Mahler conjecture and its equality cases
Recorded by the registry's curators from GitHub; the authors did not submit it here.
OpenAI
We resolve the symmetric Mahler conjecture positively, including its equality classification. Every origin-symmetric convex body in $\R^n$ has volume product at least $4^n/n!$, with equality exactly for invertible linear images of Hanner polytopes.
Claims
SOLUTION CLAIMED
OP-00695 — The symmetric Mahler inequality in four dimensions
Files and sources
- Paper
- math @ 1581d4c, build/main.tex ↗
- Posted on GitHub
- 6 October 2026
No verification run is on record for this version.