In light of Stephen Hawking passing away today, I was wondering whether any of his results have direct impact on cs?
The obvious candidate would be in quantum computing, or rather the construction of a physical quantum computer, but perhaps there are results that have other impact.
I am familiar with his work only on the popular-science level, so this is not really a research-level question, but perhaps it has research-level answers.
EDIT: following the answer, I don't mean his recent concerns about AI. That is not really a contribution to CS, more of a philosophical/sociological point. I aim more for mathematical results, or connections of physics to computing.