5月12日下午,我校在立志楼B512室举办湘江高端学术论坛“数学与人工智能”学术讲座。讲座由数学与统计学院李冬梅院长主持,数学与统计学院师生参加讲座。
(图|高小山研究员作学术报告)
高小山研究员从希尔伯特判定问题谈起,结合符号主义人工智能、计算理论、交互式定理与形式化数学、数学机械化的发展,阐述了深度学习、深度推理的数学理论,最后介绍了若干公开问题。他认为数学构建人工智能的底层逻辑,推动着人工智能前沿发展,数学与人工智能的结合是当代科技发展的核心驱动力。
在互动环节中,高研究员对师生所提出的问题一一做出详细解答。
(一审:关剑成 二审:王卫兵 三审:李冬梅)