6月16日有投资者向科大国创(300520)提问:您好,董秘,请问贵公司在AI编程领域有哪些布局?
7月13日公司回答表示:您好,感谢关注。公司融合“形式化方法+AI”,推出可信编码智能体,支持代码自动生成、补全、解释、问答、错误检查与优化建议,并与静态分析工具集成,自动修复代码缺陷;同时集成形式验证工具,辅助生成验证标注,通过验证器确保程序正确、安全与可靠,目前对公司业绩暂无重大影响。
科大国创:推出可信编码智能体,支持多种AI编程功能
九方智讯 07-13 11:45
科大国创 --%
6月16日有投资者向科大国创(300520)提问:您好,董秘,请问贵公司在AI编程领域有哪些布局?
7月13日公司回答表示:您好,感谢关注。公司融合“形式化方法+AI”,推出可信编码智能体,支持代码自动生成、补全、解释、问答、错误检查与优化建议,并与静态分析工具集成,自动修复代码缺陷;同时集成形式验证工具,辅助生成验证标注,通过验证器确保程序正确、安全与可靠,目前对公司业绩暂无重大影响。
免责声明:用户发布的内容仅代表其个人观点,与九方智投无关,不作为投资建议,据此操作风险自担。请勿相信任何免费荐股、代客理财等内容,请勿添加发布内容用户的任何联系方式,谨防上当受骗。
相关股票
相关板块
相关资讯
扫码下载
九方智投app
扫码关注
九方智投公众号
头条热搜
涨幅排行榜