We found a division by zero bug in FFmpeg with a vibecoded fuzzer