Wir fanden einen Division-by-Zero-Bug in FFmpeg mit einem Vibecoded Fuzzer