I like the idea of attracting Reddit users with a HE-token but how you prevent that they instantly dump their claimed token?

Regarding the AGI thing, it could well be that our world is just a simulation and run by an AGI (or our descendants who- or whatever they are). Not crazy but there are several good reasons that support this hypothesis. Good thing is, it makes no difference for us (unless someone pulls the plug).