基于形式化验证的AI智能体安全漏洞自动挖掘平台

搜索文档
科大国创亮相世界制造业大会 荣获“数据要素×”赛事金奖
中证网· 2025-09-23 03:09
公司产品展示 - 科大国创软件股份有限公司在2025世界制造业大会上展示"人工智能+"全栈解决方案及智能云BMS、BEMS、液冷储能系统等最新产品 [1] - 公司同时展示在可信数据空间、量子科技等前沿技术的探索实践 [1] 数据要素领域成果 - 公司面向长三角"数据要素场"国家级示范项目作为重点项目在数据要素综合试验区创新成果大会上推介 [1] - 公司作为可信数据空间领先者成功入选首批完成全国互联互通验证的数据基础设施节点 [1] - 科大国创"基于形式化验证的AI智能体安全漏洞自动挖掘平台"项目获得2025年"数据要素×"大赛安徽分赛金奖 由国家数据局刘烈宏局长颁奖 [1]