He’s employing artificial intelligence in the fight against climate change.