なんか愛友亭落語の詭弁に誑かされて、IUTとABC予想証明を切り離しても問題ないと考えている人が多いねｗ
これは無理。乗法構造と加法構造を切り離して考え何かを主張するということは、具体的な問題を扱わないと意味がない
このことは望月の動機付けの部分しか語っていないKimですら、10年以上前にn-Category Cafeでタオに答えて書いていた

そもそもABC予想以前に宇宙際そのものが疑問視or否定されており、望月の「新しい圏の幾何学」が全く理解されておらず、
望月も肯定者たちも有効な説明ができていない

ABC予想を重要視しないのなら、まず宇宙際を納得できるように解説・説明し、その上で他のディオファントス幾何の問題に適用してみることだ
そうでなければIUTは具体例を欠いた単なる望月の思想、着想にすぎない