An example of a non-sofic hyperbolic group

We construct a torsion-free, two-dimensional, word-hyperbolic group which is not sofic. Our construction builds on OpenAI’s construction of a non-residually finite hyperbolic group, see OpenAI 252.