LLM Agent Swarms Are Easy Mode

This post is crossposted from my Substack, Structure and Guarantees, where I explore how formal verification and related ideas might scale to more complex intelligent systems. Here I draw attention to the fact that recent LLM-powered cyberattacks have been relatively easy to understand, because today’s AI agents leave reasoning trails that are relatively familiar from human organized crime. Ongoing optimization should be expected to produce AI systems that are impossible for us to understand, bu...