OpenAI claims first proof of a non-sofic group, unpacked in CMU talk
SebastienBubeck · x · 2026-09-04
A talk at Carnegie Mellon walks through OpenAI's recent proof establishing the existence of a non-sofic group — a long-open question in group theory, notable for coming out of an AI lab rather than a pure math department.
Related event: CMU Talk Explains OpenAI's Proof of Non-Sofic Groups(2 posts)→
More from Research
- Richard Socher: AI could compress a century of scientific breakthroughs into a decade — RichardSocher · 2026-10-21
- Startup Electric Plant builds an AI model to decipher plants' electrical signals — TechCrunch AI · 2026-10-21
- Claude reads the literature to build open human surfaceome atlas, claim by claim — owl_posting · 2026-10-20
- Eval researcher teases guide to subjective-task evals, with a curated resource list — cwolferesearch · 2026-10-20
- IIT Madras article splits LLM memory into five approaches and asks why belief revision is still missing — LimeOptimal539 · 2026-10-20
- Scholar writes AI-assisted book on storytelling values, work nominated for EMNLP best paper — _akpiper · 2026-10-20