Generowanie kodu rośnie w tempie wykładniczym, ale weryfikacja nie nadąża. Ta firma stawia czoła jednemu z najtrudniejszych problemów we współczesnym inżynierii oprogramowania: udowodnieniu, że kod napisany przez AI rzeczywiście działa.