A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
The geometric case of the Erdős similarity conjecture
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:squiggles, limits Levels:2
Category:Real and complex analysis Lean version:YES! ✔
Rate this game! 4.3 out of 5 (3,363 votes)

>>> How to Play <<<
The geometric case of the Erdős similarity conjecture. For every fixed $q\in(0,1)$, constructs compact subsets of $[0,1]$ with measure arbitrarily close to one containing no translated and nontrivially dilated copy of $\{q^n:n\ge1\}$, with dilations of either sign. This resolves the geometric-progression case of the Erdős similarity conjecture for every ratio.

>>> Level Select <<<
released 2026-10-05  |  1 theorem · 7 lemmas · 9 proofs · 5,369 words  |  PLAY LEVEL 1 »  (pdf)
We prove the geometric-progression case of the Erdős similarity conjecture. For every fixed $q\in(0,1)$ and every $\eta\in(0,1)$, we construct a compact set $E_{q,\eta}\subseteq[0,1]$ of measure greater than $1-\eta$ containing no nontrivial affine copy of $\{q^n:n\ge1\}$, for any translation and either sign of nonzero dilation. The set may depend on q; the result makes no simultaneous assertion for different ratios.
released 2026-09-25  |  1 theorem · 6 lemmas · 8 proofs · 6,746 words  |  PLAY LEVEL 2 »  (pdf)
We construct a compact subset of the unit interval, of measure arbitrarily close to one, that contains no affine copy of the dyadic sequence $\{2^{-n}:n\ge1\}$. The conclusion holds for every translation and every nonzero real dilation, of either sign, proving the dyadic case of the Erdős similarity conjecture.

More Real and complex analysis Games!
An $L^3$ bound for the trilinear Hilbert transformKoebe's circle-domain conjecture and circle-domain rigidityBrennan's conjecture and a counterexample to Kraetzer's predictionThe Falconer distance conjecture HOT!
Kakeya in three and four dimensions HOT!The $L\log L$ Fourier-convergence conjectureUltraflat real Littlewood polynomialsFourier restriction for positively curved surfaces

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