来源 :科大国创2024-03-15
人工智能产业是安徽聚力打造的十大新兴产业之一。当前安徽正加快打造在全国具有重要影响力的人工智能产业创新发展高地，抢占新一轮人工智能革命机遇，促进通用人工智能发展。
近日，安徽省召开2023年度人工智能产业推进会，会上科大国创获评“安徽省人工智能十强企业”；此前，科大国创还入选了中国科学院《互联网周刊》和中国社会科学院信息化研究中心联合发布的“2023年度软件创新企业100强”榜单，彰显了公司在人工智能领域的雄厚实力。
作为国内领先的人工智能产品和服务的高科技上市企业，科大国创积极响应国家“人工智能+”行动，针对AI开发门槛高、产业数智化落地难等痛点问题，在关键核心技术领域不断创新，持续加大产品研发投入，提升运营商、能源、交通、智慧城市各行业专属的智能化能力，赋能千行百业数字化转型。
2023年世界制造业大会开幕式隆重发布
科大国创机器人编程大模型
大模型是人工智能的重要组成部分，科大国创开创性地将形式化验证与大模型技术相融合，推出机器人编程专用大模型，包括从设计-形式化验证-程序自动生成，以模型驱动软件开发，模型经过仿真和形式验证保证模型的正确性，根据模型自动生成安全可靠的可执行代码，大大节约开发成本，颠覆了传统的软件开发方法，确保了关键性软件的可靠性、可信性和安全性。产品荣获CCF中国软件大会一等奖，是填补国内空白和解决“卡脖子”难题的关键技术，在国内国际处于领先地位，让中国人在关键软件领域有一席之地，在当今和未来的智能化时代，其应用前景十分广泛。
此外，公司与中国科大共建知识计算智能实验室，在知识增强大模型、行业多粒度知识图谱、图数据库等关键共性技术领域开展研究，知识的应用将进一步促进人工智能效率与水平的提升、加速人工智能与千行百业的深度融合。
未来，在大模型技术持续创新的基础上，科大国创将围绕客户需求，提供基于国创大模型的产品及服务，推动人工智能技术与各行业应用连接融合，助力千行百业实现从数字化到智能化的转变，助推新质生产力跃迁升级。