中科信息 (300678): 回答：答：公司承继了中国科学院成都计算机应用研究所深厚的科研积淀和一大批高素质科研人才，拥有张景中院士领衔的自动推理实验室。公司还设有中国科学院大学计算机软件与理论、计算机应用技术、计算机技术、软件工程、人工智能、大数据技术与工程等 5 个硕士培养点，计算机软件与理论博士点 1 个，计算机科学与技术博士后科研工作站 1 个。公司应用基础研究团队数十年专注于人工智能领域的研究，并在自动推理与定理机器证明领域保持了国际先进水平，在基础算法、智能识别与分析、机器学习、软件工程等领域保持了国际先进水平、国内领先水平。

2024-09-11 00:00:00