科大国创具备军工AI技术与落地案例。一、核心军工AI技术 • 高可信+形式化验证：自研高可信软件与形式化验证技术，适配军工/航天安全攸关场景，保障代码零缺陷。 • 军工级AI编程：国创星码（DeepSeek+高可信）+ 科创星云大模型，主打可信代码生成、漏洞分析、效率提升。 • 军工适配能力：私有化部署、高安全、军工级软件验证，适配军工信息化、指挥、装备管理等场景。二、军工AI落地案例 • 中航工业航电系统项目：代码采纳率>60%，研发效率提升约30%。 • 军工漏洞分析项目：已验收。 • 航天科技/科工：运载火箭飞控、星载软件、地面测控系统的代码验证与优化。 • 国防科大、中航工业：高可信分析验证工具落地。三、资本市场定位 • 被市场列为军工级AI编程龙头，核心标签：军工AI+高可信+形式化验证+军工客户落地。