在2025年世界人工智能大会的一场专题论坛上，蚂蚁集团旗下蚂蚁密算宣布了一项重要举措：开源高阶程序（High-Order Program，简称HOP）大模型可信应用技术框架。此举旨在探索智能与工程融合的全新AI应用范式，以解决大模型在专业应用领域的可靠性难题，推动其在医疗、工业、金融等领域的广泛应用。
论坛期间，浙江大学教授、区块链与数据安全全国重点实验室主任陈纯指出，大模型在专业应用中的首要挑战在于可靠性。尽管当前技术已达到较高水平，但在医疗、工业、金融等专业场景中，其可靠性仍有待提升。陈纯强调，将可靠性问题简单归结为“幻觉”并不准确，因为幻觉是智力的必然产物。关键在于构建工程化保障框架，而非消除智力特征。
蚂蚁集团副总裁、蚂蚁密算董事长韦韬同样认为，突破大模型在专业化应用中的可靠性困境，不能仅依赖大模型本身不犯错，而应通过智能体系和工程体系的结合来保障。他比喻说，人类个体容易犯错，但工程体系的进步使得我们能够完成诸如登月等巨型任务。同样地，通过全新的程序表达、场景知识嵌入和闭环核验反馈机制，可以将大模型的不确定智力输出转化为可信的专业生产力。
蚂蚁密算正在探索的高阶程序大模型可信应用技术框架，其核心组件包括业务逻辑的程序化表达、场景知识图谱和受控工具链。该框架在全流程中贯穿核验机制，对关键执行结果进行及时、有效的核验和处理。借鉴人类在工程管理体系中的成功经验，如标准作业程序（SOP）和检查清单等，构建一个能够复用、验证、扩展和派生的机制，确保大模型在应用过程中的精确性和可靠性。
高阶程序（HOP）结合了编程语言的精确性和可扩展性，以及自然语言的知识语义与语境适配等优势。它承载了专业领域的关键知识和实践，通过任务细化拆解与核验，确保大模型在专业应用中的可靠性。HOP还能通过知识概念匹配实现从专业知识到场景应用的派生适配，实现高可靠、高自动化的应用。目前，该技术框架已在金融风控、网络入侵检测、医疗重复计费等多个行业场景中初步应用，显著提升了可靠性和时效性。
以金融联合风控为例，传统金融风控体系高度依赖人工干预，导致流程冗长、响应缓慢，并易受人员主观因素影响。在应用HOP技术框架后，复杂的SOP被转化为可执行的流程和代码，实现了风控全链路的智能化编排与自动化执行。这不仅缩短了建模周期，降低了处理成本，还显著减少了重复性数据处理和流程执行等基础工作，缓解了专业人才紧缺的局面。
韦韬表示，高阶程序与大模型能够强互补，将大模型这一通用智力引擎可靠地应用于众多专业场景。他强调，解决大模型可靠性的关键不在于大模型本身，而在于工程化和智能化的融合。蚂蚁密算开源高阶程序HOP，旨在与行业共同推动大模型从人类助手转变为规模化专业生产力。这一举措有望为大模型带来新的杀手级应用，推动人工智能技术的进一步发展。
