Google Rewrites Critical C Dependencies to Rust Using AI and Differential Fuzzing

Google let Gemini port giflib, about 3,000 lines of C, into an ABI-compatible Rust crate. Then came the interesting part: six days and 200 million side-by-side runs of differential fuzzing against the original, plus replay over 30M+ real GIFs, to prove the two behave identically. The fuzzing also surfaced a pre-existing out-of-bounds write in the C. The model wrote the code; the oracle is what made it trustworthy.