网友提问：
中科信息(300678)
中科信息：中国2院士领航主导的中国人智能公司中科信息300678：主营业务人工智能公司多年来一直开展人工智能基础研究、技术研发与行业应用。张景中院士和杨路首席科学家领衔的国际顶尖人工智能团队，多年来在机器学习、自动推理、数学机械化等方面开展探索性的理论研究。他们共同提出的定理机器证明的数值并行方法，在世界上首次用计算机实现了有严密理论依据的几何定理例证法，被国际学术界称为“张杨定理”。研究团队还提出了几何定理可读证明自动生成的理论、算法和方法，并实现为通用的计算机程序，这一工作成果誉为国际计算机自动推理领域发展道路上的里程碑。作为自动推理科学的理论延伸和应用，智能识别及分析技术是面向智能化政务会议、智能化生产制造、服务与管理的计算机应用技术，主要解决目标特征数据自动采集、海量数据归纳与分析、复杂图像理解与机器学习问题。在深厚的应用基础理论积累基础上，公司图像视觉、大数据研究和技术团队，开展了智能测控技术、深度学习核心算法、大数据分布式处理技术、海量视频摘要技术等研究与开发，取得了多项专业技术与成果，研制了包括智能电子票箱、工业过程智能管控、特种印刷在线质量检查与分析、政务民生大数据分析与决策支持、智能安防与公安刑侦、医学图像处理与医疗病例大数据分析等多个系统，成功推广应用于政府、金融、医疗、工业、教育和公共安全等领域。高速机器视觉机器视觉技术是一门涉及人工智能、神经生物学、心理物理
网友回复
大坑来了：
发表于 2018-07-1016:01:26中科信息300678
创新团队
公司拥有张景中院士和杨路首席科学家领衔的包括基础理论、关键技术、工程与产品全过程的创新体系，团队近500人，其中高级职称人员近50人，还包括四川省学术带头人5人，国务院政府津贴专家7人。在数字会议、工业测控、机器视觉、智能分析、大数据处理、信息安全与物联网方面研究深入，带领的技术团队支撑了公司核心技术和业务。 公司长期“产学研”发展思路，与包括香港大学、电子科技大、四川大学、西南交通大学等高校的知名教授开展深入合作，保证了公司持续创新。
中科院院士张景中
张景中，中国科学院院士，1959年毕业于北京大学数学力学系。从事计算机科学、数学和数学教育研究。《计算...
大坑来了：
发表于 2018-07-1016:03:29中科信息 创新团队
公司拥有张景中院士和杨路首席科学家领衔的包括基础理论、关键技术、工程与产品全过程的创新体系，团队近500人，其中高级职称人员近50人，还包括四川省学术带头人5人，国务院政府津贴专家7人。在数字会议、工业测控、机器视觉、智能分析、大数据处理、信息安全与物联网方面研究深入，带领的技术团队支撑了公司核心技术和业务。 公司长期“产学研”发展思路，与包括香港大学、电子科技大、四川大学、西南交通大学等高校的知名教授开展深入合作，保证了公司持续创新。
中科院院士张景中
张景中，中国科学院院士，1959年毕业于北京大学数学力学系。从事计算机科学、数学和数学教育研究。《计算机应用》...
大坑来了：
发表于 2018-07-1016:03:44中科信息 创新团队
公司拥有张景中院士和杨路首席科学家领衔的包括基础理论、关键技术、工程与产品全过程的创新体系，团队近500人，其中高级职称人员近50人，还包括四川省学术带头人5人，国务院政府津贴专家7人。在数字会议、工业测控、机器视觉、智能分析、大数据处理、信息安全与物联网方面研究深入，带领的技术团队支撑了公司核心技术和业务。 公司长期“产学研”发展思路，与包括香港大学、电子科技大、四川大学、西南交通大学等高校的知名教授开展深入合作，保证了公司持续创新。
中科院院士张景中
张景中，中国科学院院士，1959年毕业于北京大学数学力学系。从事计算机科学、数学和数学教育研究。《计算机应用》...
大坑来了：
发表于 2018-07-1016:04:00.
中科信息 创新团队
公司拥有张景中院士和杨路首席科学家领衔的包括基础理论、关键技术、工程与产品全过程的创新体系，团队近500人，其中高级职称人员近50人，还包括四川省学术带头人5人，国务院政府津贴专家7人。在数字会议、工业测控、机器视觉、智能分析、大数据处理、信息安全与物联网方面研究深入，带领的技术团队支撑了公司核心技术和业务。 公司长期“产学研”发展思路，与包括香港大学、电子科技大、四川大学、西南交通大学等高校的知名教授开展深入合作，保证了公司持续创新。
中科院院士张景中
张景中，中国科学院院士，1959年毕业于北京大学数学力学系。从事计算机科学、数学和数学教育研究。《计算机...
大坑来了：
发表于 2018-07-1016:08:48中科信息300678公司简介
中科院成都信息技术股份有限公司是由创立于1958年的中国科学院成都计算机应用研究所整体转制而来，中科院直接控股的高科技上市公司。公司主营业务是以高速机器视觉、智能分析技术为核心，为政府、烟草、油气、特种印刷等行业提供信息化整体解决方案、智能化工程和相关产品与技术服务。
公司是和国家重大会议的选举设备和服务提供商，在电子政务、办公管理与集群网站建设方面有十余年的技术与经验积累，拥有专业化的技术团队，可为政府办公与管理信息化建设提供专业和良好的服务。公司自1978年，成功研制出我国第一台电子票箱、第一台电子表决器、第一台会议报到机，并于1982年首次在的“十二大”...
大坑来了：
发表于 2018-07-1016:12:07中科信息主营业务
公司主营以计算机软件为重点的电子信息领域相关产品开发、生产、销售，大中型信息系统工程设计与实施，信息技术培训教育与咨询服务，领域涉及计算机科学理论、人工智能、计算机软件、软件工程、网络与通讯、办公自动化、工业自动化、现代集成制造等。
办公楼
办公楼
组织架构
公司设有软件与通信事业部、工业计算机应用事业部、办公自动化事业部、智能机房工程分公司和自动推理开放实验室，拥有先进的研发设备和信息技术领域一流的人才队伍，包括中科院院士1人，正、副高级研究员50余人，中级专业技术人员70余人。并以中国科学院成都计算机应用研究所40多年来积累的雄厚科技实力为基础，秉承"科技兴...
大坑来了：
首席科学家杨路
杨路，研究员，博士生导师，国家两届攀登项目(＜机器证明及其应用＞和＜数学机械化的理论与研究＞)和国家两届973项目（＜数学机械化与自动推理平台＞和＜数学机械化及其在信息技术中的应用＞）专家委员会委员，国家攀登项目＜数学机械化的理论与研究＞的首席科学家。国家两届攀登计划、国家两项863计划、国家两届973计划、国家自然科学基金以及中国科学院知识创新项目等重大课题的负责人。主研项目《几何定理机器证明理论与算法的新进展》获中国科学院自然科学一等奖。该成果是计算机自动推理这个计算机科学－数学交叉领域的多年难遇的重大成果，是国内外计算机科学界公认的卓越成就，在计算机科学、数学、教育科学等各领域产生着深远影响并获重要应用。1997年获国家自然科学二等奖，2001年获全国专利博览会金奖，2003年获全国“五一”劳动奖章。
大坑来了：
.首席科学家杨路.
杨路，研究员，博士生导师，国家两届攀登项目(＜机器证明及其应用＞和＜数学机械化的理论与研究＞)和国家两届973项目（＜数学机械化与自动推理平台＞和＜数学机械化及其在信息技术中的应用＞）专家委员会委员，国家攀登项目＜数学机械化的理论与研究＞的首席科学家。国家两届攀登计划、国家两项863计划、国家两届973计划、国家自然科学基金以及中国科学院知识创新项目等重大课题的负责人。主研项目《几何定理机器证明理论与算法的新进展》获中国科学院自然科学一等奖。该成果是计算机自动推理这个计算机科学－数学交叉领域的多年难遇的重大成果，是国内外计算机科学界公认的卓越成就，在计算机科学、数学、教育科学等各领域产生着深远影响并获重要应用。1997年获国家自然科学二等奖，2001年获全国专利博览会金奖，2003年获全国“五一”劳动奖章。
大坑来了：
.
首席科学家杨路
杨路，研究员，博士生导师，国家两届攀登项目(＜机器证明及其应用＞和＜数学机械化的理论与研究＞)和国家两届973项目（＜数学机械化与自动推理平台＞和＜数学机械化及其在信息技术中的应用＞）专家委员会委员，国家攀登项目＜数学机械化的理论与研究＞的首席科学家。国家两届攀登计划、国家两项863计划、国家两届973计划、国家自然科学基金以及中国科学院知识创新项目等重大课题的负责人。主研项目《几何定理机器证明理论与算法的新进展》获中国科学院自然科学一等奖。该成果是计算机自动推理这个计算机科学－数学交叉领域的多年难遇的重大成果，是国内外计算机科学界公认的卓越成就，在计算机科学、数学、教育科学等各领域产生着深远影响并获重要应用。1997年获国家自然科学二等奖，2001年获全国专利博览会金奖，2003年获全国“五一”劳动奖章。
金牛大侠客：
有病，你以为股票是这么炒上去的吗
帝王芯：
此股障显中国人工智能在全球地位!