GPT has proved nonsofic groups are exist
twitter.com