أصبحت لاغرانج لابز الآن موردا مسجلا ضمن منظومة البائعين في @LockheedMartin، مما يضع لاغرانج في موقع دعم مبادرات ضمان الذكاء الاصطناعي وسلامة البيانات من نوع Zero Trust عبر برامج الطيران والدفاع. التعرف على المزيد: 🧵

2/ تعتمد لوكهيد مارتن، المسؤولة عن طائرات F-35 لايتنينغ II، F-16 فايتينغ فالكون، وC-130 هيركوليس، بشكل متزايد على التعلم الآلي في الإلكترونيات الجوية وتخطيط المهام وتحليل ISR. مع دمج الذكاء الاصطناعي في هذه الأنظمة، أصبحت القدرة على التحقق من سلوك الذكاء الاصطناعي أمرا بالغ الأهمية.

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

4/ هذا يفتح إمكانيات جديدة لضمان الذكاء الاصطناعي ونزاهة بيانات الثقة الصفرية: • الإلكترونيات الجوية والأنظمة الحرجة للطيران: بالنسبة لسير عمل إلكترونيات الطيران والمشغل في الحلقة، يجب التحقق من صحة الطيران بسرعة الآلة. يضمن DeepProve أن كل فعل نموذجي يمكن إثباته وليس تخمينه. • تخطيط المهمة: يجب أن تظهر أدوات تخطيط المهمة أن المخرجات تم إنتاجها باستخدام منطق وقيود معتمدة. ينتج DeepProve سجلات واضحة للعبث تعزز الشهادات والتحقق والاعتماد. • اندماج ISR: تعتمد أنظمة ISR على بيانات حساسة متعددة المصادر. يحافظ ديب بريف على السرية مع إثبات أن المخرجات تم إنتاجها بشكل صحيح، وهو أمر حاسم لسير عمل الاستخبارات. • عمليات التحالف: تتطلب مهام التحالف الثقة دون مشاركة بيانات سرية. تمكن ديب بروڤ الشركاء من تبادل النتائج المثبتة، وليس البيانات الخام، مما يحافظ على الأمان مع تمكين التشغيل البيني. • مراجعة ما بعد الإجراء وتتبع دورة الحياة: يتحقق ديب بروف من صحة الاختبار، ويربط البراهين بالمخرجات أثناء النشر، ويوفر أدلة قابلة للتكرار لمراجعة ما بعد الإجراء. هذا يخلق نزاهة تشغيلية مستمرة من التطوير → النشر → التدقيق.