财联社新增AI编程概念：科大国创（300520）研发的国创星云大模型将公司形式化分析与验证技术充分融合到通用大模型代码生成流程中，构建可信代码生成AI助手，保障自动生成代码的安全可靠，降低软件开发成本。国创星云大模型（机器人编程）已应用在自动驾驶域控制器产品研发中，有效提高了车辆感知计算的精度和可靠性；国创星云大模型（运营商）已在运营商的客户服务、业务运营、系统运维、工单分析等场景落地应用。