London-born Sir Demis founded the AI start-up Google DeepMind.