DARPA启动CLARA高保证人工智能计划

DARPA launches CLARA high-assurance AI program
报告内容
已翻译

国防高级研究计划局(DARPA),五角大楼的研究与技术部门,发布了其“人工智能复杂系统工程的组合学习与推理(CLARA)”项目的征集,邀请高保障人工智能研究的提案。

该征集由DARPA的国防科学办公室发布,寻求在“高保障人工智能系统”方面的创新基础或应用研究概念。提案截止日期为2026年4月10日下午4:00(东部时间),鼓励在2026年3月2日前提交摘要。

根据公告,CLARA是“一个探索性的基础研究项目,旨在创建高保障、广泛适用的系统级人工智能系统”。该项目将追求“基于科学和理论驱动的架构基础,以实现机器学习(ML)和自动推理(AR)子系统的分层组合”。

DARPA表示,CLARA下的保障“意味着基于自动逻辑证明和分层、经过审查的逻辑构建块,具有强可解释性的人类可验证性”。该机构预计参与者将结合高阶逻辑、概率逻辑以及AR和ML的可互操作集成等方法。

项目指标

该项目将分为两个技术领域。技术领域1(TA1)专注于开发新的高保障ML/AR组合方法,包括理论、算法和开源软件实现。技术领域2(TA2)将创建一个软件组合库,以将经过验证的TA1工具集成并支持到一个共同框架中。

如征集所述,奖励将作为原型项目的其他交易进行,第一阶段和第二阶段的总奖励金额限制为2,000,000美元。第一阶段将持续15个月,第二阶段将持续9个月,最大执行期为24个月。

该项目设定了具体的性能指标,包括“在不损失性能的情况下可验证性”、多种人工智能类型的组合,以及“计算时间复杂度为多项式”。对于TA1参与者,第二阶段还引入了在适应模型到新任务时的样本复杂性要求。

仅显示内容预览。完整文章请访问原始来源。 查看完整文章

分类信息
地区
北美
分析域
战略级
主要分类
政军关系
SALUTE 报告
规模
N/A
活动
DARPA发布了CLARA计划的征集通知,邀请高保证人工智能研究的提案。
地点
美国
单位
国防高级研究计划局(DARPA)
时间
提案截止日期为2026年4月10日
装备
高保证人工智能系统机器学习(ML)自动推理(AR)
摘要

DARPA发布了CLARA计划的征集通知,邀请高保证人工智能研究的提案,截止日期为2026年4月10日。该计划旨在开发广泛适用的人工智能系统,重点关注机器学习和自动推理子系统的组合。为第一阶段和第二阶段的联合努力分配了总计2,000,000美元的资金,其中将包括集成场景的研讨会和黑客马拉松。

关键事实
  • DARPA启动了CLARA高保证人工智能研究计划。
  • 提案截止日期为2026年4月10日,鼓励在2026年3月2日之前提交摘要。
  • 该计划旨在创建广泛适用的系统级人工智能。
  • 第一阶段和第二阶段联合努力的总奖励金额限制为2,000,000美元。
  • 该计划包括集成场景的研讨会和黑客马拉松。