Ryan O'Donnell Gives Talk on Non-Sofic Group Proof

Ryan O'Donnell posted that he gave a talk at Carnegie Mellon about the recent proof by OpenAI of the existence of a non-sofic group. The post links to a YouTube video of the presentation. Evidence identifies him as a CMU CS professor renowned for analysis of Boolean functions. The post establishes his own claim that he delivered the talk on the topic.