【2025WAIC】螞蟻密算開源高階程序HOP框架 探索大模型可靠應用

【環球網科技報道 記者 李文瑤】大模型在專業領域的應用成為業界關注焦點之一。7月27日下午，在2025年世界人工智能大會（WAIC）“從通用智力到專業生產力：高階程序引領的AI應用新範式”論壇上，螞蟻集團旗下螞蟻密算宣佈對外開源高階程序（High-Order Program）大模型可信應用技術框架，探索智能與工程融合的AI應用新範式，致力解決大模型在專業應用中的可靠性困境，推動大模型在專業領域中規模化應用。

論壇上，浙江大學教授、區塊鏈與數據安全全國重點實驗室主任陳純表示，大模型的專業化應用，首當其衝的是可靠性問題。儘管當前技術SOTA已經到了80%到90%的水平，但其可靠性距離醫療、工業、金融等專業場景的要求仍有顯著差距。陳純説，有人將這一問題簡單歸結為“幻覺”，但我想強調：幻覺是智力的必然代價。若消除所有幻覺，大模型將退化為機械的檢索工具。因此，可靠性的突破不在於消滅“智力特徵”，而在於構建工程化保障框架。

螞蟻集團副總裁、螞蟻密算董事長韋韜認為，要突破大模型在專業化應用中的可靠性困境，技術上不應當只依賴於大模型“十全十美”不犯錯，而是通過智能體系和工程體系的結合，實現專業應用可靠性的保障。正如每個人作為個體，是容易犯錯、容易有幻覺的，但人類幾千年以來不斷在工程體系上的進步，能夠在易錯的個體之上構建龐大而可靠的工程體系，完成諸如登月、探訪火星等巨型任務。他提出，通過全新的程序表達、場景知識嵌入和閉環核驗反饋機制，可以將大模型不確定的智力輸出轉化為可信的專業生產力。

對此，螞蟻密算正在探索高階程序（High-Order Program）大模型可信應用技術框架，核心組件包括業務邏輯的程序化表達、場景知識圖譜和受控工具鏈，在全流程中貫穿核驗機制，對關鍵執行結果進行及時、有效地核驗和處理。該框架借鑑了人類在工程管理體系中的成功經驗，如通過標準作業程序（SOP）和檢查清單等機制，構建一個能夠有效複用、驗證、擴展和派生的機制，使大模型在應用過程中即使出現幻覺問題，也能保證大模型達到專業領域所需的精確性和可靠性。

高階程序（HOP）同時具備編程語言的精確性、可擴展性與自然語言的知識語義與語境適配等優勢，承載了專業領域的關鍵知識和實踐，通過任務細化拆解與核驗，確保大模型實現專業應用的可靠性，通過知識概念匹配實現從專業知識到場景應用的派生適配，從而實現了在眾多原本需要人工處理的場景下高可靠、高自動化應用。目前，高階程序技術框架已經在金融風控全鏈路、網絡入侵檢測、醫療重複計費等多行業場景中初步應用，在可靠性和時效性上有顯著提升。

以金融聯合風控為例，在傳統金融風控體系下，從數據探查、處理到模型構建與調優的全鏈路操作，高度依賴人工干預，導致流程冗長、響應緩慢，並且容易受人員主觀因素影響，制約了金融風控聯合建模的效率與一致性。在應用HOP技術框架後，將複雜的SOP轉化為可執行的流程和代碼，實現風控全鏈路的智能化編排與自動化執行。相較於傳統建模人員手動進行數據分析和代碼開發，大模型結合HOP能夠在確保高精度的同時縮短建模週期，並顯著減少了重複性數據處理和流程執行等繁瑣的基礎工作。這不但能降低處理成本，還能夠緩解專業人才緊缺的局面。

韋韜表示，高階程序可以與大模型強互補，將大模型這樣的通用智力引擎，可靠地應用於眾多專業場景。“大模型可靠性的解法，不在於大模型本身，而在於工程化和智能化的融合。我們開源高階程序HOP，希望與行業一起把大模型從人類助手變成規模化專業生產力。我們也相信，解決了可靠性問題，大模型即將湧現新的Killer App(殺手級應用)。”