首页>新闻动态

湘江高端学术论坛:中科院高小山研究员来校讲学

5月12日下午,我校在立志楼B512室举办湘江高端学术论坛“数学与人工智能”学术讲座。讲座由数学与统计学院李冬梅院长主持,数学与统计学院师生参加讲座。

                                               (图|高小山研究员作学术报告)

高小山研究员从希尔伯特判定问题谈起,结合符号主义人工智能、计算理论、交互式定理与形式化数学、数学机械化的发展,阐述了深度学习、深度推理的数学理论,最后介绍了若干公开问题。他认为数学构建人工智能的底层逻辑,推动着人工智能前沿发展,数学与人工智能的结合是当代科技发展的核心驱动力。

在互动环节中,高研究员对师生所提出的问题一一做出详细解答。


                                                                                                       (一审:关剑成     二审:王卫兵     三审:李冬梅)


TOP