I think like others have said the miners that you saw were probably NPC miners. However, if you do come across 'bots that aren’t NPCs, please do report them.
Reporting probably won’t ever completely stop 'botting In EVE, although it’s still important to report.
To me, the whole thing feels frequently like an arms race …
'Botters develop (fairly sophisticated) applications to help them cheat … CCP monitors, analyses, tracks, and then when they do catch them there’s an immediate ban on the account. However (it feels like) almost the next day they pop up somewhere else, with a new account and a new character but you’re damn sure that they’re the same person.
The more players do report, the more hostile the environment is for 'botters* which in itself is no bad thing at all because their behaviour degrades the game and the player environment for us all, but as someone who has never cheated, the behaviour of some people really annoys me.
As a miner, I’m obviously not a massive fan of ganking. Having said this, when 'bot users are being entusiastically bumped, harassed and killed, my attitude tends to be, more power to their (the gankers) elbow.
There is a side of me that wonders why the gankers haven’t realised that a PR coup is within their reach.
If, instead of running dodgy protection money schemes and fostering personality cults, they instead positioned themselves as a rank and file police force taking out cheaters, pretty much all of the legitimate mining community would support them.
It would involve honesty however, and ethics, and integrity and maybe that’s why they haven’t.