He also listed the whole "4.7m people 100-109, 3.6m people 110-119, 3.47m people 120-129, 3.9m people 130-139, 3.5m people 140-149, etc" claim about social security numbers that is more likely related to an old coding language covered by @davidgilbert.bsky.social here: https://www.wired.com/story/elon-musk-doge-social-security-150-year-old-benefits/?_sp=c025fcee-80b6-4a6b-8b43-8815d5885555.1740163663587