رؤية رائعة أخرى من @karpathy، تشير إلى أهمية الذكاء الاصطناعي قابلية التحقق "أعتقد أن أقوى تشبيه هو الذكاء الاصطناعي كنموذج حوسبة جديد (البرمجيات 2.0) ... البرمجيات 1.0 تؤتمت بسهولة ما يمكنك تحديده. برنامج 2.0 يؤتمت بسهولة ما يمكنك التحقق منه. ... في هذا النموذج البرمجي الجديد، فإن الميزة الأكثر تنبؤية التي يجب النظر إليها هي التحقق. إذا كانت مهمة أو وظيفة قابلة للتحقق، فهي قابلة للتحسين مباشرة أو عبر التعلم التعزيزي، ويمكن تدريب شبكة عصبية لتعمل بشكل ممتاز." تدور قابلية التحقق في هذا الإطار أكثر حول سياق التدريب / التحسين - تقييم ما إذا كان مخرجات الذكاء الاصطناعي صحيحة + تمكين أتمتة أفضل بسبب ذلك. يركز التحقق في الذكاء الاصطناعي + العملات الرقمية أكثر على سياق التنفيذ. - هل يمكننا التحقق من صحة المدخلات والنموذج والمخرج ولم يتم التلاعب بها (استنتاج قابل للتحقق) - هل يمكن لأي شخص في العالم إعادة تنفيذ هذا الاستنتاج والحصول على نفس النتيجة اليوم وغدا وبعد سنة من الآن (الاستدلال الحتمي) - هل يمكننا التحقق من الرمز الدقيق الذي يشغل هذا الوكيل (وقت التشغيل القابل للتحقق) - هل يمكننا التحقق من أن الوكيل فقط لديه حق الوصول إلى محفظته والقدرة على إجراء المعاملات من خلالها (وقت تشغيل قابل للتحقق) - هل يمكننا التحقق من سمعة هذا العميل (ERC-8004)