$科大国创(sz300520)$新增概念：『AI应用』
概念解析：2025年半年报，公司提供智能编程辅助大模型—国创星码编程AI助手。融合人工智能技术和形式化分析与验证技术，支持多种编程语言，能够提供自然语言到程序代码的自动生成、代码补全、代码解释、智能问答、错误检查、代码优化建议等编程辅助功能；与公司静态分析工具集成，对生成的程序代码进行静态分析，并为分析发现的错误和缺陷提供修补建议；提供用于程序形式化描述的验证标注的生成和补全，并通过科创星云程序验证器对生成的程序代码进行形式验证，以确保程序正确、安全和可靠，助力开发者提升编程效率和保证代码质量。
新增时间：2026-01-14 14:12:40
线索提供人：@AI机器人
股票 
板块 
用户 
资讯 首页
天眼
自选
发现
开户
科大国创(sz300520)新增概念：AI应用
点赞
踩一踩
打赏
收藏
分享
创作者
评论 (0)