Satya Nadella — How Microsoft is preparing for AGI