2023年全國科技工作者日科普報告，期待您的參與！

發布時間：2023-05-24

2023年5月30日是第七個(ge) 全國科技工作者日，今年的主題是“點亮精神火炬”。米兰体育官方网站入口聯合中國工業(ye) 與(yu) 應用數學學會(hui) 和中國運籌學會(hui) 將於(yu) 5月30日上午10點舉(ju) 辦科普報告活動。此次活動邀請到了中國科學院數學與(yu) 係統科學研究院高小山研究員作題為(wei) “自動推理與(yu) 人工智能”的科普報告。期待您的參與(yu) ！

微信圖片_20230524162219.jpg

科普主題

自動推理與(yu) 人工智能

科普時間

2023年5月30日上午10點

主辦單位

米兰体育官方网站入口

協辦單位

中國工業(ye) 與(yu) 應用數學學會(hui) 、中國運籌學會(hui)

參與方式

本場科普講座將通過Bilibili平台在線直播，請通過掃描下方二維碼進入講座直播間。

交流互動

歡迎各位觀眾(zhong) 點擊下方鏈接留言提問，主講專(zhuan) 家將傾(qing) 聽大家的反饋，並在報告中談及大家普遍感興(xing) 趣的內(nei) 容 (留言提問截止日期：2023年5月28日)，歡迎大家踴躍留言。

報告摘要

自動推理主要研究定理的自動證明。推理是人類最具代表性的智能行為(wei) 之一，也是人工智能的核心內(nei) 涵與(yu) 主要目標。本報告將從(cong) 自動推理的視角，介紹人工智能的起源、成就與(yu) 發展趨勢，主要內(nei) 容包括：希爾伯特判定問題，邏輯主義(yi) 人工智能，數學機械化，計算與(yu) 智能的極限，深度推理，人工智能安全等。

科普專家

高小山

研究員

高小山 中科院數學與(yu) 係統科學研究院研究員、國家數學與(yu) 交叉科學中心執行主任。主要研究數學機械化、自動推理、人工智能數學理論及應用。曾獲國家自然科學二等獎、吳文俊應用數學獎、吳文俊人工智能傑出貢獻獎、國際計算機學會(hui) ISSAC傑出論文獎。曾擔任3個(ge) 973項目的首席科學家、國家基金委創新群體(ti) 學術帶頭人、人工智能數學理論項目首席科學家。

重要提醒