【科大国创:国创星码编程AI助手正面向国防军工等领域特定场景进行推广试用】科大国创(300520.SZ)近日在机构现场调研时表示,目前,国创星码编程AI助手已深度融合DeepSeek代码生成能力和公司形式化验证核心技术,正面向国防军工、航天航空、运营商、金融等领域特定场景进行推广试用。