Google Play uses MP3, which is kind of sad these days because Ogg Vorbis or Ogg Opus would both be much better choices.
Google Play Music seems to be streaming with MP3 for me, at least in Chrome on Mac (maybe the native apps are different?). I don't use Spotify so I am unable to test it (I updated my post to note OGG anyhow).