CMU Talk Explains OpenAI's Proof of Non-Sofic Groups

A talk at Carnegie Mellon University explained OpenAI's recent proof of the existence of non-sofic groups, a long-open problem in group theory, signaling that AI-generated mathematical work is entering serious academic territory.

2026-09-04 ~ 2026-09-04 · 2 related posts

• Mathematician gives CMU talk on OpenAI's proof of a non-sofic group — littmath · 2026-09-04
• OpenAI claims first proof of a non-sofic group, unpacked in CMU talk — SebastienBubeck · 2026-09-04