来源 :深交所互动易2026-07-13
irm2389078问科大国创(300520)您好，董秘，请问贵公司在AI编程领域有哪些布局？
2026-06-16 21:06:37
科大国创答irm2389078
您好，感谢关注。公司融合“形式化方法+AI”，推出可信编码智能体，支持代码自动生成、补全、解释、问答、错误检查与优化建议，并与静态分析工具集成，自动修复代码缺陷；同时集成形式验证工具，辅助生成验证标注，通过验证器确保程序正确、安全与可靠，目前对公司业绩暂无重大影响。
2026-07-13 11:45:03