Ryan O'Donnell @BooleanAnalysisI gave a talk at Carnegie Mellon about the recent proof (by OpenAI) of the existence of a non-sofic group:youtu.be/uOQvzLjJK6cyoutube.comA non-sofic groupSep 4, 2026, 3:13 AM UTC 3 165