Is Shinichi Mochizuki’s work slowly being absorbed ?

While I do not speak japasese, I’ve noticed a conversation somewhere, from which it appears that :

(a) Go Yamashita has a paper in preparation titled ‘A proof of abc conjecture after Mochizuki’, and he also is in the middle of a string of lectures on that topic : 18 hours of talks at RIMS last september titled ‘Inter-universal Teichmuller theory and its Diophantine consequences’, and two further weeks of lectures (68.5 hours in total) next march at a RIMS workshop titled ‘On the verification and further development of inter-universal Teichmuller theory’ ;

(b) Chung Pang Mok is in the process of giving an introductory talk to some of Mochizuki’s ideas at several places : a few weeks ago at MSRI and at UC Santa Cruz, and in the coming weeks at U British Columbia, and at Duke.

And just today, Mochizuki himself has posted to his ‘what’s new page’ the workshop announcement…

Voevodsky’s fascinating interview

The october issue of Gazette des Mathématiciens  has a transcript in french of a really fascinating interview of Vladimir Voevodsky, as part of a dossier on Théorie des types et mathématiques certifiées.

The hour long video of that interview, in english and conducted by Gaël Octavia from Fondation Sciences Mathématiques de Paris (see also a blog set up for the ICM for context) is the following on Vimeo (and a must-see) :