Sources: Robby Walker, one of Apple’s most senior AI executives who was in charge of Siri until earlier this year, is leaving the company next month (Mark Gurman/Bloomberg)