I tried posting a short looping soundless animation on Reddit over two years ago and GIF was the only format (I also tried WebP, APNG and mp4) that played automatically on loop. I made sure to optimize the palette, though. Also, my preferred animated bitmap editor (LogoMotion, 2002 abandonware) only exports GIF.