I would like to know what was achieved in the workshop towards the verification of abc conjecture's proof and the advance of understanding of IUT in general.

A comment from a participant:

C Vincent (via Twitter) Omg, I think the speaker is actually proving ABC right now. There's an inequality that looks suspiciously like what we want. #IUTsummit

Inter-universal Teichmüller Theory Summit 2016 (RIMS workshop, July 18-27 2016) Organized by Fesenko, Mochizuki and Taguchi.

  • 4
    $\begingroup$ In Dimitrov's talk, what does "IUT implies no Siegel zero at negative discriminants" precisely mean? Maybe "IUT-III Cor. 3.12" as quoted at some other point? In the given situation, I don't know if I would consider "Result X in Mochizuki's work" to be a reasonable starting point for further investigation. It's sort of like the economist assuming there is a can opener. $\endgroup$ Jul 29 '16 at 4:21
  • 6
    $\begingroup$ One could do worse than read all of Vincent's tweets. She at least gives some perspective of what occurred. $\endgroup$ Jul 29 '16 at 4:23
  • 22
    $\begingroup$ What happens in the IUT summit at RIMS stays in the IUT summit at RIMS. $\endgroup$
    – Asaf Karagila
    Jul 29 '16 at 6:04
  • 12
    $\begingroup$ Probably nothing. I don't understand the point of these vague questions. If you want to know something about Mochizuki work ask a more specific question (something about the slides or the papers) $\endgroup$
    – user40276
    Jul 30 '16 at 2:03
  • 8
    $\begingroup$ If you would like to ask a real question on Mochizuki's work (and not just one "designed to project sophistication", in the sense of Bill Thurston), then I think you need to be a lot more specific. Questions of the form "Has this-or-that work been verified?" are rather not suitable for MO, therefore I have voted to close as "unclear what you're asking". $\endgroup$
    – Stefan Kohl
    Jul 31 '16 at 11:01

In my opinion this is a "non-question" in MO speak, but there has been an article and blogs about the "summit" by now, either of which may give you (or point to) more information. As indicated in the latter source, one should expect another round of such inquiries in early September (2016).


Not the answer you're looking for? Browse other questions tagged or ask your own question.