GPT has proved nonsofic groups are exist | Hacker News Reader