2026年10月16日至18日，“2026年自动推理与人工智能赋能科学研究学术会议”在四川省成都市成功举办。中国科学院重庆绿色智能技术研究院作为重要协办单位，实验室的多位代表深度参与此次学术盛会，全面展示了我院在自动推理、信息安全及AI赋能科研等领域的最新研究成果与科研实力。

      本次会议旨在聚焦自动推理前沿技术发展，深化人工智能与数理科学、基础科研、智能教育等领域的深度融合。中国科学院院士张景中、成都计算所教授杨路、中国科学院院士叶向东等知名专家学者也应邀出席大会，与来自全国各地的科研人员共襄盛举。冯勇、吴文渊等受邀担任大会组织委员会委员，深度参与了会议的组织统筹工作。

张景中院士、杨路教授参会

       在大会开幕式上，中国科学院成都分院分党组书记、院长武艰出席并致辞。他对会议的召开表示热烈祝贺，并强调了人工智能与基础科学交叉融合对于国家科技发展的重要意义。

    中国科学院成都分院分党组书记、院长武艰致辞

      我院自动推理与认知中心主任吴文渊受邀作了题为《自动推理及其应用研究进展》的精彩大会报告，全面展示了团队在自动推理领域和相关应用方向的最新突破，重点介绍了零误差计算在信息安全领域的跨界应用，特别是针对数据要素“可用不可见”安全流通这一国家重大需求所取得的创新进展，引起了与会学者的广泛关注。

    吴文渊研究员作报告