Just a reminder that the abc conjecture is still a conjecture, there is no known valid proof (don’t believe what you might read in an EMS journal). For more about why one attempted proof doesn’t work, see here and here. For extensive background on this, you could start at this blog posting and work backwards, to the first announcement of a claimed proof back in 2012. By 2018 Scholze and Stix had shown that the claimed argument was flawed, and since then the math community has lost interest and moved on. Devotion to the idea that the proof is valid seems now restricted to a small circle of die-hards based in Kyoto and Nottingham who are doing what they can to try and pretend the hole pointed out in the proof does not exist. There will be an IUT Summit in Kyoto in September, but the organizers don’t seem to have found anyone from outside Kyoto or Nottingham willing to participate.
Update: Mochizuki today on his website has put out a 65 page manuscript dealing with criticisms of his proof, it’s entitled:
ON THE ESSENTIAL LOGICAL STRUCTURE OF INTER-UNIVERSAL TEICHMULLER THEORY IN TERMS OF LOGICAL AND “∧”/LOGICAL OR “∨” RELATIONS: REPORT ON THE OCCASION OF THE PUBLICATION OF THE FOUR MAIN PAPERS ON INTER-UNIVERSAL TEICHMULLER THEORY
I’ve taken a quick look at this document, and I don’t think it will convince anyone Scholze is wrong about the flaw in Mochizuki’s proof. There’s a long third and final technical section, but the first two sections do a great deal of damage to Mochizuki’s credibility. Nowhere in the document do the names Scholze or Stix appear (they are referred to as “RCS: the redundant copies school”), but it starts off with statements such as
the response of all of the mathematicians with whom I have had technically meaningful discussions concerning the assertions of the RCS was completely uniform and unanimous, i.e., to the effect that these assertions of the RCS were obviously completely mathematically inaccurate/absurd, and that they had no idea why adherents of the RCS continued to make such manifestly absurd assertions.
the assertions of the RCS are nothing more than meaningless, superficial misunderstandings of inter-universal Teichmuller theory on the part of people who are clearly not operating on the basis of a solid, technically accurate understanding of the mathematical content and essential logical structure of inter-universal Teichmuller theory.
Before going on to the more technical third part, the second part is an extensive discussion of elementary mathematical errors, as some sort of “explanation” of what’s wrong with Scholze and Stix.
Essentially the claim Mochizuki is making in these first two sections is that the most accomplished and talented young mathematician in his field is an ignorant incompetent, and that everyone Mochizuki has consulted about this agrees with him. It’s hard to imagine a more effective way to destroy one’s own credibility and to convince people not to bother to try and make sense of the third section.
There’s no direct reference to the Scholze-Stix document, just a reference to Mochizuki’s own web-page about March 2018. Mochizuki has even gone to some trouble to stop anyone from accessing the Scholze-Stix document without first reading his own web-page.
More recently, one mathematician with whom I have been in contact has made a quite intensive study of the mathematical content of recent blog posts by adherents of the RCS.
Despite all of these efforts, the only justification for th logical cornerstone RCS-identification of (RC-Θ) that we [i.e., I myself, together with the many mathematicians that I have discussed these issues with] could find either in oral explanations during the discussions of March 2018 or in subsequent written records produced by adherents of the RCS [i.e., such as the 10pp. manuscripts referred to above or various blog posts] were statements of the form
“I don’t see why not”.