Invited talk in the Fourth Youth Forum on the Next Generation Computer Sciences, Peking University.