ABC... A Baez Commentary

ICYMI, the more hardcore among you may want to see John Baez's recent commentary (and the comments that follow) on Mochizuki's "proof" of the ABC conjecture:
https://plus.google.com/+johncbaez999/posts/P7AN48F9pC7

Mathematician Go Yamashita has written a 294-page "summary" of Mochizuki's 500-page inscrutable(?) proof... if that's any encouragement to you ;)

Here's a few lines of the summary as quoted by Baez:

"By combining a relative anabelian result (relative Grothendieck Conjecture over sub-p-adic felds (Theorem B.1)) and "hidden endomorphism" diagram (EllCusp) (resp. "hidden endomorphism" diagram (BelyiCusp)), we show absolute anabelian results: the elliptic cuspidalisation (Theorem 3.7) (resp. Belyi cuspidalisation (Theorem 3.8)). By using Belyi cuspidalisations, we obtain an absolute mono-anabelian reconstruction of the NF-portion of the base field and the function field (resp. the base field) of hyperbolic curves of strictly Belyi type over sub-p-adic fields (Theorem 3.17) (resp. over mixed characteristic local fields (Corollary 3.19))."

...Have at it!