>Lots of music is most efficiently stored as MIDI, yet how many songs on iTunes are midi?

While storing music as its component instruments is indeed size efficient, converting existing music into MIDIs using some ML/AI algorithm is not yet effective. Vectorly seems to convert _existing_ raster videos into vector ones using some combination of computer vision algorithms.