Announcing Formal Verification at RESI (The Institute for Responsible Superintelligence)

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. This article is a little different from usual: it’s an announcement of a new working group studying how to get formal methods off the ground, for pervasive use to address current concerns around cybersecurity and AI coding agents (and beyond).There’s a lot of excitement and worry at the moment about OpenAI agents hacking i...