科大国创在人工智能和软件领域拥有多款软件产品，以下是一些主要的软件产品：

科大国创星云大模型：

基于知识计算根技术，构建智能体、智能可信研发、智能数据检索三大平台，聚焦行业或垂直大模型已在多个行业场景实现落地应用。

国创星码编程AI助手：

面向特定场景进行推广试用，深度融合了DeepSeek代码生成能力和公司形式化验证核心技术，主要面向国防军工、航天航空、运营商、金融等领域。

高可信软件：

包括程序分析工具和程序验证工具等原创软件产品，通过对程序源代码进行静态的分析和验证，实现高可信软件智能验证。

基于知识计算的软件定义智慧客服平台：

在2024年全市工会“好网民”-“AI赋能 普惠职工”优秀创新应用案例征集活动中获二等优秀案例奖。

国创九章AI平台：

用于支持多种AI应用的开发和部署。

国创高可信HCS平台：

提供高可信的云计算和大数据服务。

这些软件产品和服务展示了科大国创在人工智能和软件领域的技术实力和创新能力，广泛应用于多个行业场景，推动了数字化转型和智能化升级。