2023年5月30日是第七个全国科技工作者日，今年的主题是“点亮精神火炬”。中国数学会联合中国工业与应用数学学会和中国运筹学会将于5月30日上午10点举办科普报告活动。此次活动邀请到了中国科学院数学与系统科学研究院高小山研究员作题为“自动推理与人工智能”的科普报告。期待您的参与！

科普主题：自动推理与人工智能

科普时间：2023年5月30日上午10点

本场科普讲座将通过Bilibili平台在线直播，请通过扫描二维码进入讲座直播间：
URL: https://www.cms.org.cn/Home/news/news_details/id/1074.html

欢迎各位观众点击下方链接留言提问，主讲专家将倾听大家的反馈，并在报告中谈及大家普遍感兴趣的内容 (留言提问截止日期：2023年5月28日)，欢迎大家踊跃留言。
https://mp.weixin.qq.com/s/wB9j_lnAk_jJHD6V770Hlg

报告摘要

自动推理主要研究定理的自动证明。推理是人类最具代表性的智能行为之一，也是人工智能的核心内涵与主要目标。本报告将从自动推理的视角，介绍人工智能的起源、成就与发展趋势，主要内容包括：希尔伯特判定问题，逻辑主义人工智能，数学机械化，计算与智能的极限，深度推理，人工智能安全等。

科普专家：高小山研究员

高小山 中科院数学与系统科学研究院研究员、国家数学与交叉科学中心执行主任。主要研究数学机械化、自动推理、人工智能数学理论及应用。曾获国家自然科学二等奖、吴文俊应用数学奖、吴文俊人工智能杰出贡献奖、国际计算机学会ISSAC杰出论文奖。曾担任3个973项目的首席科学家、国家基金委创新群体学术带头人、人工智能数学理论项目首席科学家。