An OpenAI model proves that non-sofic groups exist | Dark Hacker News