La nave de 2001 aterriza en Madrid: HAL 9000 y la inteligencia artificial