Retweet of Talk on OpenAI Non-Sofic Group Proof

Sébastien Bubeck retweeted a post by @BooleanAnalysis. The original message states that its author gave a talk at Carnegie Mellon about a recent proof by OpenAI. The proof is described in the post as showing the existence of a non-sofic group. Bubeck is identified in the packet as an OpenAI researcher with prior work in machine learning theory. The visible content consists of this retweet and the announcement of the talk. No additional details on the proof contents or independent confirmation appear in the packet. The post does not include further elaboration on the mathematical claim or its status beyond the speaker's description.