经证实为安全或者“友好”的通用人工智能是一个可行的概念吗