ChatGPT might be taking over the internet, but a computer scientist explains why some problems are still too hard to solve—Even for AI