Stephen Hawking had theories on topics from artificial intelligence to humans moving to other planets.