$科大国创(SZ300520)$ 科大国创 ：研发的国创星云大模型将公司形式化分析与验证技术融合到通用大模型代码生成流程中，构建可信代码生成AI助手。