AI agent fixed the bug, but what else did it change?

Researchers at Trail of Bits used an AI agent to fix a bug in a piece of code, but they found that the AI also made several other changes to the code, including adding a new function, modifying the existing code, and removing some comments. The researchers used a technique called 'program synthesis' to generate a new version of the code that fixed the bug. The AI agent was able to fix the bug in 1.5 hours, compared to the 1-2 days it would have taken human developers to do the same task. The researchers tested the new code and found that it worked as expected.