中國數學會是中國數學工作者的學術性法人社會團體，是中國科學技術協會的組成部分。中國數學會的宗旨是團結廣大數學工作者，為促進數學的發展，繁榮我國的科學技術事業，促進科學技術人才的成長與提高...
2023年全國科技工作者日科普報告，期待您的參與！
發布時間：2023-05-24
2023年5月30日是第七個全國科技工作者日，今年的主題是“點亮精神火炬”。中國數學會聯合中國工業與應用數學學會和中國運籌學會將于5月30日上午10點舉辦科普報告活動。此次活動邀請到了中國科學院數學與系統科學研究院高小山研究員作題為“自動推理與人工智能”的科普報告。期待您的參與！
自動推理與人工智能
2023年5月30日上午10點
中國數學會
中國工業與應用數學學會、中國運籌學會
本場科普講座將通過Bilibili平臺在線直播，請通過掃描下方二維碼進入講座直播間。
歡迎各位觀眾點擊下方鏈接留言提問，主講專家將傾聽大家的反饋，并在報告中談及大家普遍感興趣的內容 (留言提問截止日期：2023年5月28日)，歡迎大家踴躍留言。
自動推理主要研究定理的自動證明。推理是人類最具代表性的智能行為之一，也是人工智能的核心內涵與主要目標。本報告將從自動推理的視角，介紹人工智能的起源、成就與發展趨勢，主要內容包括：希爾伯特判定問題，邏輯主義人工智能，數學機械化，計算與智能的極限，深度推理，人工智能安全等。
高小山 中科院數學與系統科學研究院研究員、國家數學與交叉科學中心執行主任。主要研究數學機械化、自動推理、人工智能數學理論及應用。曾獲國家自然科學二等獎、吳文俊應用數學獎、吳文俊人工智能杰出貢獻獎、國際計算機學會ISSAC杰出論文獎。曾擔任3個973項目的首席科學家、國家基金委創新群體學術帶頭人、人工智能數學理論項目首席科學家。
掃描下方二維碼，進入中國數學會
嗶哩嗶哩直播平臺觀看
數學會獎項
鐘家慶獎
鐘家慶教授生前對祖國數學事業的發展極其關切
鐘家慶教授生前對祖國數學事業的發展極其關注，并為之拚搏一生。為了紀念并實現他發展祖國數學事業的遺愿，數學界有關人士于1987年共同籌辦了鐘家慶基金，并設立了鐘家慶數學獎，委托中國數學會承辦。
關注微信
掃描二維碼關注
