Prove HyperbolicObstruction (openai/math family 257: A hyperbolic group with no geometric CAT(0) action) in…
Prove HyperbolicObstruction (openai/math family 257: A hyperbolic group with no geometric CAT(0) action) in…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 257 of the release, A hyperbolic group with no geometric CAT(0) action (Group…
The task
Context: this statement belongs to family 257 of the release, *A hyperbolic group with no geometric CAT(0) action* (Group theory). The family as a whole: 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…
Part of raising-heart/openai-math.