>>507 で、Theorem 1.10 from Mochizuki's IUTT-IVに反例があり、成り立っていないと言っているみたい
http://mathoverflow.net/questions/106560/philosophy-behind-mochizukis-work-on-the-abc-conjecture/107279#107279 Completely rewritten. (9/26) edited yesterday Vesselin Dimitrov It seems indeed that nothing like Theorem 1.10 from Mochizuki's IUTT-IV could hold. Here is an infinite set of counterexamples, assuming for convenience two standard conjectures (the first being in fact a consequence of ABC), that contradict Thm. 1.10 very badly. 略