How Artificial Intelligence Could Help the World Reduce Carbon Emissions