報(bào)告人：中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院高小山研究員
時(shí)間：2025年5月12日16:00-17:00
地點(diǎn)：立志樓B5-2
主辦單位：數(shù)學(xué)與統(tǒng)計(jì)學(xué)院
摘要：將介紹數(shù)學(xué)與人工智能交叉融合發(fā)展的歷史與若干最新成果,。首先,，介紹第一代符號(hào)主義人工智能起源與發(fā)展中出現(xiàn)的主要數(shù)學(xué)成就，包括自動(dòng)推理,、計(jì)算理論,、形式化數(shù)學(xué)、數(shù)學(xué)機(jī)械化,。其次介紹深度學(xué)習(xí)的數(shù)學(xué)理論,，包括深度神經(jīng)網(wǎng)絡(luò)的表達(dá)能力、訓(xùn)練優(yōu)化,、泛化性與安全性,。最后，探討通過人工智能與自動(dòng)推理融合發(fā)展深度推理方法,增強(qiáng)計(jì)算機(jī)的數(shù)學(xué)推理能力,。
高小山：中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院研究員,，國(guó)家杰出青年基金獲得者，973項(xiàng)目首席科學(xué)家,、國(guó)家基金委創(chuàng)新群體學(xué)術(shù)帶頭人,。從事數(shù)學(xué)機(jī)械化與人工智能數(shù)學(xué)理論研究，在定理可讀證明,、幾何約束求解,、微分系統(tǒng)機(jī)器證明、對(duì)抗深度學(xué)習(xí)理論等方面做出重要成果,，曾獲國(guó)家自然科學(xué)二等獎(jiǎng),、吳文俊應(yīng)用數(shù)學(xué)獎(jiǎng)、吳文俊人工智能杰出貢獻(xiàn)獎(jiǎng),。