What I understood from http://mathbabe.org/2015/12/15/notes-on-the-oxford-iut-workshop-by-brian-conrad/ http://mathbabe.org/2015/12/15/notes-on-the-oxford-iut-w

What I understood from http://mathbabe.org/2015/12/15/notes-on-the-oxford-iut-workshop-by-brian-conrad/ http://mathbabe.org/2015/12/15/notes-on-the-oxford-iut-works... (posted elsewhere here), is that the problem stems from differing motivations. On one hand, Mochizuki wants to make his proof fullyt complete and correct (being both fully general and covering all special cases), but the community wants broad strokes intuitions. From Mochizuki's perspective, he has told everyone how things fit together, but fit together means something different for others. The workshop attendees want to know what things they can gloss over to get the big picture, but as of yet, nobody who understands the proof has succeeded in communicating that information, probably because they don't share the same motivation.