报告提出 AI 保险栈蓝图,主张 2030 年前实现数十亿美元级 AI 智能体承保
提出 AI 保险栈蓝图,为智能体经济构建可定价的明确承保
- arXiv
- 2607.11999
- 发表
- 层
- 应用层
- 场景
- AI Agent
提出 AI 保险栈蓝图,为智能体经济构建可定价的明确承保
综合技术 AI 安全研究优先级,提出社会韧性支柱与智能体风险管理原则
提出 OpenMLE 全栈,用执行反馈后训练机器学习元进化智能体
作者提出全栈 OpenMLE,在机器学习工程里研究从进化到元进化的一步,并把递归自我改进视为更远目标。智能体要在延迟、有噪声的执行反馈下反复修改程序。作者认为公开系统很少同时提供可扩展环境、基于执行的后训练,以及部署该模型的长程进化搜索。
提出可防篡改、可重放的自主 Agent 运行证据方案
占位。
提出 SAVER 框架综述自演化智能体的安全状态转移
SAVER 是一篇关于自演化智能体安全的转移中心综述:安全对象从单次回答或单次授权动作,转到可复用状态在多次转移中的谱系。
提出 FAO 框架,形式化隐私约束下的智能体协同优化
Federated Agent Optimization(FAO) 是一篇框架论文:多个处在私有环境中的 LLM 智能体,如何在原始数据、完整轨迹和本地知识不离开客户端的前提下协作改进。
提出威胁分类 T 并映射智能体红队研究与安全基准的覆盖
提出双缺口框架统一智能体软件工程的奖励投机与幻觉
Reality Is the Final Verifier 用 two-gap framework 解释智能体软件工程的主要失败,并主张用外层保证环持续收窄缺口,而不是试图在部署前证明缺口已关闭。
提出沙箱平台 DSec,支撑大规模智能体训练的弹性隔离与状态恢复
DSec 是 DeepSeek-AI 的生产沙箱平台,用来支撑从 DeepSeek V3.2 到 V4.1 的智能体 RL 与评测,而不是报告某个模型的任务准确率。
提出双层自改进系统 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 生态的网络集中度与工具投毒可观测性
综述智能体五维失败模式并提出 TADL 生命周期框架
摘要综述用五维失败分类对比缓解证据,并提出尚未实证验证的六阶段 TADL。
提出 TaaS 参考模型,规定跨组织智能体委托的可核验证据
Li 与 Xia 给出一份概念性的智能体跨域信任控制画像,称为 Trustworthiness as a Service(TaaS)。问题是:依赖方要接受、拒绝、审计、定价或质疑一次跨越行政信任边界的委托动作时,不能把生产域的日志或签名断言当作自己的证明。撤销、中断、记录冲突或争议之后,状态与质疑语义仍须可解释。
主张开展嵌入式评估,审查内部智能体监控、权限与模型对齐
嵌入式评估是一种第三方评估:独立评估者在前沿 AI 开发者现场获得接近员工的系统、人员与文档访问,用来审查依赖内部系统与实践的风险。