The Falconer distance conjecture 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

The Falconer distance conjecture

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:	squiggles, limits	Levels:	1
Category:	Real and complex analysis	Lean version:	YES! ✔
Rate this game! 4.6 out of 5 (3,626 votes)

>>> How to Play <<<

The Falconer distance conjecture. Resolves the Falconer distance conjecture in every dimension d ≥ 2: every compact set $E\subset\mathbb R^d$ with Hausdorff dimension greater than $d/2$ determines a set of Euclidean distances of positive Lebesgue measure.

>>> Level Select <<<

LEVEL 1 The Falconer distance conjecture in all dimensions

released 2026-09-23 | 4 theorems · 33 lemmas · 45 proofs · 32,605 words | PLAY LEVEL 1 » (pdf)

We resolve the Falconer distance conjecture in every dimension. For every integer d ≥ 2, a compact subset of ℝ^d with Hausdorff dimension greater than $d/2$ determines a set of Euclidean distances of positive Lebesgue measure.

More Real and complex analysis Games!
Sogge's local smoothing conjecture in dimension three	The Sobolev endpoint in Carleson's Schrödinger convergence problem	The David–Semmes Riesz-transform problem in higher codimension	Maximal and variational bounds for the triangular Hilbert transform
Stein's conjecture for Hilbert transforms along Lipschitz directions	The geometric case of the Erdős similarity conjecture	Endpoint regularity of the planar centered maximal function	An $L^3$ bound for the trilinear Hilbert transform

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