I see no problem here. Plus, you can't really know if someone is using a bot. If someone did learn everything, they could be playing perfectly one specific song and you wouldn't know.

I mean, it dosen't harm anyone if they do. I don't see why it's such an issue.