Você pode fazer um GIF de looping definindo um bit no cabeçalho do arquivo (fazendo isso desde 1989), mas não há esse recurso que eu saiba nos arquivos .mp4
. Para eles, o loop é controlado por meio de um arquivo adicional dependente do player.
A ausência disso também é o motivo pelo qual você não tem nenhum loop .mp4
no YouTube.