Lagrange Labs 現在已成為 @LockheedMartin 供應商生態系統中的註冊供應商，使 Lagrange 能夠支持航空航天和國防計劃中的 AI 保證和零信任數據完整性倡議。 了解更多：🧵

2/ 洛克希德·馬丁公司負責F-35閃電II、F-16戰鬥鷹和C-130大力神，越來越依賴於機器學習，應用於航空電子學、任務規劃和ISR分析。 隨著AI嵌入這些系統，驗證AI行為的能力現在已成為任務關鍵。

3/ Lagrange 的 DeepProve 為每個 AI 模型輸出附加了一個加密證明。 這用確定性取代了假設。 DeepProve 證明了： • 使用的模型授權了未經修改的輸入 • 輸出遵循了批准的安全邊界 • 推理路徑是可重現和可審計的 • 沒有暴露任何參數或敏感的遙測數據

4/ 這為 AI 保證和零信任數據完整性解鎖了新的可能性： • 航空電子學與飛行關鍵系統：對於航空電子學和操作員在環路工作流程中，必須以機器速度驗證正確性。DeepProve 確保每個模型行動都可以被證明，而不是猜測。 • 任務規劃：任務規劃工具必須顯示輸出是使用經批准的邏輯和約束條件生成的。DeepProve 生成防篡改的記錄，增強認證、驗證和認可。 • ISR 融合：ISR 系統依賴於敏感的多來源數據。DeepProve 在證明輸出正確生成的同時保持機密性，這對於情報工作流程至關重要。 • 聯盟行動：聯盟任務需要信任而不共享機密的遙測數據。DeepProve 使合作夥伴能夠交換經過驗證的結果，而不是原始數據，保持安全的同時促進互操作性。 • 行動後回顧與生命週期可追溯性：DeepProve 在測試期間驗證正確性，將證明綁定到部署中的輸出，並提供可重複的證據以供行動後回顧。這從開發 → 部署 → 審計創造了持續的操作完整性。