Lagrange Labsは現在、@LockheedMartinのベンダーエコシステムに登録サプライヤーとなり、航空宇宙および防衛プログラムにおけるAI保証およびゼロトラストのデータ整合性イニシアチブを支援する立場を築いています。 詳細情報： 🧵

2/ ロッキード・マーティンはF-35ライトニングII、F-16ファイティングファルコン、C-130ハーキュリーズを担当し、アビオニクス、ミッションプランニング、ISR解析において機械学習にますます依存しています。 AIがこれらのシステムに組み込まれるにつれて、AIの行動を検証する能力は今やミッションクリティカルとなっています。

3/ ラグランジュのDeepProveは、すべてのAIモデル出力に暗号学的な証明を付加します。 これは仮定を確実性に置き換えます。 DeepProveは以下のことを証明しています: ・モデルは認可された変更されていない入力を用いていました ・出力は承認された安全境界に従っていました ・推論経路は再現可能かつ監査可能です • パラメータや感度の高いテレメトリーは一切漏洩していません

4/ これによりAI保証とゼロトラストのデータ整合性に新たな可能性が開かれる: • アビオニクスおよびフライトクリティカルシステム:アビオニクスおよびオペレーター・イン・ザ・ループのワークフローにおいては、機械速度で正確性を検証する必要があります。DeepProveは、すべてのモデルアクションを推測ではなく証明できるようにしています。 ・ミッション計画:ミッション計画ツールは、承認された論理と制約を用いて成果物が生成されたことを示す必要があります。DeepProveは、認証、検証、認定を強化する改ざん防止記録を生成します。 ・ISRフュージョン:ISRシステムは高感度で多元ソースのデータに依存します。DeepProveは機密性を守りつつ、出力が正しく作成されたことを証明し、インテリジェンスのワークフローにとって極めて重要です。 ・連合作戦:連合の任務は機密テレメトリを共有しない信頼を必要とします。DeepProveは、パートナーが生データではなく検証済みの結果を交換できるようにし、セキュリティを維持しつつ相互運用性を可能にします。 ・事後レビューおよびライフサイクルトレーサビリティ:DeepProveはテスト中の正確性を検証し、展開時の出力に証明を結びつけ、事後レビューのための再現性のある証拠を提供します。これにより、開発→展開→監査に至るまでの継続的な運用整合性が生まれます。