标签
A tweet describing a talk at Carnegie Mellon University that explains OpenAI's recent proof of the existence of non-sofic groups, covering concepts like Cayley graphs, LEF groups, and the use of Thompson group V and property T.