Skip to content
lectern.tv
Study notebook

Press N to jot a timestamped note or B to pin a moment while watching.

The Existence of a Non-Sofic Group

Ryan O'DonnellCarnegie Mellon University

Professor of Computer Science

55:36·2026·research level·Research Seminar

A detailed seminar at the Carnegie Mellon ACO seminar series, discussing the groundbreaking proof of the existence of a non-sofic group, integrating concepts from group theory and mathematical logic.

MathematicsNumber Theory & Abstract Algebragroup theoryoperator algebrasmathematical logic

A talk at the Carnegie Mellon ACO seminar in the math department about the existence of a non-sofic group, proven by OpenAI (based in part by work of Kun and Thom).

Link to the note I wrote about Property (T): https://www.cs.cmu.edu/~odonnell/papers/elementary-property-t.pdf

Discussion

0
Join the discussion — share questions, derivations, or timestamped notes.Sign in to comment
No comments on this lecture yet. Start the discussion above.