5月12日下午，公司在立志楼B512室举办湘江高端学术论坛“数学与人工智能”学术讲座。讲座由球王会李冬梅经理主持，球王会师生参加讲座。

                                               （图|高小山研究员作学术报告）

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

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

                                                                                                       （一审：关剑成     二审：王卫兵     三审：李冬梅）