报告提出 AI 保险栈蓝图,主张 2030 年前实现数十亿美元级 AI 智能体承保
提出 AI 保险栈蓝图,为智能体经济构建可定价的明确承保
- arXiv
- 2607.11999
- 发表
- 层
- 应用层
- 场景
- AI Agent
提出 AI 保险栈蓝图,为智能体经济构建可定价的明确承保
综合技术 AI 安全研究优先级,提出社会韧性支柱与智能体风险管理原则
提出可防篡改、可重放的自主 Agent 运行证据方案
占位。
提出 SAVER 框架综述自演化智能体的安全状态转移
SAVER 是一篇关于自演化智能体安全的转移中心综述:安全对象从单次回答或单次授权动作,转到可复用状态在多次转移中的谱系。
提出 FAO 框架,形式化隐私约束下的智能体协同优化
Federated Agent Optimization(FAO) 是一篇框架论文:多个处在私有环境中的 LLM 智能体,如何在原始数据、完整轨迹和本地知识不离开客户端的前提下协作改进。
提出威胁分类 T 并映射智能体红队研究与安全基准的覆盖
提出双缺口框架统一智能体软件工程的奖励投机与幻觉
Reality Is the Final Verifier 用 two-gap framework 解释智能体软件工程的主要失败,并主张用外层保证环持续收窄缺口,而不是试图在部署前证明缺口已关闭。
提出双层自改进系统 AIDE2,让外层智能体重写内层 Harness 代码
摘要提出双层递归自改进系统 AIDE2,在固定预算下演化 Harness 代码,多项留出基准超越人类基线并降低奖励黑客。
提出 Mid-Harness,在执行前验证并选择终端智能体的候选动作
Mid-Harness 在不改生成器和执行 harness 的前提下,于二者之间做动作级测试时计算,用来研究终端智能体里“多采样、再验证”何时提高轨迹成功。
提出列表式智能体补丁检索系统,在仓库中定位 CVE 修复提交
PatchHolmes 是面向补丁检索的两阶段系统:在本地 Git 仓库上用冻结开源权重模型,为一个已知 CVE 找出修复提交,不做按仓库微调,也不使用付费外部搜索 API。
提出固定权重下学习 meta-skill 以为未见任务搭建智能体 harness 的方法
作者研究 test-time AI4AI:Builder 与 Target 权重都固定时,Builder 学习如何为 Target 构造更好的执行环境。
用可验证经验流水线训练智能体并分析人机研发分工
Atria Dawn Preview 是面向研究与工程流程的智能体语言模型,论文同时报告它的基准表现,以及开发它的过程中人与智能体如何分工。
提出自演化本体层 EvoOntology,供数据智能体经 MCP 查询异构数据语义
EvoOntology 为数据智能体增加一层可在运行时查询、并随执行轨迹更新的本体,用来缩小 agent–data gap。
提出 DriveMCP 框架,将感知、交规检索与 RSS 仲裁接成可审计驾驶辅助
DriveMCP 是面向高级驾驶辅助的模块化智能体框架,把感知、合规、车辆状态和安全仲裁拆开并留下审计轨迹。
提出成本感知的 MCP 编排框架,用确定性利用图与免费层模型做自动化渗透测试
PentestChain 是一个十阶段、经 MCP 暴露的自动渗透框架,用确定性利用图把 7B 本地模型挡在利用关键路径之外,并把每次交战的美元成本当作实测指标。。
刻画远程 MCP 生态的网络集中度与工具投毒可观测性
综述智能体五维失败模式并提出 TADL 生命周期框架
摘要综述用五维失败分类对比缓解证据,并提出尚未实证验证的六阶段 TADL。
提出 TaaS 参考模型,规定跨组织智能体委托的可核验证据
Li 与 Xia 给出一份概念性的智能体跨域信任控制画像,称为 Trustworthiness as a Service(TaaS)。问题是:依赖方要接受、拒绝、审计、定价或质疑一次跨越行政信任边界的委托动作时,不能把生产域的日志或签名断言当作自己的证明。撤销、中断、记录冲突或争议之后,状态与质疑语义仍须可解释。
主张开展嵌入式评估,审查内部智能体监控、权限与模型对齐
嵌入式评估是一种第三方评估:独立评估者在前沿 AI 开发者现场获得接近员工的系统、人员与文档访问,用来审查依赖内部系统与实践的风险。