The most-cited computer scientist alive says AI could make humanity extinct within a decade