He helped Microsoft build AI to help the climate. Then Microsoft sold it to Big Oil.