20/04/20 00:59:28.02 lnvD9PiA.net
なかなか痛烈な批判
これ擁護できないだろ
>W says:
>April 19, 2020 at 9:53 am
>…
>(1) The first couple hundred pages of the IUT papers introduce a lot of difficult new terminology.
>Scholze and Stix demonstrated that none of this new terminology is necessary
>to prove any of the formal statements in these pages.
>Moreover, when the new terminology is ignored, the proofs all become simpler and easier to understand.
>They all follow quickly from Mochizuki’s previous work on the p-adic Grothendieck conjecture.
>…
>As an editor or referee, this should be completely unaccep