تعد DeepProve رائدة في وضع معيار جديد لنظام الذكاء الاصطناعي الآمن والقابل للتحقق - ونحن نواصل توسيع قدراتها. يستكشف مهندسو وباحثو Lagrange إمكانيات جديدة لما يمكن أن تحققه DeepProve لالذكاء الاصطناعي. دعونا نفحص احتمالية واحدة: براهين المنطق ... 🧵

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

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

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

5 / سيحدد DeepProve من Lagrange معيارا جديدا لكيفية عمل الذكاء الاصطناعي في الأنظمة الحيوية. اقرأ خارطة طريق لاغرانج الكاملة لعام 2025 وما بعده للتعرف على التطورات الرئيسية التي نبنيها من أجل الذكاء الاصطناعي الآمن والقابل للتحقق ↓