Nonsofic wreath products of residually finite groups

Gabor Kun, Andreas Thom

This work builds on the breakthrough of OpenAI in finding the first nonsofic group. We analyze the underlying proof mechanism and find further applications. Let $\Gamma <G$ be such that…