科大国创联合中科大设立高可信子公司 迈入人工智能产业化蓝海

　　中国证券网讯 12月15日，科大国创承办2017中国（合肥）大数据产业发展峰会，公司实际控制人之一、总裁杨杨在接受记者采访时表示，公司人工智能开始实现产业化，已投资设立控股子公司——安徽中科国创高可信软件有限公司，高可信软件验证产品已经在航天、军工等领域逐步得到应用。

　　公司实际控制人之一、董事长董永东认为，人工智能的研究分为递进式的三个层次：即感知、认知、决策。科大国创并没有拘泥于感知层和认知层，而是将目光直接瞄向人工智能的最高阶段——决策层。早在2013年，公司就与中国科学技术大学签订协议，与中国科学技术大学合作共建“中国科大—国创高可信软件工程中心”，在安全嵌入式操作系统、程序分析及验证工具、可信编译器以及定理证明器等多个方面开展理论研究和技术开发，合作期限10年。该工程中心研发产生的新知识产权归双方共有，公司对新知识产权拥有自行使用、对外授权和销售等产业化权利。

　　据董永东介绍，高可信软件的开发及其认证评测属国家战略性新兴产业，主要研发安全嵌入式操作系统、程序分析工具、C程序验证工具等具有世界领先水平的高可信软件产品和技术，为人工智能、航天、核工业、医疗机器人等尖端科技领域提供安全攸关的产品和创新的检验评测服务，实现软件的高度可信赖，打造没有BUG的软件。目前，中国航天技术集团第五研究院502所在卫星攻关上使用高可信软件进行了验证，关键指标优于国际同类软件。

　　公司在定期报告中披露了公司未来战略方向，公司将围绕该战略方向开展研发工作，主要体现在人工智能、大数据、互联网、信息安全、智慧城市等技术或应用领域，打造高可信软件集成开发平台和高可信软件验证工具。

　　据杨杨透露，目前高可信软件研发已经取得成果，为了实现其产业化，已投资设立控股子公司——安徽中科国创高可信软件有限公司。

　　工商登记资料显示，中科国创高可信成立于2017年8月18日，注册资本1003.3万元，科大国创出资687.261万元，持有68.50%的股权，中国科学技术大学持股8%，其他几位持股的自然人都是业界知名的科学家。