Prove TorsionFreeHyperbolic (openai/math family 252: A non-residually-finite torsion-free hyperbolic group)…
Prove TorsionFreeHyperbolic (openai/math family 252: A non-residually-finite torsion-free hyperbolic group)…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 252 of the release, A non-residually-finite torsion-free hyperbolic group (Group…
The task
Context: this statement belongs to family 252 of the release, *A non-residually-finite torsion-free hyperbolic group* (Group theory). The family as a whole: Constructs a torsion-free word-hyperbolic group that is not residually finite, answering the residual-finiteness question negatively. One fixed nonidentity…
Part of raising-heart/openai-math.