纪要涉及的公司 科大国创 纪要提到的核心观点和论据 - 人工智能领域应用进展与业务布局：2024年初推出星云大模型，聚焦电信、电力、交通等垂直行业及高可信软件程序自动化编程领域；与中科大成立知识计算实验室，用开源平台研发知识增强大模型；运营商领域智能客服提效超20%、智能体优化装维流程减员40%，带来数千万收入，电力围绕智慧电厂、交通推动执法系统发展，还嵌入政企流程管理软件获好评[3][4] - AI编程助手特点：中科国创负责，融合形式化分析等技术与星云大模型，实现软件开发自动化；功能全面，支持多语言、兼容主流IDE，深度融合形式化方法，适配客户需求，接入多个基础大模型[5] - AI加工程细分领域前景：潜力大、发展快，在传统行业提效降本，在政企流程管理和新场景开拓有创新能力；科大国创研发投入大、合作多、应用成果显著，未来深耕优势场景，订单和业务拓展将带来更好发展[6] - 代码生成技术采用率及优势：2024年底市场大模型代码采用率33%-40%，科大国创通过技术将其提高到78%-90%，还提供智能修复建议，适配行业安全规范[7][8] - AI编程产品应用场景：提升程序员效率、提供编程问答服务、在安全攸关领域生成测试案例，如在中航工业和中国建筑有成功案例[9][11] - 与其他编码大模型相比的优势：对行业规范微调，编码规则符合度和准确性高；集成行业软件分析和程序验证技术，多层次架构是核心竞争力[10] - AI编程产品交付形式及价值量：直接交付产品或项目制交付，大模型部署在私有环境，可提供微调服务；单个客户价值量几十万到一百多万，额外服务按工作量收费[12] - AI编程效率提升及展望：目前节约30%-40%人员成本，未来随知识积累和模型精准化，效率会提高，不同行业有不同提升方向[13] - AI编程落地困难及应对：存在复杂任务需人工介入和规则适配不足问题，随训练数据积累和技术进步解决，通过优化算法和加强合作推动落地[14] - 大模型使用问题及解决：关键在于用户准确分解需求为提示词，设计人员应减少后续集成工作量[15] - AI加编程行业竞争及公司优势规划：行业有初级工作自动化趋势，程序员需转型；公司在高算力和形式化验证技术有优势，计划提升验证效率、探索大模型安全路径[16] - AI agent业务布局及应用场景：聚焦特定行业场景，如运营商客服和装维，结合大模型和行业数据打造智能体，在电力和交通推广，探索高效节约算力场景[17] - 大模型安全性保障举措：与合作伙伴探讨用形式化分析与验证技术保障安全，探索AI安全领域，开辟大模型安全路径[18] - 2025年公司规划：推动AI在形式化验证应用，保障大模型安全，加强与客户合作，用工具优化算力和推理效果[19][20] - AI编程核心特点：结合形式化验证与代码生成能力，聚焦特定场景，保障代码安全，叠加形式化分析与验证能力到低代码平台[21] - 智能体进展及未来方向：取得显著进展，获实际订单，延伸应用到政企行业获好评；未来推动“人工智能+应用软件”定位，嵌入大模型提升服务[22] - 2025年AI编程业务增长预期：聚焦特定领域，有产品试点推广和市场化应用，预计有落地订单但规模不大；省内免费推广试用，结合高科技与应用软件能力推出产品，成为重要收入部分需时间[23] - 人工智能+战略举措：在电信、电力等垂直领域推进应用，围绕车端和自动驾驶提升推广，融合人工智能到物流平台；结合数据平台能力与人工智能，叠加核心技术差异化布局[24] 其他重要但是可能被忽略的内容 无