蚂蚁密算开源HOP 3.0:以“智能体原生语言”构建可信可控的AI Agent执行体系
蚂蚁密算在2026 Inclusion·外滩大会上宣布开源可信原生智能体HOP 3.0,提出“智能体原生语言”概念,旨在解决自主智能体在金融、医疗等严肃场景中面临的失控风险。该技术通过结构化逻辑与大模型推理融合,实现探索与核验分离,显著降低长任务控制压力并提升可靠性。实测数据显示,引入HOP 3.0后普通模型故障率下降约91.7%,且能大幅降低算力成本,推动智能体从试点走向规模化生产。
事件概述
2026年9月,在Inclusion·外滩大会上,蚂蚁密算董事长韦韬正式宣布开源可信原生智能体HOP 3.0。该版本基于2025年发布的HOP 1.0技术框架升级而来,核心创新在于提出“智能体原生语言”(Agent-Native Language),将技术体系从单纯的可信应用技术框架,演进为以原生语言为核心、构建可信原生智能体的新一代架构。此次开源面向开发者、企业及行业专家开放,旨在推动产业智能体从依赖模型自觉,转向边界明确、过程可控、结果可核验的可信执行模式。
核心痛点与技术突破
当前,自主智能体虽在软件开发等领域展现生产力,但在进入金融、医疗、政务等严肃场景时面临三大失控风险:
- 人对AI的失控:审核干预速度跟不上生成速度。
- AI自身的失控:智能体可能跳步、越界或陷入逻辑泥沼。
- 数据失控:无边界上下文导致敏感数据泄露。
针对现有生态中自然语言Skill(技能)与代码Harness(执行框架)割裂的问题,HOP 3.0提出了以下解决方案:
- 智能体原生语言:将显性结构化逻辑(目标、边界、数据依赖、核验要求)与大模型的模糊推理逻辑融入同一体系。结构化逻辑负责锁定目标和守住边界,大模型在边界内进行判断和探索。这使得智能体工作转化为行业专家可读、可评审的结构化对象,实现“锁定目标、守住边界、放开路径”。
- 探索—核验—提交机制:借鉴SQL事务的commit机制,在语言和执行层显性分离探索与提交阶段。智能体在可逆空间内试错,结果经独立核验后方可提交;删除邮件、删库等不可逆操作被隔离在显式提交阶段,确保探索不破坏真实系统。
性能表现与成本优化
HOP 3.0通过将全局目标、步骤状态、分支条件等复杂控制负担交给语言与执行引擎,大幅降低了对LLM持续控制能力的要求。这意味着较小的模型即可承担以往需要超大参数模型才能处理的复杂任务。
关键数据如下:
- 模型效能:在蚂蚁密算实践中,Qwen3.0 27B(约270亿参数)模型配合HOP 3.0,已能有效承载过去需数百B甚至T级LLM承担的复杂任务。
- 可靠性提升:在复杂规格驱动研发流程中,产物完整率、生成成功率和需求与代码一致性均达到100%。
- 故障率降低:普通模型故障率下降约91.7%,结合HOP 3.0后的效果甚至超过未使用HOP的强模型。
- 成本优化:平均每个执行周期的Token消耗下降约13%,使模型与算力成本进入生产级可用范围。
生态协同与未来展望
HOP 3.0强调非程序员专家(如风控、合规、医疗、审计领域)可直接参与智能体建设,将业务规则和经验融入流程,减少“智力孤岛”。同时,HOP与密态计算(Confidential Computing)协同:密态计算保障数据、模型和知识的安全,HOP保障智能体行动的可信,共同贯通“数据—模型—智能体—业务结果”的全链路。
目前,HOP 3.0已在GitHub正式开源,致力于汇聚产业生态力量,加速产业AI从单点探索走向规模化应用与可信普惠。
