Honestly depends on where the miners were stolen, and from whom. The chances of it getting tracked are greater than zero and instances like the one linked above have taken place.
He might get lucky and nothing happens, however, it is not a good idea to use stolen property for any use, let alone mining.
Even if he mines to a hardware wallet, the funds will be dirtied.
[/quote]

"dirtied" ? doubt that practically