Alphabet’s Ruth Porat brings a pragmatic optimism to the AI race—and a warning about the possible downsides