It basically is a formality at this level. Many top math researchers now hardly even submit to journals at all and just put up a preprint.

At this scale, peer review happens by the audience. They don't need a journal to get people reviewing their work.