But this was inevitable. There are already several people running their separately made bots, so it never was an exclusively human-minable coin. And yeah, in theory any human action can be automated, but I'm sure it's possible to have a skill-based game that can't be automated for a long time (so it would make sense to claim exclusively human-minable in practice).

HMC: Impressive work. 9147 was funny. :--)