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