In July 2026, Mistral released a model aimed at formal software verification — generating machine-checked mathematical proofs, in Lean 4, that a piece of software behaves as specified. It’s a narrow capability with outsized implications for anyone building systems where “we tested it and it seemed fine” isn’t good enough.
In April 2026, Anthropic announced a collaboration with several major technology and security firms to test an unreleased model on defensive cybersecurity work, and reported it had already surfaced thousands of vulnerabilities across operating systems, browsers and widely used software. Whatever becomes of that specific project, the direction is clear: AI-assisted vulnerability discovery is moving from research demo to standard practice.