意味論的には理論は存在し正しいであろうが、細部は検証する余裕がなく証明は断言できない

というのが望月近隣以外の、特に京大系の代数幾何学者の感覚だろう
擁護でもアンチでもなく、あまり深く関わりたくもないというw