Tesla’s top artificial intelligence executive and a key figure behind its driver-assistance system Autopilot is leaving the EV maker.