Generování kódu se rozrůstá exponenciálně, ale ověřování nedrží krok. Tato společnost řeší jeden z nejtěžších problémů moderního softwarového inženýrství: dokázat, že kód psaný AI skutečně funguje.