公司多年来一直开展人工智能基础研究、技术研发与行业应用。张景中院士和杨路首席科学家领衔的国际顶尖人工智能团队,多年来在机器学习、自动推理、数学机械化等方面开展探索性的理论研究。他们共同提出的定理机器证明的数值并行方法,在世界上首次用计算机实现了有严密理论依据的几何定理例证法,被国际学术界称为“张杨定理”。研究团队还提出了几何定理可读证明自动生成的理论、算法和方法,并实现为通用的计算机程序,这一工作成果誉为国际计算机自动推理领域发展道路上的里程碑。
作为自动推理科学的理论延伸和应用,智能识别及分析技术是面向智能化政务会议、智能化生产制造、服务与管理的计算机应用技术,主要解决目标特征数据自动采集、海量数据归纳与分析、复杂图像理解与机器学习问题。在深厚的应用基础理论积累基础上,公司图像视觉、自然语言处理和大数据研究等技术团队,开展了智能测控、深度学习核心算法、大数据分布式处理、海量视频摘要、自动文本生成和智能问答等技术的研究与开发,取得了多项成果,研制了包括智能电子票箱、工业过程智能管控、特种印刷在线质量检查与分析、政务民生大数据分析与决策支持、智能安防与公安刑侦、医学图像处理与医疗病例大数据分析、人大预决算监督等多个系统,成功推广应用于党政、金融、医疗、工业、教育和公共安全等领域。