أصبحت لاغرانج لابز الآن موردا معتمدا ضمن بوابة موردي المؤسسات @generaldynamics. وبصفتنا موردا معتمدا، أصبحت تقنيات التحقق الشفرتي لدينا الآن مرئية للفرق التي تسعى إلى ضمان متقدم في الذكاء الاصطناعي وسلامة بيانات الثقة الصفرية للحكومة والدفاع.

2/ تشغل جنرال دايناميكس أنظمة المهام عبر المجالات البرية والبحرية والجوية والسيبرانية وC4ISR. الانضمام إلى هذا النظام كمورد معتمد يعكس تحولا أوسع نحو تقنيات الدفاع التي يمكنها التحقق من صحة وأصلها والسلامة بسرعة تشغيلية.

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

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

5/ سنبني عبر ثلاثة مجالات أساسية: الاتصالات الآمنة وC4ISR، تخطيط المهام البرية والبحرية، والامتثال للبرامج • الاتصالات الآمنة وC4ISR: تتحقق DeepProve من أن الرسائل، وبيانات المستشعرات، والمخرجات التحليلية تنشأ من سلاسل معالجة موثقة وتبقى غير متأثرة، وهو أمر حيوي لاتخاذ القرار في الوقت الحقيقي. • تخطيط المهام البرية والبحرية: يجب أن يعمل التخطيط الآلي ضمن قيود سلامة صارمة. ينتج ديب بريف أدلة واضحة للتلاعب لكل عملية حساب تخطيط مهمة، مما يخلق سجلا مسؤولا عن كيفية اتخاذ كل قرار. • الامتثال للبرامج: تدعم الإثباتات الاعتماد والتكامل من خلال تمكين تسليم المعاملات القابلة للتدقيق بين الموردين والمتكاملين الحكوميين والتحقق من سلامة المعالجة طوال دورات حياة البرنامج.