Francois Chollet, a leading figure in the AI world, is leaving Google after close to a decade at the company.