70余位产学研专家齐聚蚂蚁，共探形式化方法与大模型的结合

北京大学特聘教授、CCF形式化方法专委主任詹乃军开场致辞。詹乃军主任向莅临的专家学者和同仁表示热烈欢迎与衷心感谢，特别致谢蚂蚁技术研究院对活动的支持。他期待通过此次交流，增进业界对形式化方法与大语言模型融合方向的认知，推动专委与蚂蚁技术研究院在技术研究、应用落地等领域的深度合作。

首先，蚂蚁集团副总裁、蚂蚁集团首席技术安全官韦韬作题为《"当99分是及格线"—— 高阶程序（HOP）推动大模型行业变革》的报告。他提到幻觉是大模型专业应用的最显性障碍。人类操作同样不可靠，但通过标准作业程序（SOP）和检查清单等机制实现了高可靠性。大模型需借助高阶程序（High-Order Program，HOP）突破瓶颈。高阶程序融合编程语言的精确执行能力与自然语言的知识表达优势，承载了专业领域知识并将其自动化，同时提供核验机制保障可靠性，提供派生机制扩大适用范围。高阶程序是大模型行业应用急需且必须的“电控系统”。HOP已经在密算金融风控全链路、网络入侵检测、医疗重复计费等多行业场景中初步应用，对可靠性和时效性上都有显著提升（5~10倍）。