A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
The logarithmic Brunn–Minkowski conjecture
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Gaussian Moat Hopper <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, go here for help. (Lean version available!)
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:shapes, measuring stuff Levels:1
Category:Convex and metric geometry Lean version:YES! ✔
Rate this game! 4.6 out of 5 (7,902 votes)

>>> How to Play <<<
Logarithmic and Lp Brunn–Minkowski inequalities and the B-conjecture. Proves the logarithmic Brunn–Minkowski inequality for origin-symmetric convex bodies in every dimension, and the scalar-dilation B-conjecture for all even log-concave Radon measures. For Lebesgue volume it also proves the additive Lp Brunn–Minkowski inequality for full-dimensional origin-symmetric convex bodies throughout $0\lt p\lt 1$.

>>> Level Select <<<
released 2026-09-23  |  1 theorem · 3 lemmas · 7 proofs · 7,409 words  |  PLAY LEVEL 1 »  (pdf)
We prove the logarithmic Brunn–Minkowski conjecture for arbitrary origin-symmetric convex bodies in every dimension. The theorem also gives the symmetric Lp Brunn–Minkowski inequality for every $0\lt p\lt 1$. Combined with Saroglou's transfer theorem and a support-subspace reduction, it yields the logarithmic inequality for every even log-concave Radon measure and the scalar-dilation $(B)$-conjecture.

More Convex and metric geometry Games!
The Gaussian propeller conjectureThe Euclidean Steinitz–Bergström conjectureA negative answer to the Lang–Plaut problemThe sharp distortion of edit distance into $\ell_1$
A counterexample to Bang's cylinder-covering boundThe sharp simplex conjecture for isotropic constantsThe Mahler conjectures and symplectic width HOT!Petty's projection-volume conjecture and simplex counterexamples

Cool Links: openai/math   Lean   Mathlib   arXiv   the real Coolmath Games