講座報(bào)告主題：數(shù)學(xué)與人工智能
專(zhuān)家姓名：高小山
日期：2026-04-17 時(shí)間：16:00
地點(diǎn)：會(huì)議中心第一報(bào)告廳
主辦單位：數(shù)學(xué)科學(xué)學(xué)院
主講簡(jiǎn)介：中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院研究員，主要從事數(shù)學(xué)機(jī)械化與人工智能數(shù)學(xué)理論研究，在定理可讀證明、幾何約束求解、微分系統(tǒng)機(jī)器證明、深度學(xué)習(xí)數(shù)學(xué)理論等方面做出重要成果。曾獲國(guó)家自然科學(xué)二等獎(jiǎng)、吳文俊應(yīng)用數(shù)學(xué)獎(jiǎng)、吳文俊人工智能杰出貢獻(xiàn)獎(jiǎng)。曾擔(dān)任3個(gè)973項(xiàng)目的首席科學(xué)家、國(guó)家基金委創(chuàng)新群體學(xué)術(shù)帶頭人，獲國(guó)家基金委杰青。研究專(zhuān)長(zhǎng)：人工智能數(shù)學(xué)理論，數(shù)學(xué)機(jī)械化，符號(hào)計(jì)算，自動(dòng)推理，智能CAD，數(shù)控算法。
主講內(nèi)容簡(jiǎn)介：本報(bào)告將介紹數(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)化、泛化性與安全性。最后，探討通過(guò)人工智能與自動(dòng)推理融合發(fā)展深度推理方法,增強(qiáng)計(jì)算機(jī)的數(shù)學(xué)推理能力。
歡迎師生參加！
