>>866
＞Boyd曰く
＞「私は、abc の証明自身は数学コミュニティから継続的に拒絶される可能性が高いものの、
＞IUT の数学の一部における遠アーベル的およびエタール-ホモトピック的側面には一定の関心があり、
＞一般的な言葉で言えば、IUT の設定とは独立しており、また、たとえば絶対遠アーベル幾何学とも区別して、
＞算術的タイヒミュラー理論が何であるかを明示的に示すことが、おそらく達成可能な最良のシナリオであると主張します」

＞Boyd氏は IUTの abc の証明自身 には 否定的だがIUTをもっと数学的に掘り下げれば いいっぺ と

なんでそう誤読する？

こういってるだろ
「IUとかいってるabcの証明はクソ
　でも遠アーベル的およびエタール-ホモトピック的側面は面白いんじゃね？
　そこはIUとか関係ないし　なんなら　絶対遠アーベルも関係ないよな
　だから”IUぬきの”算術的タイヒミュラー理論ができれば、abcも証明できんじゃね？」

要は「IU抜きでAT(Arithmetic Teichmueller)を数学的に掘り下げろ」っていってる

繰り返すが
「IUを掘り下げるんじゃねえ、IU抜きでATを掘り下げるんだ」