中新网安徽新闻8月22日电  近日，由国家数据局、安徽省人民政府指导，安徽省数据资源管理局主办的2025年“数据要素×”大赛安徽分赛决赛获奖名单公示，科大国创“基于形式化验证的AI智能体安全漏洞自动挖掘平台”项目荣获人工智能赛道金奖。

　　本次安徽分赛以“数据赋能乘数而上”为主题，围绕国家12个重点行业及安徽特色产业，设置14个赛道，涵盖人工智能、交通运输、绿色低碳、应急管理、低空经济等多个领域，汇聚省内外902支顶尖团队展开激烈角逐，经严格初评与技术验证，259支团队晋级决赛。大赛旨在挖掘优秀数据应用案例，推动数据要素市场化配置改革，助力数字经济发展。

　　数据要素贯穿AI智能体整个生命周期，AI智能体的构建需要使用训练数据，部署应用需要输入数据，迭代维护需要更新数据。如何保障数据的可靠一致，确保AI智能体使用中正确有效，成为保障AI智能体安全可靠的关键。

　　科大国创本次参赛项目将高可信软件技术应用于AI智能体的安全性和鲁棒性检测，通过形式化技术，达到对模型输入空间的完整覆盖，能有效地检测AI智能体中是否存在影响系统安全性的条件，进而构造相应的反例。

　　AI智能体安全漏洞自动挖掘平台的推出，填补了国内人工智能体漏洞检测产品的空白，推动我国在“数据要素×人工智能”领域的科技进步和行业发展，提升相关领域软件的安全性、可信性和可靠性。

　　在2025世界人工智能大会（WAIC）上，“AI教父”、诺奖、图灵奖得主辛顿重点谈及人工智能安全问题，并呼吁不同国家应在人工智能治理上进行合作，探索训练AI向善的方法。

　　高可信软件技术是保障AI大模型、智能体底层安全的基石技术，在AI蓬勃发展的未来必将迎来更加广阔的应用场景。科大国创作为国内极少数在高可信软件领域开展研发应用的高科技上市企业，积累了丰富的形式化方法的理论和实践经验，在OS内核、编译器、控制软件等底层系统软件验证方面具备了深厚的经验和能力。在人工智能时代，科大国创积极融合高可信软件技术和大模型、智能体技术，开发了星码编程助手、AI智能体安全漏洞自动挖掘平台等产品。

　　未来，科大国创将不断探索高可信软件+AI的研发应用，不断迭代升级面向AI智能体安全检测的高可信软件产品，同时持续突破智能代码生成与形式化验证技术的深度融合，实现机器人编程的最终理想。（完）

责任编辑：朱孔阳