Apple names former Microsoft, Google exec to succeed retiring AI chief