A negative answer to the Lang–Plaut problem at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

A
D
V
E
R
T

I
S
E
M
E
N
T

A negative answer to the Lang–Plaut problem

at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

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.2 out of 5 (9,009 votes)

>>> How to Play <<<

Compact counterexamples to bi-Lipschitz dimension reduction. Every infinite-dimensional real Banach space contains a compact doubling set that admits no bi-Lipschitz embedding into any finite-dimensional normed space. The doubling constant is universal. This answers the Lang–Plaut problem negatively, even for compact subsets of Hilbert space.

>>> Level Select <<<

LEVEL 1 A doubling Hilbert subset with no finite-dimensional bi-Lipschitz embedding

released 2026-09-25 | 1 theorem · 1 lemma · 5 proofs · 5,317 words | PLAY LEVEL 1 » (pdf)

Every infinite-dimensional real Banach space contains a compact doubling subset that admits no bi-Lipschitz embedding into any finite-dimensional real normed space. The doubling constant has a universal bound, independent of the ambient Banach space. This answers the Lang–Plaut problem negatively, even for compact subsets of Hilbert space.

More Convex and metric geometry Games!
The sharp distortion of edit distance into $\ell_1$	A counterexample to Bang's cylinder-covering bound	The sharp simplex conjecture for isotropic constants	The Mahler conjectures and symplectic width HOT!
Petty's projection-volume conjecture and simplex counterexamples	Bounded-distortion $L_1$ embeddings of planar and bounded-treewidth graphs	Universal optimality of the triangular lattice HOT!	The logarithmic Brunn–Minkowski conjecture HOT!

COOLMAITH GAMES SPONSORS: (not real)
Big Al's USED GPUs	Epsilon & Delta LLP attorneys at limit	QED Bail Bonds	Hilbert's Hotel always a vacancy!

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

You are visitor number 000719

Thanks for visiting CoolmAIth Games
© 1997-2026 CoolmAIth Games. A parody. Not affiliated with Coolmath.com LLC or OpenAI.
Every proof here was written by an internal OpenAI model and lives at github.com/openai/math.
Best viewed in Netscape Navigator 4.0 at 800x600