معظم الناس يغفلون عن العنق الحقيقي للزجاجة هنا. الأنظمة القابلة للتحقق عبر الذكاء الاصطناعي؟ هي جيدة بقدر جودة طبقة الإثبات التي تعتمد عليها. لا يمكنك توسيع نطاق التحقق إذا لم يكن توليد الإثباتات يواكب ذلك. البنية التحتية بأكملها تنهار بدون آليات إثبات فعّالة. هنا يكمن التحدي الحقيقي.