上下文压缩中的约束丢失:评估与解决方案
宾夕法尼亚州立大学的研究团队发现,在上下文压缩过程中,用户发出的会话约束(如“未经确认不要删除邮件”)会被静默丢弃,导致AI系统违反用户指令。他们提出了CompInt评估套件,涵盖多轮对话、智能体轨迹和长周期研究三种场景,并测试了多种压缩器,结果显示平均仅保留17%的约束。团队还开发了一种与压缩器并行的SC感知提取器,在不修改压缩器或LLM的情况下,将约束保
技术方向 · 让模型自主规划、调用工具、完成多步任务的技术方向 · 共 4275 条
只展示置信度达到公开门槛且每篇排名前三的主题标签,降低泛化误贴。
宾夕法尼亚州立大学的研究团队发现,在上下文压缩过程中,用户发出的会话约束(如“未经确认不要删除邮件”)会被静默丢弃,导致AI系统违反用户指令。他们提出了CompInt评估套件,涵盖多轮对话、智能体轨迹和长周期研究三种场景,并测试了多种压缩器,结果显示平均仅保留17%的约束。团队还开发了一种与压缩器并行的SC感知提取器,在不修改压缩器或LLM的情况下,将约束保
本文提出将AI代理安全视为网络问题,主张采用确定性执行与上下文感知过滤相结合的网络架构,以解决现有代理中心防御的局限性。作者认为,依赖LLM推理的防御易受提示注入等攻击,无法提供强安全保证,而网络侧控制可提供更可靠的保障。文章还提出了参考架构,并指出了未来研究方向。
Backtrader-Bench 是一个用于评估 LLM 智能体在算法交易中能力的基准框架,包含确定性 MCQ 管道和生成器-求解器过滤管道,可自动生成并验证问题。在 30 道精选题目上,工具增强的智能体(如 GPT-5.5 和 Opus 4.7)单次准确率达 90.0%,比最佳无工具基线(73.0%)高出 17 个百分点。该框架旨在生成训练语料,用于强化学
该研究探讨了多智能体系统中,更强的智能体能力并不必然带来更强的集体表现,而机构结构(如信息路由、验证、状态维护等)在修复集体推理失败中起关键作用。通过构建四类失败场景(访问与路由、接纳与依赖、维护与激励、表征与行动)的人工生态,实验发现机构干预仅在修复公共状态构建失败时有效,而当信号无信息量、智能体可直接完成转换或状态无法支持行动时,其优势消失。研究将智能与
本文提出了一种名为 Continuity Kernel (CK) 的激活契约,用于管理长期运行的 AI 代理的状态治理。CK 将候选评估与原子状态激活分离,通过短事务验证所有权、预状态权限、新鲜度和效果唯一性,并记录提交、拒绝、隔离或延迟四种处置。该协议通过有界可执行模型验证,覆盖 2,808,230 个可达状态和 5,526,474 个状态转换,未发现不变
DeepSeek发布了V4 Pro正式版,API平台已更新至DeepSeek-V4-Pro-0813,多项基准测试显示其Agent能力接近或超越Fable 5和Opus 4.8。价格与预览版持平,但网友发现其思维链输出变得简略,可能影响写作能力。该发布被视为国产开源模型在性价比之外向SOTA发起冲击的标志。
《知识就是力量》杂志社与360科技集团联合发布“知力·纳米”科普科幻AI大片创作平台,该平台基于360的纳米大片流水线,结合杂志社70年科普内容,提供从剧本到成片的AI视频生产全流程服务。平台面向学校、科研机构等,旨在将权威科普内容转化为可视化AI视频,推动科普内容生产的专业化与生态化。
《知识就是力量》杂志社与360科技集团联合发布“知力·纳米”科普科幻AI大片创作平台,该平台基于360纳米大片流水线,结合权威科普内容与AI视频生产能力,面向中小学、高校、科研机构等提供从剧本到成片的AI视频创作服务。平台旨在推动科普内容生产专业化、体系化,并已获得相关许可,作品可纳入官方平台。
另有 1 家信源报道
AhaCreator,一家AI原生海外达人营销平台,宣布与飞书深度集成,成为飞书首个海外达人营销AI Agent合作伙伴。该平台通过AI连接品牌与海外达人,提供从筛选、沟通到履约管理的全流程自动化,并建立风险识别与处理机制。目前,AhaCreator已服务400多个全球化品牌,覆盖智能硬件等多个领域,并完成Pre-A+轮融资,累计融资超千万美元。
荣耀于2026年8月12日发布全球首款机器人手机荣耀Robot Phone,该手机配备四自由度钛合金灵巧云台和系统级Agent架构,支持多模态具身交互。荣耀与ARRI合作引入电影级影像技术,并搭载第五代骁龙8至尊版平台,售价9999元起。该产品旨在推动AI终端从数字智能迈向具身智能,开启人机伙伴关系新阶段。
Hugging Face 每日论文介绍了 Spark-to-Paper,一个在现有编码助手中以十三个可组合技能实现的研究论文端到端生成系统。该系统将规划与报告分离,通过完整性检查减少捏造,并生成可编辑的矢量图。在八个受控研究主题上,它实现了 99.5% 的引用有效性和 96.4% 的图形可编辑性,完整系统平均每篇手稿成本 8.1 美元,耗时 3.2 小时。
研究人员推出了MBA-Bench,这是首个用于训练和评估商业构思智能体的多模态基准,包含六个领域的3万个样本。他们提出了MBA-b和MBA-k模型,通过LoRA微调和组相对策略优化,结合创造性和可行性奖励进行训练,显著优于文本和多模态基线。MBA-b和MBA-k分别比多模态基线提升25.6%和35.8%。
LangChain 发布了 langchain-anthropic 1.5.6 版本,主要修复了 tool search tool result 块的规范化问题,并更正了 Fable 5、Sonnet 5 和 Opus 4.1 的模型配置文件数据。该版本更新旨在提升 Anthropic 模型在 LangChain 框架中的兼容性和稳定性。
xAI 发布了 Grok 4.6 模型,该模型在知识工作领域表现优异,价格远低于同类前沿模型,并已集成到 Cursor 和 SpaceX 团队的产品中。同日,阿里发布开源模型 Qwen3.8-Max,DeepSeek 推出 V4 Pro GA,微软也发布了自研推理模型 MAI-Thinking-1。这些发布标志着 AI 助手和知识工作领域的竞争加剧。
ToolHazard 是一个可扩展的对抗性环境合成框架,用于测试 LLM 代理对间接提示注入的脆弱性。该框架通过环境模拟器、攻击代理和用户模拟器生成可执行的状态化环境,并构建了 ToolHazard-Bench 基准。实验表明代理存在显著脆弱性,且注入时机和位置影响攻击效果。ToolHazard 生成的对抗数据能提升代理在 ToolHazard-Bench
本期资讯涵盖多个AI相关动态:美国政府解除联邦设备上TikTok的使用限制,因TikTok美国业务重组后不再构成安全威胁;DeepSeek发布V4 Pro正式版API,增强Agent能力;阿里开源Qwen3.8-2.4T-A95B模型权重;腾讯发布二季报,AI投入加大;小红书打造AI导购功能;宇树科技IPO中签率创科创板新低。
谷歌发布 Gemini 3.7 Flash 正式版(GA),称其为面向编程与智能体场景的最智能主力模型。该模型在软件工程、Web 开发和智能体工作流方面有显著提升,并提供截至 2026 年 12 月 31 日的介绍性价格。
另有 1 家信源报道
Strands Agents SDK 发布了 TypeScript 版本 v1.13.0,该版本引入了 ModelRouter 以支持通过 Agent(model=) 进行模型路由,并新增了 strands-github-storage 集成、顶层存储支持以及 AgentStreamStage 中间件功能。同时修复了多个问题,包括 Bedrock 请求取消、
Strands Agents SDK 发布了 Python 版本 v1.52.0,新增了 ModelRouter 模型路由功能,并支持通过 Agent(model=) 参数使用。同时引入了 strands-github-storage 集成、顶层存储模块以及 AgentStreamStage 中间件。此外,修复了多个问题,包括 Bedrock 请求重试、Op
SpaceXAI 发布了新模型 Grok 4.6,在 Artificial Analysis Intelligence Index 上得分 61,与 OpenAI 的 GPT-5.6 Sol 持平,仅次于 Anthropic 的 Claude Opus 5 和 Claude Fable 5。该模型在代理任务上表现优异,在 GDPval-AA v2 基准上排名
另有 1 家信源报道