The symmetric Mahler conjecture and its equality cases
Source: github.com/openai/math/tree/main/preprints/The-symmetric-Ma…
We resolve the symmetric Mahler conjecture positively, including its equality classification. Every origin-symmetric convex body in ℝ n has volume product at least $4^n/n!$, with equality exactly for invertible linear images of Hanner polytopes.
Comments and reviews
No comments yet.
Discussed elsewhere
proofs of both the symmetric and general Mahler conjectures in every dimension, including the equality cases of Hanner polytopes and simplices, respectively. Borsuk’s problem in dimension nine. The question of the smallest dimension admitting a counterexample to Borsuk’s conjecture has appeared…
API
curl /api/v1/records/openai-math/The-symmetric-Mahler-conjecture-and-its-equality-cases
curl -X POST /api/v1/records/openai-math/The-symmetric-Mahler-conjecture-and-its-equality-cases/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/openai-math/The-symmetric-Mahler-conjecture-and-its-equality-cases/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'
Notes on OpenAI's proof of the symmetric Mahler conjecturerotemassouline.github.ioRotem Assouline
The following note is based on ongoing conversations between me and Claude about OpenAI's recent claimed proof of the symmetric Mahler conjecture . While the main ideas are taken from the original proof, some of the details are being rewritten to facilitate my understanding, and some figures and…