Meet Robert, the alien hunting AI: Smart software will scour exoplanets for signs of life