Cómo abrir gráficos animados (gif/mp4) en RStudio?

Estoy utilizando RStudio con el paquete {gganimate} en un entorno de investigación restringido (una máquina virtual con Windows 10 con varias modificaciones) para crear gráficos animados en formatos .gif y .mp4: cuando se muestran en RStudio se ven bien, pero si guardo los archivos usando anim_save() no puedo abrir los archivos resultantes ni en el visor de imágenes de Windows ni en el navegador web (o el reproductor multimedia en el caso de los .mp4): siempre dice que el archivo está dañado o no se puede mostrar.

Existe un proceso largo para exportar estos archivos fuera del entorno restringido, así que me gustaría comprobar si en realidad están dañados o simplemente no se pueden mostrar en este sistema operativo en particular por alguna razón. ¿Puede RStudio abrir/mostrar archivos .gif o videos? Nota: sé cómo mostrar una animación utilizando los métodos print()/plot() -esto se trata de abrir/mostrar un archivo animado externo después de haberlo exportado.

Código de ejemplo para generar un gráfico animado y guardarlo como .gif/.mp4 a continuación:

library(ggplot2)
library(gganimate)  # también se requiere el paquete {av} para guardarlo como mp4

animated_plot <- 
  ggplot(mtcars, aes(x = wt, y = hp, colour = as.factor(cyl))) +
  geom_point() +
  transition_states(cyl, transition_length = 3, state_length = 1) +
  enter_fade() +
  exit_fade() +
  labs(title = "Cyl: {closest_state}")

# guardar como gif

anim_save(
  filename = "animation.gif", 
  animation = animate(animated_plot)
)

# guardar como mp4

anim_save(
  filename = "animation.mp4", 
  animation = animate(animated_plot, 
                      renderer = av_renderer())
)

(Mi plan de respaldo es utilizar file_renderer() para exportar los fotogramas individuales como imágenes y luego animarlos, como se muestra en p. ej. https://stackoverflow.com/questions/56389470/convert-multiple-png-to-gif-as-an-animation-in-r)