Five years after AGI, if there are digital people, what will be their population?