>>669
そのブログでのタオとロバーツの視点はかなり違うので、分けてみます（超訳ｗ）
【タオさん】
ABC予想は第2節で証明されている（とされている）。集合論とモデル理論的なものは最終節で述べられただけで、
これらはABC予想の証明に関してはあまり関係ないものだけど、今後の宇宙際幾何学の発展に関係するものなんじゃないの？
でも、この（望月の）集合論とモデル理論はグロタンディークの集合論の非保存的な性質の問題を
何らかの形で議論の余地のあるものにしそうだ

※結論：仰る通り、あまり大したこと言ってませんｗ ……と見せかけて既に懸念を表明している

【ロバーツさん】
この複雑怪奇な集合論的言説は人を惑わすようなもんだ！それはもっちーが該当分野の圏論的アプローチに精通してないせいだ
おそらくこの圏論的アプローチ君たちはもっちーに見出されることを待ち望んでいるよっ

※ロバーツは直後のMOでも望月に注文を付けつつも好意的だった。
しかし、最近追加したPDFの補遺では望月が進歩していない（圏論に精通していない）と見ているように思われる