科大国创：公司推出可信编码智能体支持代码自动生成

同花顺（300033）金融研究中心07月13日讯，有投资者向科大国创（300520）提问， 您好，董秘，请问贵公司在AI编程领域有哪些布局？

公司回答表示，您好，感谢关注。公司融合“形式化方法+AI”，推出可信编码智能体，支持代码自动生成、补全、解释、问答、错误检查与优化建议，并与静态分析工具集成，自动修复代码缺陷；同时集成形式验证工具，辅助生成验证标注，通过验证器确保程序正确、安全与可靠，目前对公司业绩暂无重大影响。

点击进入交易所官方互动平台查看更多