Jane Street embraces formal verification after AI agents expose hidden bugs
Jane Street, long skeptical of formal methods, now backs a dedicated team after AI‑driven coding lowered verification costs and exposed quality gaps in model‑generated code. They aim to make formal verification as routine as advanced type systems, promising more reliable, secure software at scale.