2023年12月25日，bevictor伟德官网舉辦“海之南名家講堂”第四講，中國科學院數學與系統科學研究院研究員高小山研究員受邀作題為《數學定理的自動證明與人工智能》專題講座。講座由學院副院長趙新超主持。

   高小山研究員從自動推理與邏輯主義人工智能、數學機械化新進展、深度學習與自動推理融合三個方面作系統闡述，并以人工智能在數學定理證明的前沿應用為切入點，重點解析了自動推理與深度學習相結合的“深度推理”這一未來人工智能發展方向，着重從深度推理的困難性和挑戰性強調了深度學習在自動推理和人工智能模型中的重要作用。高小山研究員鼓勵同學們打好數學基礎，廣泛了解人工智能領域相關知識，将所學理論與前沿技術相結合，深入思考并拓展學習規劃和未來發展方向。

bevictor伟德官网

2023年12月29日