The market currently rewards claims of usage of AI, so everyone is claiming to be using AI. There is no way to prove one way or another, and the narrative will be changed down the line once the market swings.
When it comes to productivity claims, I have yet to see it. If AI is truly providing significant, sustained productivity improvements across the software development lifecycle I'd expect products to be better, cheaper, or get developed faster (all of which happened with other industrial breakthroughs). I do not see that in software at large and especially not in Spotify's case.