A hyperbolic group with no geometric CAT(0) action 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 hyperbolic group with no geometric CAT(0) action

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:	symmetry	Levels:	1
Category:	Group theory	Lean version:	YES! ✔
Rate this game! 4.6 out of 5 (6,876 votes)

>>> How to Play <<<

A hyperbolic group without a geometric CAT(0) action. Answers negatively whether every word-hyperbolic group is a CAT(0) group. Constructs one with a finite classifying space but no proper cocompact isometric action on any proper complete $\mathop{\mathrm{CAT}}\nolimits (0)$ space, in any dimension.

>>> Level Select <<<

LEVEL 1 A hyperbolic group with no geometric CAT(0) action

released 2026-09-25 | 2 theorems · 25 lemmas · 31 proofs · 19,615 words | PLAY LEVEL 1 » (pdf)

We construct a hyperbolic group with a finite classifying space that admits no geometric action on a proper complete CAT(0) space. Consequently, a finite aspherical simplicial complex with a linear combinatorial disk-filling inequality need not have a finite locally CAT(0) homotopy model, and hence need not have a finite locally CAT(−1) model. Here metric models carry geodesic length metrics inducing the given complex topology.

More Group theory Games!
An infinite finitely presented residually finite $2$-group	Thompson's group $F$ is nonamenable HOT!	A finitely generated counterexample to Eilenberg–Ganea	The Boone–Higman conjecture and higher finiteness
Amenability, unitarizability, and Ulam stability	A non-residually-finite torsion-free hyperbolic group	An infinite finitely presented simple amenable group	Classifying spaces and geometric obstructions for Artin groups

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