7 月 27 日下午，在 2025 世界人工智能大会相关论坛上，蚂蚁集团旗下蚂蚁密算宣布开源高阶程序（High-Order Program，简称 HOP）大模型可信应用技术框架。
该框架旨在解决大模型在专业应用中的可靠性困境。其核心组件有业务逻辑程序化表达、场景知识图谱和受控工具链，全流程贯穿核验机制，借鉴工程管理经验，如标准作业程序等，让大模型即便出现 “幻觉”，也能满足专业领域精确性、可靠性要求。
HOP 融合编程语言精确性、可扩展性与自然语言知识语义、语境适配优势，承载专业关键知识与实践，已在金融风控全链路、网络入侵检测、医疗重复计费等多行业初步应用，显著提升可靠性和时效性。
蚂蚁集团副总裁、蚂蚁密算董事长韦韬表示，高阶程序与大模型强互补，开源 HOP，希望推动大模型从人类助手转变为规模化专业生产力，解决可靠性问题后，大模型有望涌现新的杀手级应用。