Kodegenerering skalerer eksponentielt, men verifiseringen har ikke holdt tritt. Dette selskapet tar tak i et av de vanskeligste problemene innen moderne programvareutvikling: å bevise at AI-skrevet kode faktisk fungerer.