Apparently in preparation for the upcoming workshop on "Interuniversal Teichmüller Theory" in Kyoto in two weeks, which is intended to bring more light into Mochizukis proposed proof of the $abc$ conjecture and the new theory it comes with, there has appeared some new paper from Mochizuki titled [The Mathematics of mutually alien copies: from gaussian integrals to inter-universal Teichmüller theory](http://www.kurims.kyoto-u.ac.jp/~motizuki/Alien%20Copies,%20Gaussians,%20and%20Inter-universal%20Teichmuller%20Theory.pdf). Is there any progress on the matter connected with this work? For example, it seems that among other things one of the concepts introduced is something like a generalised Frobenius morphism that works for all primes. Can anyone comment on this? (There have been already [questions here](https://mathoverflow.net/questions/232087/have-there-been-any-updates-on-mochizukis-proposed-proof-of-the-abc-conjecture) along that line, however that was before the new paper from July 2016).