中新网安徽新闻10月16日电 近日，科大国创在第27届中国国际软件博览会上荣获2025年度软件和信息技术服务竞争力百强企业称号，公司“科创星云验证器”入选2024至2025年度优秀创新软件产品推广目录。

　　软件作为数字经济的核心载体，正与人工智能、数据要素深度融合，驱动产业创新范式发生根本性变革。人工智能不仅重塑软件架构与研发模式，更通过激活数据要素的潜在价值，重构软件产业生态，为高质量发展注入强劲动能，成为引领全球新一轮科技竞争与经济增长的关键引擎。

　　技术驱动双轮并进引领AI时代数智化创新作为国内领先的人工智能+软件上市企业，科大国创本次展会重点展出AI+行业、高可信软件等核心软件产品，以及在可信数据空间、量子科技等未来产业的前沿软件应用。

　　在“软件定义一切”的时代，科大国创不断发挥自身软件技术优势与深耕行业领域的融合应用，以AI技术为创新驱动力，以成熟运营体系为落地支撑，双轮并进，致力于为行业打造低门槛、持续进化的AI底座和高效可信的运营底座，助力企业在数智化浪潮中稳健前行。

　　安全为本形式化技术捍卫AI时代安全根基在国家大力推进数据和人工智能安全的战略背景下，科大国创本次创新软件产品“科创星云验证器”利用形式化验证保障AI大模型在应用场景中的正确性，将深度神经网络上的鲁棒性质进行形式化描述并根据性质进行建模，将神经网络的验证问题转变成形式化规约从而可以验证正确性，从人工智能核心架构保障AI大模型的安全性与可靠性，捍卫AI时代的安全根基。(完)

责任编辑：张俊