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
- Emotion is an optimizer's control plane, not an irrational advisor — mimi10v3 · 2026-09-04
- Apodex launches TRACES, a benchmark grading AI's reasoning trajectories on unsolved science problems — rohanpaul_ai · 2026-09-04
- New f-loss Cures Spectral Bias in Pixel-Space Flow Matching, Speeding Convergence — serrjoa · 2026-09-04
- Reading bad ML papers? Three philosophy-of-science classics to fix your thinking — _lewtun · 2026-09-04
- The Second Bitter Lesson: Sutton's thesis extends beyond models to the application layer — alexvoica · 2026-09-04
- SplatAD open-sources real-time lidar and camera rendering with 3D Gaussian Splatting — rsasaki0109 · 2026-09-04