コピペ君は数学理解してないっすね

＞証明のためには　p≠Pながらp=Pと仮定したり望月新一語が多重にあり
Boydも数学を理解してないから記事の数学部分は意味不明
社会学的部分は読む価値があった

＞数学の遠アーベル幾何学のleanによる形式化にIUTを含め最後にIUTもleanより
＞形式化されたとする。
まったく意味不明
形式化できたんなら認められるんじゃないの
ただし意図的にbugを悪用した疑いがあれば別

いずれにせよ形式化なんて話が進むわきゃない

証明が理解不能という批判に開き直って
> (NwExp) entirely standard practice in professional
> mathematics for research papers to be written with
> a rather narrowly defined circle of experts in mind.
なんて言ってるんだから
iut一派("narrowly defined circle of experts")以外に
手を貸す研究者などいるわきゃない