AIVV：LLM 代理自動化自主系統 V&V
AIVV 是一種混合神經符號框架，利用 LLM 自動化自主系統的驗證與確認 (V&V)。它部署專門 LLM 代理理事會，根據自然語言需求語義驗證異常，並驗證故障後回應。UUV 模擬器實驗顯示可擴展數位化人迴圈 V&V 流程。
Search
Tag: #autonomous-systems121 results
OpenShell 保障自主 AI 代理安全
NVIDIA OpenShell 讓稱為「claws」的自主自進化 AI 代理更安全運行。這些代理獨立規劃並無限執行目標，無需人類監督。它解決進化 AI 自治中的信任與環境挑戰。
美國陸軍與Anduril簽訂高達200億美元技術合同
美國陸軍向Anduril Industries授予價值高達200億美元的合同，用於採購軟體、硬體及服務。此協議將加速先進技術向一線官兵交付。強調現代戰場由軟體定義，需要更快部署軟體能力。
Anduril 太空單位規模加倍
自主武器製造商 Anduril 已將其太空單位規模加倍。公司強調保護太空、確保太空存取權，以及維持太空掌控。
Hegseth 組建五角大樓 AI 兄弟團隊
美國國防部長 Pete Hegseth 正在五角大樓組建私營部門 AI 團隊，前 Uber 高管 Emil Michael 出任國防部研究與工程副部長。團隊包括一位私募股權億萬富翁，專注推進國防 AI。他們參觀了多域自主系統展覽。
Ukraine 的 48,000 美元無人機可飛行 2,000 公里
據報導，Ukraine 的 MICH 2000 摧毀了 Engels-2 空軍基地的一架 Russian Tu-95MS 戰略轟炸機。這款飛翼無人機據稱成本低廉、航程達 2,000 公里，年產量可達 6,000 架。
📰
深入了解自主殺人無人機蜂群的崛起
自主無人機蜂群正從概念走向實際部署，利用大量無人平台進行協同感知與攻擊。這項技術涵蓋商用四軸無人機，以及體型更大的無人機平台。
📰
Tekever 融資洽談估值達 55 億歐元
葡萄牙監控無人機製造商 Tekever 據報正洽談一輪最高 5 億歐元的融資。若交易完成，公司估值可能達到 55 億歐元，較去年提高五倍。
理解 AI Agent 與可靠工作流程
LangChain 說明 AI agent 的定義、其如何透過 LLM 迴圈運作，以及它們與預先定義工作流程的差異。本指南聚焦於設計可靠、可投入生產環境的自主系統。
英國皇家海軍完成全球首次無人艇空投測試
英國皇家海軍成功將自主無人艇從運輸機空投至海面，這是「蜂巢計畫」（Project Beehive）的重要里程碑，旨在探索海洋軍事力量的全新部署方式。