国防高级研究计划局(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参与者,第二阶段还引入了在适应模型到新任务时的样本复杂性要求。

仅显示内容预览。完整文章请访问原始来源。 查看完整文章
DARPA发布了CLARA计划的征集通知,邀请高保证人工智能研究的提案,截止日期为2026年4月10日。该计划旨在开发广泛适用的人工智能系统,重点关注机器学习和自动推理子系统的组合。为第一阶段和第二阶段的联合努力分配了总计2,000,000美元的资金,其中将包括集成场景的研讨会和黑客马拉松。
- DARPA启动了CLARA高保证人工智能研究计划。
- 提案截止日期为2026年4月10日,鼓励在2026年3月2日之前提交摘要。
- 该计划旨在创建广泛适用的系统级人工智能。
- 第一阶段和第二阶段联合努力的总奖励金额限制为2,000,000美元。
- 该计划包括集成场景的研讨会和黑客马拉松。
