中科信息 (300678): 回答：尊敬的投资者，您好！公司前身是成立于1958年的中国科学院成都计算机应用研究所。自动推理理论系统中的几何定理机器证明理论是公司科研领军人物—中国科学院院士张景中教授与著名数学家杨路研究员在1992年共同研究取得的重大成果。该理论使西方自动推理领域30多年来进展缓慢的重要问题有了突破性的进展，取得了国际领先地位，被国际学术界公认为人工智能的核心算法。张、杨二位科学家带领的自动推理实验室及公司科研队伍在该理论基础上，面向行业应用进行以高速机器视觉及智能分析、大数据为核心的系列关键技术研发，推出了服务智慧政务、智能制造、智慧城市、智慧医疗等领域的众多产品与信息化整体解决方案。实现计算机应用基础理论、关键技术、产品与行业应用三个层次上紧密结合、相互支撑是公司的独特优势。目前，公司布局了从边缘感知-数据中台-行业大模型-机器人的完整人工智能产业链，每个环节都拥有多个自主研发的产品，如边缘智能网关、AI中台、大数据中台、工业检测大模型、政务大模型、医疗大模型、智能装载机器人、智能铺路机器人、智能麻醉机器人等。关于公司技术与研发情况，欢迎查阅定期报告。感谢您的关注！

2024-11-04 16:13:09