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