—The fact that someone is sharing an mp3 file DOES NOT mean they are sharing it illegally.—
How would the ISP even know it was a copyrighted mp3 file. It could be an mp3 of my kid singing at a recital, for all they’d know.
By the file characteristics. They cam set up a database of what tracks would rip to...plus release their own honeypots.