グロタンディークって数千ページかけてもWeil予想を解決できなかった（しなかった）けど
タオはIUTについて、こんだけいかつい理論でABCに特化し過ぎなのは何でかって言ってるよね
でも、ABCってWeil予想や標準予想に全然ひけをとらない難問だろ
普段は煽り合いのこのスレだが、皆さんこの辺はどう思う？
結局、スキームやエタールではもっと弱い結果もどんどん出せているからやっぱりおかしいって話になるかな？