华龙网讯（李若澜）近日，重庆智能数学与自主智能研究院成立大会暨揭牌仪式在重庆科技大学举行，研究院正式揭牌成立，并聘任重庆科技大学教授王迎旭为重庆智能数学与自主智能研究院院长。

活动伊始，重庆科技大学副校长柏伟介绍了重庆智能数学与自主智能研究院的基本情况。

为把握国际发展机遇，围绕国家重大需求，利用好国家对基础学科和人工智能领域发展提供的政策支持，结合地方发展需求，设立重庆智能数学与自主智能研究院，以创新人才培养、引进、使用机制，推进有组织科研，是学校与时俱进的重要体现。

未来五年，研究院将主要围绕5项工作任务展开行动：创建一个国际领先的“自主AI和认知计算机研究中心”；系统开展申报人国际首创的自主AI和下一代认知计算机的智能科学和认知科学基础理论研究；深化智能数学的基础研究，构建智能数学系统体系；聚焦AI产业应用研究，开发国际领先的自主AI系统支撑工具和创新工业应用范例；联合企事业单位开展实质性地促进重庆市的科技、产业和创新科技驱动的应用技术研究。

随后，重庆科技大学党委书记黎德龙，党委副书记、校长赵明阶，市教委二级巡视员窦晓明，市科技局基础处副处长陈恒，重庆科技大学副校长柏伟，副校长周雄共同为重庆智能数学与自主智能研究院揭牌，研究院成员代表上台见证。

重庆科技大学副校长柏伟宣读关于聘任重庆科技大学教授王迎旭为重庆智能数学与自主智能研究院院长的文件。重庆科技大学党委书记黎德龙，党委副书记、校长赵明阶为王迎旭颁发聘书。

据了解，王迎旭曾先后在牛津大学、斯坦福大学、加州大学伯克利分校、麻省理工学院等担任客座教授，在清华大学担任杰出客座教授。他的跨学科基础研究涵盖智能科学、智能数学、认知计算机/认知机器人、软件科学、控制论、脑科学/神经科学、形式语言学和系统科学等。他国际首创的自主（免训练）人工智能理论和系统均基于上述多学科基础研究和他所创立的智能数学的支撑。

重庆市教育委员会二级巡视员窦晓明表示，重庆智能数学与自主智能研究院的成立，是学校主动作为，积极落实市教委相关政策，促进科技发展的有力措施。市教委将持续关注和支持研究院发展，进一步加强政策引导和资源配置，鼓励研究院在人才培养、科学研究、社会服务等方面发挥更大作用。

窦晓明提到，希望研究院能够充分利用好学校提供的优质资源和市教委做出的政策支持，不断加强队伍建设，吸引更多的优秀人才加入。同时积极开展产学研合作，推动科研成果转化，为重庆打造数字、科技、科创高地和产业集群发展提供有力的理论支撑和技术保障。

大会进入第二阶段，王迎旭介绍了重庆智能数学与自主智能研究院建设方案。

方案指出，目前研究院的主要研究项目为：通过发展智能数学的基础理论和认知计算机原理，研究免训练的机器学习和推理机制，构造自主AI知识获取和智能生成的形式化方法，实现智能网联新能源汽车的超长续航里程、人机共生智能系统等下一代的智能工业技术，增强我国在国际标准组织的代表性和影响力，促进国家西部高新技术产业和智能经济发展。主要任务可概括为“智能科学基础理论研究、一流学科建设、科研团队发展”3个方面。

随后，与会人员就研究院发展等相关问题进行了讨论。