A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
A counterexample to Bang's cylinder-covering bound
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Snaky <<<

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:4
Category:Convex and metric geometry Lean version:YES! ✔
Rate this game! 4.1 out of 5 (9,156 votes)

>>> How to Play <<<
Cylinder coverings below the half-area bound. Covers the entire closed regular tetrahedron by finitely many cylinders with compact triangular perpendicular bases whose total area is less than half its smallest orthogonal projection area. This disproves Bang's half-area cylinder-covering bound and the stronger directionwise normalized conjecture in dimension three.

>>> Level Select <<<
released 2026-09-27  |  2 theorems · 1 lemma · 9 proofs · 6,680 words  |  PLAY LEVEL 1 »  (pdf)
A regular tetrahedron admits a finite cylinder covering with compact triangular perpendicular bases whose total area is less than half its minimum orthogonal projection area. This disproves the half-area cylinder-covering conjecture. By affine invariance, the same construction gives a counterexample to the directionwise normalized half-bound for every nondegenerate tetrahedron.
released 2026-09-27  |  2 theorems · 5 lemmas · 9 proofs · 4,999 words  |  PLAY LEVEL 2 »  (pdf)
We approximate compact ruled families of segments by finitely many cylinders with square intercept tiles and perpendicular-base area at most their integral projection cost plus any positive error. The velocity field is C1, and its differential has opposite real eigenvalues whose magnitudes are strictly below the inverse segment half-length; both eigenvalues may vanish. The result includes square-zero differentials with unrestricted shear and fields that pass between the two regimes. It holds for arbitrary compact label sets.
released 2026-09-27  |  2 theorems · 5 lemmas · 8 proofs · 8,505 words  |  PLAY LEVEL 3 »  (pdf)
The two-cylinder covering of a regular tetrahedron can be perturbed to give finite covers with total perpendicular base area strictly below half its minimum projection area. These covers give negative answers to both the half-area question and the directionwise normalized half-bound conjecture. By affine invariance, the directionwise conclusion holds for every nondegenerate tetrahedron.
released 2026-09-27  |  1 theorem · 4 lemmas · 8 proofs · 10,640 words  |  PLAY LEVEL 4 »  (pdf)
We prove that radially aligned segment sweeps admit finite cylinder covers with one triangular base for each interval of any tagged partition. As the mesh tends to zero, the total perpendicular base area converges to a weighted parameter area. An explicit application covers every regular tetrahedron with total base area below half its minimum projection area, giving negative answers to the half-area question and the directionwise normalized 1-Codimensional Cylinder Covering Conjecture.

More Convex and metric geometry Games!
The logarithmic Brunn–Minkowski conjecture HOT!The optimal order of convex-body covering densityDimension-free logarithmic Sobolev inequality for subgaussian log-concave measuresSubpolynomial dimension reduction in $L_p$
Hyperbolicity cones without semidefinite liftsThe Gaussian propeller conjectureThe Euclidean Steinitz–Bergström conjectureA negative answer to the Lang–Plaut problem

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