das mp4 der Nachfolger von mp3 wäre nicht logisch. Wie tailgunner ja schon gesagt hat bedeutet 3 nur, dass es sich um den dritten Layer des MPEG 2.5 Formats handelt, und ist keine Versionsnummer.
Mp3Pro ist soweit ich weiss kein offizieller Nachfolger des mp3-Standarts, sondern nur eine Erfindung der Firma Coding Technologies, die sich zum Ziel setzt die Files um die Hälfte der Grösse zu reduzieren. Es kommt bei mp3pro auch kein neuer codec zu einsatz, soweit ich das beurteilen kann.