We won, what now?

Will Wilson, Co-founder & CEO of Antithesis, discusses how AI coding has transformed software correctness from a niche concern to a mainstream one.

AI has suddenly changed the development landscape by making it clear that verification is the real bottleneck in the software development lifecycle. This shift is partly about Amdahl’s law – with code generation becoming infinitely faster, the remaining slow parts dominate – but the uncertainty introduced by agents means verification is now perceived as a must rather than a nice-to-have.

Will outlines and unpacks the implications of this shift before handing off to Carl Sverre, who demos Antithesis’s new open-source tools for enabling AI agents to write property-based tests, fuzz test UIs, triage bugs, and create testing and iteration loops.