证券时报网
聂英好
2025-03-03 23:32
人民财讯3月3日电,科大国创近日在机构现场调研时表示,目前,国创星码编程AI助手已深度融合DeepSeek代码生成能力和公司形式化验证核心技术,正面向国防军工、航天航空、运营商、金融等领域特定场景进行推广试用。