ForAllSecure, a company that applies AI to find and patch known vulnerabilities in the world's existing software, won a $2 million prize last year in a competition sponsored by the Defense Advanced Research Projects Agency.