>>16700117Other mathematicians are not obliged to translate your hand-waving. Though that doesn't mean they wont ever, but it has to be worth it. For instance the proof of the Poincare conjecture contained quite a bit of hand-waving, but people still read it because Perelman had gotten further along in the problem in the first few pages than Hamilton had in 20+ years of working on it. There is no such reason for anybody to give Mochizuki such leniency, since he even said himself there are no intermediate results which can be obtained from the proof. Besides, when Scholze and Stix pointed out the gap instead of trying to fix it or clarify the arguments further, he just wrote a bunch of pages about how they're wrong while refusing to clarify. That is not the behavior of someone genuinely willing to communicate their ideas or accept criticism.
>The language isn't necessarily that obscurantist when you consider that Mochizuki is working with these disgusting high-level objects like poly-morphisms.Yes it is when you consider he essentially re defined a bunch of pre existing mathematics. You don't do that. A big thing is that Mochizuki was hiding all the problems with his proof behind new definitions.
>https://zbmath.org/?format=complete&q=an:1465.14002>Thus, when the author later chooses an infinite collection of such Hodge theaters, he might as well choose an infinite collection of elliptic curves isomorphic to E.