Astrobiologists train an AI to find life on Mars