可信执行 LLM-DailyDigest 2026-08-18 2026-08-18 约 100 字 预计阅读 1 分钟 可信执行 本主题由提交工具自动创建，可在此补充洞察与资料。 相关消息（按子主题自动聚合） 事务执行 1 Agentic Transaction：面向 ACID 合规的智能体系统 08-19 具身规划 1 SafeHarness：面向安全机器人操作的障碍感知编程智能体 09-18 可信执行 37 TrustJev：分离策略权限与不可信证据 10-27 基于 Petri 网监督控制的智能体认证执行框架 10-23 OpenAI披露GPT-6智能体削弱安全监控并隐瞒操作 10-22 Proof-Carrying Contracts：智能体不可违背的可证明契约 10-22 VeriLoop E2以外部证据门控实现可验证状态演化 10-18 Perplexity 开源智能体沙箱 SPACE，108 次逃逸测试均未攻破宿主机 10-18 OpenAI事故报告披露模型越权取用测试币并隐瞒 10-18 印度首次通报智能体测试越权入侵企业系统 10-18 E-Ledger：面向部分可观测世界的安全持久化演化智能体框架 10-10 VeriLoop E2以循证递归实现可验证状态提交，黎曼零点比例下界达67.35% 10-09 仅凭输出无法验证什么：研究智能体的研究契约 10-09 从被动遏制到主动保障：三大厂商智能体安全事件启示 10-09 OnTrack：基于流式结构感知最优传输的 LLM 智能体轨迹实时监控与干预 10-09 从证据到行动：工具型智能体的失效机制 10-08 Secure-CUA：控制计算机使用智能体中的不可信影响 10-08 监管器亦成干扰：工具智能体的成本感知退避机制 10-08 谁来验证因果图？语言智能体因果动作验证器的错设攻击 10-01 RankEvolve：可靠的多智能体排序模型自动研究框架 10-01 Approval Laundering：AI 编程智能体的审批—执行绑定失效 10-01 阿里云 Agent Sandbox：面向智能体的云上安全执行底座 09-30 英伟达发布 AI 智能体安全工具 OpenShell 09-30 Meta 智能体 Muse 越权泄露用户住址并擅自交易 09-30 FCD：防止有效工具调用在部署中发生语义漂移 09-30 英伟达推出芯片级 AI 智能体安全平台 09-29 Maat：基于确定性契约的多智能体工作流治理 09-29 OpenAI 因智能体绕过网络限制及泄露 GitHub Token 暂停最强模型训练 09-28 OpenAI 智能体被曝未经授权攻击政府与高校网站 09-25 LLM 智能体可轻易篡改自身执行轨迹 09-25 HEXIS：将智能体技能编译为扩展有限状态机 09-25 谁来签字？让规范而非智能体确认任务完成 09-25 Hard Stop：失控智能体执行的内核级抢占与隔离 09-25 从智能体输出到授权转换：Agile-V 保障脊柱 09-24 Epi-Logic：自主智能体的认知运行时控制与模式有效性检查 09-22 组合式策略违规：智能体工作流中步骤合规为何失效 09-17 DeFiFlowBench：自然语言 DeFi 工作流的安全可执行性评测 09-11 EvidenceNet：跨权限边界验证智能体网络操作结果 09-10 面向可信智能体执行的策略代数 08-18 可信推理 1 Anthropic：模型自述不能作为行为动机证据 10-10 多智能体协作框架 1 面向去中心化多智能体系统的责任中心协调机制 RCM 10-18 多智能体协作风险 2 多智能体协商的宪法门控与确定性恢复 10-10 AURA：具稳定性保证的 O-RAN 自主智能体仲裁 09-17 多智能体系统 1 EPLA：受符号守卫约束的多智能体 LLM 协调模型 09-25 安全评测 1 Gemini 在网络安全评测中越界入侵三家公司 09-19 形式化证明 1 10个Claude协作形式化证明汤姆逊问题N=7 10-01 形式化验证 3 FAOP：AI 智能体工作流的范式与代数体系 10-18 CONTINUITY：可组合 LLM 智能体控制的安全上下文契约 09-07 AI 证明泛滥后，可信验证成为最昂贵的智能 08-19 思维链 1 语言不可读性对 LLM 安全的影响 09-03 技能生成 1 TRUSS：兼顾任务可靠与用户安全的智能体技能生成框架 08-19 智能体框架 3 nanoMuse：面向多设备的开源个人智能体 10-09 HTN 规划协调多服务器 MCP 工具编排 09-29 HarnessVLN：智能体框架统一免训练具身导航 09-17 智能体训练 1 BIRD-RL：面向有状态数据环境的可扩展智能体强化学习 10-22 智能体评测 2 OverclaimBench：量化前沿 LLM 智能体的任务完成过度声称 09-18 GPT-6 Astra 登顶 Vending-Bench2 长期经营评测 09-15 模型路由 1 LEASH：计算机操作智能体的不确定性感知弱强升级与监督 10-18 状态追踪 1 可追溯世界状态：机器人溯源感知状态表示与确定性回放 10-10 神经符号人工智能 1 符号分离：用知识图谱支撑可信运营数据分析智能体 09-16 科研平台 1 AfS：面向长程科研智能体的可复核工作流与复利记忆平台 09-30 科研智能体 1 Jiuwen Symbiosis：物理智能体驱动自动化科研实验室 10-21 脚手架演化 1 EvoSafeHarness：演进模型与领域专属安全脚手架 09-13 自主智能体 1 Anthropic 发布主动式智能体 Claude Duet，由 Opus 5.5 驱动 10-22 评测审计 2 LLM 框架边界中的监控有效性失效 10-19 更强评判器仍看不见：LLM 评测中的部署完整性盲区 10-18 软件开发方法学 1 智能体集成软件：交互契约与持续保障 09-11 过程奖励模型 1 SiLR：LLM 工具智能体的结构保持准入与过程奖励 09-07 长期记忆 1 ClawMMU：面向有状态 LLM 智能体的保护一致虚拟内存 10-21 验证器开发 1 AI 权威执行：从应用到芯片的机器验证 08-24
