John Carmack: I’m going to work on artificial general intelligence