La generación de código está escalando exponencialmente, pero la verificación no ha seguido el ritmo. Esta empresa está abordando uno de los problemas más difíciles de la ingeniería de software moderna: demostrar que el código escrito por IA realmente funciona.