A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Koebe's circle-domain conjecture and circle-domain rigidity
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Egyptian Fractions <<<

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.8 out of 5 (3,395 votes)

>>> How to Play <<<
Koebe’s circle-domain conjecture. Resolves the existence part of Koebe's circle-domain conjecture: every domain in the Riemann sphere is conformally equivalent to a domain whose complementary components are round disks or points. It also proves that circle domains with conformally removable boundary are rigid, meaning every conformal equivalence to another circle domain is Möbius, establishing this direction of the He–Schramm conjecture.

>>> Level Select <<<
released 2026-09-23  |  2 theorems · 7 lemmas · 11 proofs · 11,882 words  |  PLAY LEVEL 1 »  (pdf)
We prove that a circle domain with conformally removable boundary is conformally rigid, with no restriction on the number of complementary components. This establishes the removability-to-rigidity direction of the He–Schramm Conjecture.
released 2026-09-23  |  7 theorems · 21 lemmas · 30 proofs · 31,528 words  |  PLAY LEVEL 2 »  (pdf)
We prove that every domain in the Riemann sphere is conformally equivalent to a circle domain, resolving Koebe's circle-domain conjecture positively.

More Real and complex analysis Games!
Brennan'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 conjecture
Ultraflat real Littlewood polynomialsFourier restriction for positively curved surfacesThe three-dimensional Bochner–Riesz conjectureSogge's local smoothing conjecture in dimension three

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