An AI-assisted discovery of vulnerabilities in a widely used programming language led governments and other organizations in ...