An OpenAI model proves that non-sofic groups exist #1 Post by linzhangrun » Sat, Aug 01, 2026, 9:59 AM UTC An OpenAI model proves that non-sofic groups existtwitter.com