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