https://mathoverflow.net/questions/513866/what-are-the-key-new-ideas-in-the-proof-of-nonsoficity-of-groups-in-openai-s-con
gr.group theory - What are the key new ideas in the proof of nonsoficity of groups in OpenAI’s...
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...