¿Puede la inteligencia artificial ayudar a encontrar vida en Marte o en los mundos helados?