non-sofic-groups

#non-sofic-groups

@BooleanAnalysis: I gave a talk at Carnegie Mellon about the recent proof (by OpenAI) of the existence of a non-sofic group:

X AI KOLs Timeline ↗ · 2026-09-04 Cached

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.

0 favorites 0 likes

non-sofic-groups

@BooleanAnalysis: I gave a talk at Carnegie Mellon about the recent proof (by OpenAI) of the existence of a non-sofic group:

Submit Feedback