A non-residually-finite torsion-free hyperbolic group 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 non-residually-finite torsion-free hyperbolic group

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

>>> How to Play <<<

A torsion-free hyperbolic group that is neither residually finite nor linear over any field. Constructs a torsion-free word-hyperbolic group that is not residually finite, answering the residual-finiteness question negatively. One fixed nonidentity element is killed by every finite-dimensional linear representation over every commutative field, so the group is not linear over any such field.

>>> Level Select <<<

LEVEL 1 A torsion-free hyperbolic group that is not residually finite

released 2026-09-23 | 2 theorems · 7 lemmas · 11 proofs · 10,212 words | PLAY LEVEL 1 » (pdf)

We construct a torsion-free word-hyperbolic group that is not residually finite, answering the residual-finiteness question for hyperbolic groups negatively.

More Group theory Games!
Quasi-isometric rigidity of virtually polycyclic groups	Howie's conjecture on equations over groups	A hyperbolic group with no geometric CAT(0) action	Gersten's conjecture for one-relator groups
A group without fixed price	Cannon's conjecture HOT!	An infinite finitely presented residually finite $2$-group	Thompson's group $F$ is nonamenable 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