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