Das Londoner Start-up für autonomes Fahren ist jetzt fast neun Milliarden Dollar wert. Dahinter steckt eines der ambitioniertesten KI-Forschungsprojekte Europas.