The British computer scientist founded the AI start-up in 2010, which played a key role in helping solve the mystery of how protein structures form.