2025世界人工智能大会 | 蚂蚁密算开源高阶程序HOP框架

排行榜 2025年07月28日 13:00 0 admin

第1眼TV-华龙网讯（特派记者董进）7月26日至28日，2025年世界人工智能大会（WAIC）在上海举行，大模型在专业领域的应用成为业界关注焦点之一。

蚂蚁密算开源高阶程序HOP框架。受访者供图

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

论坛上，浙江大学教授、区块链与数据安全全国重点实验室主任陈纯表示，大模型的专业化应用，首当其冲的是可靠性问题。陈纯说，有人将这一问题简单归结为“幻觉”，但他想强调：幻觉是智力的必然代价。若消除所有幻觉，大模型将退化为机械的检索工具。因此，可靠性的突破不在于消灭“智力特征”，而在于构建工程化保障框架。

蚂蚁集团副总裁、蚂蚁密算董事长韦韬认为，要突破大模型在专业化应用中的可靠性困境，技术上不应当只依赖于大模型“十全十美”不犯错，而是通过智能体系和工程体系的结合，实现专业应用可靠性的保障。他提出，通过全新的程序表达、场景知识嵌入和闭环核验反馈机制，可以将大模型不确定的智力输出转化为可信的专业生产力。

对此，蚂蚁密算正在探索高阶程序（High-Order Program）大模型可信应用技术框架，核心组件包括业务逻辑的程序化表达、场景知识图谱和受控工具链，在全流程中贯穿核验机制，对关键执行结果进行及时、有效地核验和处理。该框架借鉴了人类在工程管理体系中的成功经验，如通过标准作业程序（SOP）和检查清单等机制，构建一个能够有效复用、验证、扩展和派生的机制，使大模型在应用过程中即使出现幻觉问题，也能保证大模型达到专业领域所需的精确性和可靠性。

高阶程序（HOP）同时具备编程语言的精确性、可扩展性与自然语言的知识语义与语境适配等优势，承载了专业领域的关键知识和实践，通过任务细化拆解与核验，确保大模型实现专业应用的可靠性，通过知识概念匹配实现从专业知识到场景应用的派生适配，从而实现了在众多原本需要人工处理的场景下高可靠、高自动化应用。目前，高阶程序技术框架已经在金融风控全链路、网络入侵检测、医疗重复计费等多行业场景中初步应用，在可靠性和时效性上有显著提升。

韦韬表示，高阶程序可以与大模型强互补，将大模型这样的通用智力引擎，可靠地应用于众多专业场景。“大模型可靠性的解法，不在于大模型本身，而在于工程化和智能化的融合。我们开源高阶程序HOP，希望与行业一起把大模型从人类助手变成规模化专业生产力。”