A new satellite will use Google's AI to map methane leaks from space