What are the key new ideas in the proof of nonsoficity of groups in OpenAI’s construction of nonsofic groups – mathoverflow.net

OpenAI has announced a proof of the existence of nonsofic groups. Their main new idea seems to be Proposition 2.3. I was wondering if an expert could provide a summary of the new idea and how widely ...