Today, somebody posted on the nLab a link to Kirti Joshi's preprint on the arXiv from last month: <https://arxiv.org/abs/2210.11635>


In that preprint, Kirti Joshi claims that


* he agrees with Scholze and Stix that Mochizuki's proof of ABC is incomplete,
* Scholze and Stix's rigidity claim in Remark 9 of their paper "[Why abc is still a conjecture](https://ncatlab.org/nlab/files/why_abc_is_still_a_conjecture.pdf)" is wrong
* "This paper provides the first proof of Mochizuki’s non-redundancy claim by establishing that the isomorphs are of distinct arithmetic-geometric provenance (and even continuous families of isomorphs exist) and therefore are non-redundant"


If these results are confirmed, what are the consequences of this preprint on the validity of IUT as a theory and Mochizuki's proof of the ABC conjecture?



Consequences of Kirti Joshi's new preprint about p-adic Teichmüller theory on the validity of IUT and on the ABC conjecture
To give a simple answer: There would be no direct implications. The paper doesn't claim a proof of Corollary 3.12, the ABC conjecture, or any other Diophantine inequalities. I'm pretty sure that, if Joshi had a proof of one of these, he would say it.


