OmniHarness:通过符号策略学习实现可泛化视觉生成
北京航空航天大学、香港中文大学和新加坡国立大学的研究者提出 OmniHarness 框架,通过符号策略学习实现可泛化的视觉生成。该方法将验证过的执行过程抽象为面向视觉生成任务族的符号策略,保留共享流程与适用条件,并在执行中通过中间验证进行纠错与恢复。在 ComfyBench 创意任务上,OmniHarness 达到 95.0% 的解决率,超过最强基线 27.
技术方向 · 让模型自主规划、调用工具、完成多步任务的技术方向 · 共 4256 条
只展示置信度达到公开门槛且每篇排名前三的主题标签,降低泛化误贴。
北京航空航天大学、香港中文大学和新加坡国立大学的研究者提出 OmniHarness 框架,通过符号策略学习实现可泛化的视觉生成。该方法将验证过的执行过程抽象为面向视觉生成任务族的符号策略,保留共享流程与适用条件,并在执行中通过中间验证进行纠错与恢复。在 ComfyBench 创意任务上,OmniHarness 达到 95.0% 的解决率,超过最强基线 27.
中关村学院与中关村人工智能研究院发布 ZGCM-1,一个完全开源的 7B 稠密基础模型,面向数学推理与智能体搜索,从零训练并开源权重、数据、代码与日志。该模型采用混合注意力、FP8 Muon 优化器和 MDP 中期训练等高效方案,在 16K 预训练上实现 4.2 倍时间到损失加速。评测显示其在 7B 规模推理基准上领先,并在部分数学与智能体搜索任务上接近参数
该论文提出「认知充分性」(epistemic adequacy)作为AI原生MBSE的数据架构模式,分为读取侧充分性与写入侧可采纳性两部分。作者以公开的Apollo 11 SysML v2重建模型为案例,指出结构完整的模型仍缺少推导链、认知状态标注、来源追踪和可解析证据,导致AI读取者不弃权而是从训练数据填补空白。论文提出治理查询架构框架(GQAF),包含八
法国索邦大学的研究者提出 BeWater,一种完全分布式的步行协议,让抗议者在无通讯、无地图、无法识别同伴的受限条件下,仅依靠街道长度、车道数、餐馆数量、街道名称等城市可观察特征进行聚集。该方法基于 OpenStreetMap 数据,将城市建模为带属性的离散街道网络,采用类似水滴顺坡下滑的规则,将网络划分为多个「分水岭」聚集区。研究在香港、巴黎、西雅图三个真
约克大学Lassonde工程学院的研究者提出AgentGuard,一个从异常编码智能体轨迹中自动学习执行护栏的指令级框架。该方法从642条真实失败轨迹中提取可复用的执行约束,并组织为轻量级技能,仅在触发条件满足时动态激活。使用Claude Code与Claude Haiku 4.5在100个任务上评估,异常执行率从69.0%降至26.7%,任务成功率从21.
研究者在 CodeClash 代码竞技场基准上以开源模型 Qwen3-Coder-30B 为案例,探索如何用更强智能体的知识蒸馏来提升弱代码智能体的长程交互能力。他们发现该模型常出现语法与协议错误、缺乏跨轮次策略调整,于是提出 ReAct SFT(将教师轨迹改写为 [obs][thought][act] 链)和轨迹质量加权 SFT(TQ-SFT,鼓励修改后检
杭州AI蛋白质设计公司力文所发布Lévin™ Harness,一款面向科研社区的Agent工作台,将数据、模型、插件工具、算力和工作流整合到同一环境,支持蛋白质结构预测、序列设计等任务,并允许用户通过插件接入自有模型与算力。该产品旨在解决AI for Science中模型之外的流程衔接问题,让Agent组织科研闭环。力文所此前自研全原子蛋白质生成模型Pall
量子位报道,随着Coding Agent等长任务普及,KV Cache占用显存导致并发下降、TTFT升高。英特尔提出以CPU侧管理、分层存储和QAT硬件压缩为核心的KV Cache优化方案,包括KV Shrink、KV Fuse、KV Cascade和KV Infinity四个方向。测试显示KV Shrink在80%缓存命中率下TTFT最高约5倍加速,QAT
华为GTS AI算法团队提出NetCanvas机制,通过「可交互视觉拓扑」为网络运维Agent提供外部工作记忆画布,解决纯文本Agent在复杂IP承载网排障中的「拓扑失忆」问题。在公开基准CTBench上,Agent综合通过率从30.3%提升至54.5%,双防火墙、ECMP等复杂子任务从约10%跃升至约90%,平均探查步数从159步降至113步,Token试
王强宇出任百望股份联席总经理,负责统筹集团AI产品战略规划及财税大模型的技术优化、产品迭代、场景适配与全链路商业化落地。百望股份正从发票和财税SaaS工具公司,转向以真实交易数据为基石的AI公司,路径分为发票SaaS工具、财税垂直大模型、企业的Palantir三个阶段。王强宇此前曾主导豆蔻医疗大模型及临床智能产品落地,其履新被视为百望股份战略转折的关键一步。
Mistral AI 宣布与 Mozilla 达成合作,Firefox 的 AI 浏览助手 Smart Window(测试版)将由 Mistral 模型驱动,率先面向法国和北美用户,英国和德国预计年内跟进。双方强调开源、隐私与本地化,Mistral 按地区语言和方言微调模型,并承诺零数据保留、对话默认不存于 Mozilla 服务器。此举意在让浏览器成为多家
Anthropic 宣布将 Claude Cowork 的能力整合进所有对话,用户无需先选择模式即可直接提问或交付报告、表格、演示文稿等任务,聊天、任务、项目、连接器和技能均可延续。同时,Claude Design、Claude Slides 和 Claude Docs 等 Artifacts 功能可在任意对话中使用,并面向所有套餐(含免费版)开放,企业版处
在Salesforce Dreamforce大会上,NVIDIA创始人兼CEO黄仁勋与Salesforce CEO Marc Benioff同台,宣布Salesforce首个CRM推理模型Koa,该模型基于NVIDIA Nemotron 3 Super后训练而成。Koa完全在Salesforce自有基础设施上运行,训练和推理均未使用客户数据,已在Salesf
Claude Code 发布 2.1.273 版本更新,新增面向 LLM 网关的请求头(如 x-claude-code-request-class、x-claude-code-agent-type 等,需通过 CLAUDE CODE GATEWAY HINT HEADERS=1 开启),并支持从 Claude 应用对远程控制会话进行分叉。此次更新还修复了大量
Meta 宣布允许用户选择 AI 代理来设置和管理 WhatsApp Business 消息服务,此前该流程需要开发者在多个工具间切换。这一功能由新的 WhatsApp Business Tools MCP 服务器实现,可连接 Claude、Cursor、Codex、ChatGPT 等 AI 编码代理。AI 代理能处理创建账户、验证电话号码、注册 Cloud
Good Start Labs 联合创始人兼 CEO Alex Duffy 向 Latent Space 介绍,公司正把游戏转化为 AI 模型的训练材料,其灵感来自 2025 年 Twitch 上前沿模型玩《Diplomacy》的直播。公司用《1830: The Game of Railroads and Robber Barons》训练了一个 30B 模型
Strands Agents SDK 发布 TypeScript 版本 v1.18.0,新增 BM25 搜索策略、TypeScript 版 web fetch 工具、双向流式(bidi)实时转录与音频输出、上下文策略预设与会话管理器集成,并自动使用会话 ID 作为 OpenAI prompt-cache 键。同时修复了结构化输出重试、Mistral 图像块保
Strands Agents SDK 发布 Python 版 v1.56.0,新增 Anthropic 服务端工具(如网页搜索)的非覆盖式接入、BM25 搜索策略、TypeScript 版 web fetch 工具,以及双向(bidi)音频转录渲染与生命周期钩子等能力。同时修复了结构化输出重试、Mistral 图像块保留、Bedrock Mantle 模型路
Google ADK Python 发布 v2.9.1 版本,主要改进在使用 Claude 自适应思考能力时对模型推理步骤的可见性。该版本通过确保在自适应思考任务中请求可见思考内容,让开发者能够访问 Claude 模型逐步推理的过程。此次更新以 bug 修复形式提交。
无问芯穹联合清华大学、上海交通大学正式开源具身端侧推理引擎APXInf,支持RTX 4090、Jetson Orin、Jetson Thor等主流计算平台。该引擎在Jetson Thor上将PI 0.5 FP8的端到端推理延迟从278ms降至26ms以内,达到46Hz推理频率,并采用Rust极简运行时与Python接口兼顾稳定性与易用性。APXInf作为RL