All Deep Dives For Infosec Conference Talks Covering Formal Verification. Talks analyzed in full.
![Black-hat LLMs | [un]prompted 2026](https://thecyberarchive.com/assets/teasers/llms-now-find-zero-days-autonomously-nicholas-carlini.webp)
Discover how LLMs now autonomously find and exploit zero-day vulnerabilities in the Linux kernel and Ghost CMS — and what the AI capability curve means for defenders right now.
Discover how Google's Big Sleep and Code Mender use agentic AI to find and patch deep memory safety bugs with zero false positives.
