Mathematician gives CMU talk on OpenAI's proof of a non-sofic group
littmath · x · 2026-09-04
A mathematician (@BooleanAnalysis) gave a talk at Carnegie Mellon covering OpenAI's recent proof of the existence of a non-sofic group — a notable moment of AI-generated math entering serious academic discourse.
Thomas Bloom, in amplifying it, argues we should normalize great mathematicians and expositors giving talks about AI-generated work that isn't their own, as the best way to get these ideas "inside the minds of humans."
More from Research
- Training contact-rich humanoid manipulation policies purely inside a world model — chris_j_paxton · 2026-09-04
- AMLaP 2026 keynote compares prediction in humans and LLMs, slides published — tallinzen · 2026-09-04
- Two-stage deep learning framework detects neonatal brain pathologies from MRI — Dr_Alex_Crimi · 2026-09-04
- He rebuilt GTA's 1997 Liberty City as an agent-based epidemic simulator — closing malls flattens the curve — TivadarDanka · 2026-09-04
- Red-Teaming Semantic Cache Verifiers: 84% of Adversarial Pairs Slip Through — Reasonable_Royal_621 · 2026-09-04
- TACL to desk-reject papers: readable figures required, appendices capped at 5 pages — EhudReiter · 2026-09-04