Cyber defense needs machines that can explain the patch
The Defense Advanced Research Projects Agency's (DARPA) March 19 release sets the final competition procedures for its Artificial Intelligence Cyber Challenge (AIxCC). Seven teams are set to test cyber reasoning systems against real-world open-source software, with scoring for finding vulnerabilities, generating patches, and analyzing bug reports.
That is a demanding and useful test. The harder transition begins after a machine writes a patch that appears to work.