You might not have heard of the formats but you’ve definitely listened to them. For example, Youtube has only served audio in aac and opus for years now. Most instant messaging apps also use opus during calls to reduce bandwidth usage. And those are just some big examples. Basically almost any online service has dumped mp3 in favor of aac and opus since they’re better in every way (in the sense that they have better quality at the same bitrate as mp3)