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 FasenkoFesenko, Mochizuki and Taguchi.