SETI thinks AI could help rovers search for life on Mars