网友提问 ：公司拥有以张景中院士领衔的一流应用基础研究团队，专注于计算机自动推理理论的研究，张景中与中科信息公司研究员杨路共同提出的定理机器证明的数值并行方法，在世界上首次用计算机实现了有严密理论依据的几何定理例证法，被国际学术界称为“张杨定理”。张景中及其研究团队还提出了几何定理可读证明自动生成的理论、算法和方法，先后获得中国科学院自然科学一等奖，国家自然科学二等奖。请问是真的吗？
2017-09-05 10:52:00
中科信息最新互动问答
- 公司真的是大才小用，能不能像中科院计算机所的寒武纪人工智能公司一样做智能芯片，秒苹果三星。公司拿高清图像去给国家印钞，国家又没给公司多少钱，收入又少。我们平民又不能买来印钞。还有公司用人工智能做会议投票系统，5年才开一次会议，5年才收入一次，有什么用？同属于中科院下属的计算机研究所，咋差距那么大的呢？
2017-09-06 15:14:00
- 寒武纪是中科院计算所孵化出的一个新创公司，也是做人工智能的，与公司同属于中科院计算机研究所，你们在技术上是否共享？是否存在同业竞争？如果存在人工智能同业竞争，是否会注入上市公司？目前阿里巴巴，华为，科大讯飞，联想都投资占股寒武纪，公司是否也有独特的技术，商业化可以找他们投资
2017-09-06 15:16:00
- 请问8月23日才发布了股价异动公告，为何紧接着又在8月24日紧急停牌核查，为何在9月1日复盘才又过3天，今天又申请核查停牌，难道才3天时间公司又有影响股价的重大事项需要公布？难道公司有无重大事项公司自己不知道还需要核查？为什么公司如此怕自己公司的股价上涨怕投资者赚钱？你们随意停牌的依据是证券交易管理规则哪一条哪一款？你们随意停牌肆意剥夺投资者的交易权给投资者造成损失是否负责赔偿？！
2017-09-06 14:52:00
| 中科信息龙虎榜 | 中科信息大宗交易 | 中科信息股东人数 | 中科信息互动平台 |
| 中科信息财务分析 | 中科信息主营收入构成 | 中科信息流通股东 | 中科信息十大股东 |
中科信息
法定名称：中科院成都信息技术股份有限公司
公司简介：
2000年1月4日,中科院下发《关于中国科学院成都计算机应用研究所整体转制的决定》(科发产字[1999]0630号),决定将成都计算所整体转制为由中科院和原成都计算所在职职工共同出资组建中科院成都信息技术有限公司。2001年6月26日,中科有限取得成都市工商行政管理局核发的《企业法人营业执照》(注册号510109001100)。
经营范围：
以智能识别及分析技术为核心,为客户提供信息化解决方案(包括软件及硬件)及相关服务。
注册地址四川省天府新区兴隆街道科智路1369号
办公地址四川省天府新区兴隆街道科智路1369号
主营收入11900
