Can we ever be sure that an AI is aligned?