[embiaa]

From what I understand (not exactly my area) Perelman's proof was quite intelligible. Yes there were lots of details to fill in, but for the expert it was clear how this should be done. Perelman's proof also had a long background (it implemented ideas outlined by Hamilton earlier) so for experts it made a lot of sense. I don't think there is a lot of similarity between the two situations.

Research is a social activity. Being a successful researcher means being social. What social means depends on the norms of the relevant field. Yes, we should reflect on those norms and allow innovators to push boundaries but for the science to evolve it has to take everyone with it.

Mochizuki and those around him have a responsibility only if they want take part in the mathematical community - which I think and hope they do.

I am taking the word of experts in the area of arithmetic geometry who say there isn't being enough done to communicate his ideas. Regardless of whether he is right or wrong (really it isn't about this - it is about whether his new ideas have merit - the proof of the abc conjecture would be strong evidence for this) I think the current situation speaks for itself.

Edit: Also, you are entirely correct, we are humans, we should be social in every regard!