In the reddit thread for this story there were audio professionals offering to strip music for free using commercial tools they had access to. Something called Izotope RX was mentioned.

Sounds like a great project!

Good idea, and the answer is, in theory at least, yes. You can effectively subtract the copyrighted music from the audio track.