AVIF is generally smaller in size than both WebP and PNG. AVIF supports animation while PNG does not.

The lossless mode in AVIF is so bad that a BMP in a ZIP file produces smaller results.

Which makes sense, as it doesn't actually have a dedicated lossless mode (like WebP does), the encoder is just to not quantise the video data it produces.