AIxCC semifinalists announced at DEF CON 32
Briefly

In true DARPA fashion, we didn't know if our hypothesis would be proven when we launched this program. Now, we've seen that AI systems are capable of not only identifying but also patching vulnerabilities to safeguard the code that underpins critical infrastructure.
Competitors' systems identified 11 unique patches for C-based challenges and four unique patches for Java-based challenges. Competitors' systems also found one real-world bug in SQLite3, which has been responsibly disclosed according to SQLite3's bug reporting guidelines.
The goal for semifinalists was to develop a "cyber reasoning system capable of automatically processing" the challenge projects.
The contest ... saw teams competing to build AI models able to better secure open source code undergirding many of the systems used in critical infrastructure.
Read at Theregister
[
]
[
|
]