Researchers have demonstrated the use of AI to automate the formal verification of Linux networking components. By applying this technique to the firewall compiler, experts successfully identified and addressed critical bugs that have persisted since 2022.