DARPA believes AI Cyber Challenge could upend patching as the industry knows it 

At RSAC 2025, DARPA and partner agencies outlined a vision for using large language models combined with formal methods to dramatically reduce vulnerabilities in critical infrastructure software, citing AI Cyber Challenge results where AI-assisted tools found and patched synthetic flaws in major open-source projects. Speakers emphasized the urgency of faster patching in healthcare and transportation while acknowledging regulatory, liability, and legacy system obstacles, with DARPA advocating for transformative offsets over incremental improvements.