تعرف على @duveZK ، مهندس zkVM في Nexus. درس المنطق وعلوم الكمبيوتر ، ويعمل الآن على التحقق الرسمي ، وإثباتات المعرفة الصفرية ، والبنية التحتية التي تعمل على تشغيل الذكاء الاصطناعي الذي يمكن التحقق منه.

ينصب تركيز تانر على التحقق الرسمي من الذكاء الاصطناعي. "نظرا لنشر الذكاء الاصطناعي في الأنظمة الحيوية ، يمكن أن يكون الناتج غير الموثوق به كارثيا. الصحة التي يمكن إثباتها تعني ضمانات رسمية ومشفرة - للسلامة والخصوصية والإنصاف ".

إنه متحمس بشكل خاص لتقاطع PL و الذكاء الاصطناعي و ZK. "هناك زخم حقيقي في استخدام الذكاء الاصطناعي للمساعدة في التحقق الرسمي - تدريب LLMs على البيانات Lean لإنشاء الرياضيات والبرامج التي تم التحقق منها."

اقرأ المقابلة كاملة هنا: