الوكلاء المستقلون ينتقلون من التجارب إلى البنية التحتية. نحن متحمسون للشراكة مع @Kassai_ai لاستكشاف كيف يمكن للتحقق الشفروي أن يؤمن سلوك الوكيل. الأمر يتعلق بجعل إجراءات الوكيل قابلة للإثبات، وليس فقط قابلة للتنفيذ: 🧵

2/ تقوم كاساي ببناء شبكة استدلال موزعة تعمل على الحافة. بدلا من تركيز الحوسبة في مراكز البيانات المركزية، تقوم كاساي بتفعيل وحدات معالجة الرسوميات الاستهلاكية الخاملة لتشكيل طبقة تنفيذ موزعة عالميا منخفضة التأخير للأنظمة الوكائلية. يعطي هذا التصميم الأولوية للمرونة وكفاءة التكلفة والسيادة.

3/ الذكاء الاصطناعي الوكيل يختلف جوهريا عن الاستدلال بطلقة واحدة. يقوم الوكلاء بالتخطيط والاتصال بالأدوات واستدعاء النماذج، وتبادل الرسائل، وتفعيل التأثيرات اللاحقة عبر الأنظمة. عندما تكون هذه الأفعال غامضة، تصبح الإخفاقات غير مرئية وتختفي المساءلة.

4/ لاغرانج يعالج هذه الفجوة بإضافة التحقق عند وقت التنفيذ. باستخدام ديببروف، يمكن لأفعال الوكيل إصدار إثباتات معرفة صفرية تؤكد أن الإجراء اتبع المنطق المصرح به والمدخلات الصحيحة، دون الكشف عن منطق داخلي أو بيانات حساسة. النتيجة هي الأدلة، وليس الافتراض.

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

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

7/ مع بدء الأنظمة الوكائلية في تنسيق النشاط الاقتصادي والحوكمة والعمليات الواقعية، يصبح التحقق إلزاميا. الاستقلالية على نطاق واسع تتطلب دليل. هذا هو الاتجاه الذي تبني فيه لاغرانج وكاساي.