中国国际软博会上蝉联！科大国创连续入选中国软件竞争力百强企业

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

2025年10月15日，第27届中国国际软件博览会在郑州开幕。工业和信息化部总工程师谢少锋，中国电子信息行业联合会常务副会长周子学，河南省郑州市市长庄建球出席开幕式并致辞，中国工程院院士谭建荣作主题报告。

本届软博会以“开源构筑新生态 软件智造新未来”为主题，期间发布多项软件和信息技术服务创新成果，科大国创荣获2025年度软件和信息技术服务竞争力百强企业称号，公司“科创星云验证器”入选2024～2025年度优秀创新软件产品推广目录。

双轮并进引领AI时代数智化创新

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

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

安全为本

形式化技术捍卫AI时代安全根基

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

软博会精彩还在继续

我们在郑州国际会展中心

五楼2A、2B、2C馆T39展位

期待您的莅临指导