科大国创：公司自主研发的国创星码编程AI助手已深度融合DeepSeek代码生成能力和公司形式化验证核心技术，正面向特定场景进行推广试用

科大国创已推出星云大模型，积极融合包括DeepSeek在内的多款开源大模型，并实现全面适配DeepSeek—R1/V3模型。此外，国创星码编程AI助手也深度融合了DeepSeek代码生成能力，但上述业务暂不会对业绩产生重大影响。