nba押注哪里玩,安博官网,龙平台

  • nba押注哪里玩,安博官网,龙平台概况

    nba押注哪里玩,安博官网,龙平台: nba押注哪里玩,安博官网,龙平台章程

    nba押注哪里玩,安博官网,龙平台: nba押注哪里玩,安博官网,龙平台概况

    nba押注哪里玩,安博官网,龙平台: nba押注哪里玩,安博官网,龙平台领导

    nba押注哪里玩,安博官网,龙平台: 校史沿革

    nba押注哪里玩,安博官网,龙平台: nba押注哪里玩,安博官网,龙平台标识

    nba押注哪里玩,安博官网,龙平台: 信息公开

  • 新闻中心

  • 机构设置

    nba押注哪里玩,安博官网,龙平台: 综合管理机构

    nba押注哪里玩,安博官网,龙平台: 群团组织以及离退休人员管理机构、机关党委

    nba押注哪里玩,安博官网,龙平台: 纪检监察机构

    nba押注哪里玩,安博官网,龙平台: 教学机构

    nba押注哪里玩,安博官网,龙平台: 教辅机构

    nba押注哪里玩,安博官网,龙平台: 实体研究机构

    nba押注哪里玩,安博官网,龙平台: 其他

  • 教育教学

    nba押注哪里玩,安博官网,龙平台: 师资队伍

    nba押注哪里玩,安博官网,龙平台: 人才招聘

    nba押注哪里玩,安博官网,龙平台: 学科建设

    nba押注哪里玩,安博官网,龙平台: 本科生教育

    nba押注哪里玩,安博官网,龙平台: 研究生教育

    nba押注哪里玩,安博官网,龙平台: 留学生教育

    nba押注哪里玩,安博官网,龙平台: 继续教育

  • 科学研究

    nba押注哪里玩,安博官网,龙平台: 科技动态

    nba押注哪里玩,安博官网,龙平台: 社科动态

    nba押注哪里玩,安博官网,龙平台: 产学研合作

    nba押注哪里玩,安博官网,龙平台: 知识产权

    nba押注哪里玩,安博官网,龙平台: 学术期刊

  • 招生就业

    nba押注哪里玩,安博官网,龙平台: 本科生招生

    nba押注哪里玩,安博官网,龙平台: 研究生招生

    nba押注哪里玩,安博官网,龙平台: 留学生招生

    nba押注哪里玩,安博官网,龙平台: 合作办学招生

    nba押注哪里玩,安博官网,龙平台: 继续教育招生

    nba押注哪里玩,安博官网,龙平台: 就业信息

  • 合作交流

    nba押注哪里玩,安博官网,龙平台: 国际合作

    nba押注哪里玩,安博官网,龙平台: 教育发展基金安博官网

  • 校园服务

    nba押注哪里玩,安博官网,龙平台: 档案馆

    nba押注哪里玩,安博官网,龙平台: 校史馆

    nba押注哪里玩,安博官网,龙平台: 农机文化展示馆

    nba押注哪里玩,安博官网,龙平台: 图书馆

    nba押注哪里玩,安博官网,龙平台: 后勤服务

    nba押注哪里玩,安博官网,龙平台: 采购招标

    nba押注哪里玩,安博官网,龙平台: 暖心驿站

    nba押注哪里玩,安博官网,龙平台: 校历

    nba押注哪里玩,安博官网,龙平台: 规范性文件查询

    nba押注哪里玩,安博官网,龙平台: 迎新系统

nba押注哪里玩,安博官网,龙平台: 新闻中心

当前您的位置: 首页> 新闻中心> 学术讲座> 正文

nba押注哪里玩,安博官网,龙平台:讲准字【2026】第053号:数学与人工智能

发布时间:2026-04-08 浏览量:

讲座报告主题:数学与人工智能
专家姓名:高小山
日期:2026-04-17 时间:16:00
地点:安博官网议中心第一报告厅
主办单位:数学科学龙平台


主讲简介:中国科龙平台数学与系统科学研究院研究员,主要从事数学机械化与人工智能数学理论研究,在定理可读证明、几何约束求解、微分系统机器证明、深度学习数学理论等方面做出重要成果。曾获国家自然科学二等奖、吴文俊应用数学奖、吴文俊人工智能杰出贡献奖。曾担任3个973项目的首席科学家、国家基金委创新群体学术带头人,获国家基金委杰青。研究专长:人工智能数学理论,数学机械化,符号计算,自动推理,智能CAD,数控算法。


主讲内容简介:本报告将介绍数学与人工智能交叉融合发展的历史与若干最新成果。首先,介绍第一代符号主义人工智能起源与发展中出现的主要数学成就,包括自动推理、计算理论、形式化数学、数学机械化。其次,介绍深度学习的数学理论,包括深度神经网络的表达能力、训练优化、泛化性与安全性。最后,探讨通过人工智能与自动推理融合发展深度推理方法,增强计算机的数学推理能力。


欢迎师生参加!

专家姓名 高小山 讲座时间 2026-04-17 16:00
讲座地点 安博官网议中心第一报告厅
nba押注哪里玩[亚洲]全站最新版V9.29.17-安卓/苹果APP通用下载