2025年世界人工智能大会（WAIC）正在上海举行，大模型在专业领域的应用成为业界关注焦点之一。

7月27日下午，在“从通用智力到专业生产力：高阶程序引领的AI应用新范式”论坛上，蚂蚁集团旗下蚂蚁密算宣布对外开源高阶程序（High-Order Program,简称“HOP”）大模型可信应用技术框架，探索智能与工程融合的AI应用新范式，推动大模型在专业领域中规模化应用。

论坛上，浙江大学教授、区块链与数据安全全国重点实验室主任陈纯表示，大模型的专业化应用，首当其冲的是可靠性问题，而可靠性的突破不在于消灭“智力特征”，而在于构建工程化保障框架。

蚂蚁集团副总裁、蚂蚁密算董事长韦韬认为，要突破大模型在专业化应用中的可靠性困境，技术上不应当只依赖于大模型“十全十美”不犯错，而是通过智能体系和工程体系的结合，实现专业应用可靠性的保障。

对此，蚂蚁密算正在探索高阶程序大模型可信应用技术框架，核心组件包括业务逻辑的程序化表达、场景知识图谱和受控工具链，在全流程中贯穿核验机制，对关键执行结果进行及时、有效地核验和处理。

高阶程序（HOP）同时具备编程语言的精确性、可扩展性与自然语言的知识语义与语境适配等优势，承载了专业领域的关键知识和实践，通过任务细化拆解与核验，确保大模型实现专业应用的可靠性，通过知识概念匹配实现从专业知识到场景应用的派生适配，从而实现了在众多原本需要人工处理的场景下高可靠、高自动化应用。

目前，高阶程序技术框架已经在金融风控全链路、网络入侵检测、医疗重复计费等多行业场景中初步应用，在可靠性和时效性上有显著提升。

校对：陶谦