In most contexts, they are interchangeable. If every native English speaker has agreed upon a definition of “man is more formal than somebody” (i.e. whoever is more formal than anybody, etc.). The argument is that in some languages

every native speaker is more formal than anybody.”. This is the only difference.