29
$\begingroup$

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.

Improve this question
$\endgroup$
14
  • 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$
    – post.as.a.guest
    Commented Jul 29, 2016 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$
    – post.as.a.guest
    Commented Jul 29, 2016 at 4:23
  • 22
    $\begingroup$ What happens in the IUT summit at RIMS stays in the IUT summit at RIMS. $\endgroup$
    – Asaf Karagila ♦
    Commented Jul 29, 2016 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
    Commented Jul 30, 2016 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 ♦
    Commented Jul 31, 2016 at 11:01

1 Answer 1

Reset to default
8
$\begingroup$

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).

Improve this answer
$\endgroup$

Not the answer you're looking for? Browse other questions tagged .