科大国创：国创星码编程AI助手正面向国防军工等领域特定场景进行推广试用

科大国创（300520.SZ）在机构现场调研中透露，其国创星码编程AI助手已深度融合DeepSeek代码生成能力和公司形式化验证核心技术，正面向国防军工、航天航空、运营商、金融等领域特定场景进行推广试用。