توليد الكود يتزايد بشكل كبير، لكن التحقق لم يواكب الوتيرة. هذه الشركة تتعامل مع واحدة من أصعب المشكلات في هندسة البرمجيات الحديثة: إثبات أن الكود الذكاء الاصطناعي المكتوب يعمل فعلا.