As part of the AI Cyber Challenge’s Small Business Track Competition, DARPA awarded seven companies $1 million each to develop AI-enabled cyber reasoning systems that automatically find and fix software vulnerabilities at scale.