Wow, yeah it seems entirely plagiarized. It's still a very strange song, but I don't think the AI did anything noteworthy here. Thanks for looking into it!
I highly highly recommend listening to the track called "Test_energylevel", it is absolutely bonkers, and more interesting than any of the other tracks I clicked on here. (You have to click on "Explore" and then scroll down a bit to find it)
It starts with a choir of ambient vocals singing "it's a sunshine", there's some bird noises and traffic sounds, a snippet of organ synth flourishes.
Then it all gets started - guitar, sitar, horns, strings a vocal duet singing "Shine your sweet loving down on me"
There's actually a ton going on, every few bars it changes things up, there's clever little harpsichord.
Then a male singer starts proclaiming "It's a sunshine daaaayyy", backed up by a chorus of "yeah, yeah, yeah"s. Honestly it's kind of catchy
The last 30 seconds or so are truly cursed, there's a voice in the right speaker moaning "wide eyed retina. mostly logical", which gets delayed, bitcrushed, and pingponged between the speakers.
Wow! I wonder why this specific track has so much going on compared to the others.
So far I've only read the first few chapters of the book, and the exercises often feel too difficult to me. But I think he does a great job of easing into mathematical notation, pausing to reflect on what a seasoned mathematician might be thinking when they come across that notation. He also makes a lot of analogies to programming, and has example programs that are easy to follow. It's helpful to have that angle to understand things from.