[ISL]

Calling out the lack of peer review is a red herring. There is plenty of incorrect work accepted into journals every day.

If Mochizuki's work is correct, then in most senses, the result is proven. Whether that proof is yet accepted is another matter entirely.