John Carmack: The code for AGI will be simple