>>170
数学では証明は大事だが
それだけではないよね

”SHIMURA CURVES AND THE ABC CONJECTURE
HECTOR PASTEN Date: July 6, 2018.”

これは、IUTとは別の視点（切り口）からの仕事だってことが大事
加藤文元先生が、IUTは新しい数学で、古い言葉では語れないとか

まあ、大げさすぎるよね
だったら、もっと新しい言葉やもっと新しい概念を考えて

古い概念（環やスキーム）とIUTとを統合する、
もっと新しい概念を考えればよかんべよｗ