3 ms·
> His series of papers, which total more than 500 pages, are written in an impenetrable style, and refer back to a further 500 pages or so of previous work by M
by the8472 7y ago
> His series of papers, which total more than 500 pages, are written in an impenetrable style, and refer back to a further 500 pages or so of previous work by Mochizuki
IANAM, but formalizing mathematical proofs that they can be machine-checked is hard, tedious and I guess doesn't get you much fame either. Doing this for such a monstrosity of proof must be an epic task.
And as far as non-machine-checked analysis goes, other mathematicians have claimed that specific parts contain flaws (TFA mentions this) but the author disagrees.