Microsoft is losing a key AI exec during a crucial moment that could shape the future of the company