9月30日，重庆智能数学与自主智能研究院成立大会暨揭牌仪式在办公楼105会议室举行。市教委二级巡视员窦晓明，市科技局基础处副处长陈恒，校党委书记黎德龙，党委副书记、校长赵明阶，党委副书记谭勇，副校长柏伟及相关部门负责人参加大会，会议由副校长周雄主持。

窦晓明在讲话时指出，重庆智能数学与自主智能研究院的设立，体现了重庆科技大学在基础学科建设和学科交叉融合中的前瞻布局，将为提升重庆在科技创新领域的核心竞争力贡献力量。他强调，高校不仅肩负人才培养的重任，还要为国家和地方的经济社会发展提供智力支持。研究院的成立，标志着重庆在推动高校科研创新体系方面取得了又一重要突破。市教委将继续深化与市科技局、各高校及企业的协同合作，全面支持研究院的发展，推动重庆在智能数学与自主智能领域的前沿研究，培养更多服务国家战略的创新型人才。

在研究院成员代表的见证下，黎德龙、赵明阶、窦晓明、陈恒、柏伟共同为重庆智能数学与自主智能研究院揭牌。柏伟宣读了聘任王迎旭教授为重庆智能数学与自主智能研究院院长的文件，并由黎德龙，赵明阶为王迎旭颁发聘书。

王迎旭在报告中指出，智能数学与自主智能领域不仅是人工智能科技革命和产业变革的核心前沿技术，也是我国在国际领先的智能科学原创基础理论,以及更接近人脑的下一代数学驱动的免训练的AI认识推理与智能生成技术。智能数学与自主智能将不但在未来产业的新一代智能化转型和机辅人类智能飞跃发展中发挥重要作用,还将在基础数论研究突破,诸如哥德巴赫(Goldbach)猜想、双子素数猜想、和考莱茨猜想等的AI形式证明中发挥前所未有的支撑作用。其中部分研究成果已在国际学术刊物/会议正式发表,其他将作为我校世界原创基础研究成果发表。

智能数学与自主智能研究院成立大会暨揭牌仪式的圆满成功，标志着我校在智能科学基础研究领域的原创性突破和下一代AI工业应用开发的战略性启动。该研究院的成立为智能科学、智能数学、认知科学及自主AI系统的实现提供了不可或缺的基础理论与革命性的技术创新平台。该研究院将吸引和培养具有国际视野和创新能力的青年科学家和工程师,为下一代类脑的、数学驱动的、和免训练的自主AI系统提供理论基础、人才储备、和工业化支撑。

据悉，智能数学与自主智能研究院院长、首席专家王迎旭教授是智能数学和自主智能两个前沿领域的国际创始人和领导者, IEEE会士和BCS会士等,为清华大学信息科学与技术国家研究中心学术委员会委员,和国际认知信息学与认知计算学会创始主席(始于2002年)。