The Verification Summit — Launch Edition · San Francisco

About this event Where AI Verification gets serious. AI has crossed a threshold where its outputs influence decisions in law, science, software, finance, and policy. But the foundation underneath is still probabilistic — a model that's right most of the time, with no way to know which time is which. Verification is how that changes. Formal methods, automated theorem proving, runtime checks, alignment-by-construction, provable agents — these are the tools that turn "the model said so" into something an engineer, a regulator, or a scientist can stake a decision on. The Verification…