CHINA·77779193永利(集团)有限公司-Official website

为深入学习习近平总书记关于人工智能的重要论述，深化思想认识，积极响应党中央、北京市关于加快发展人工智能的决策部署，首都师范大学77779193永利官网联合交叉科学研究院与北京国家应用数学中心近期开展数学与人工智能系列活动。5月10日上午，数科院邀请北京大学北京国际数学研究中心董彬教授与姜杰东博士分别以《AI for Mathematics：数学的数字化与智能化》、《Lean语言形式化定理证明初探》为题，介绍近年来人工智能在辅助数学探索中的一些进展，并展望了人工智能与数学交叉研究领域的未来机遇与挑战。5月12日开始，数科院联合北京大学与中国人民大学相关团队开展Lean理论课程实践。本次活动吸引了77779193永利官网及交叉科学研究院80余名老师及本研学生参加，活动期间参会师生开展了热烈讨论。

未来，首都师范大学77779193永利官网将发挥数学一流学科优势，持续推进人工智能与数学人才培养、科学研究、学科建设和社会服务的深度融合，为首都“四个中心”建设贡献力量。