La generazione di codice sta crescendo in modo esponenziale, ma la verifica non ha tenuto il passo. Questa azienda sta affrontando uno dei problemi più difficili nell'ingegneria del software moderno: dimostrare che il codice scritto dall'AI funzioni realmente.