An OpenAI model proves that non-sofic groups exist

1 points | by linzhangrun 8 hours ago