中国科学院老科协数学与系统科学研究院分会举办 “数学与人工智能”学术沙龙
中国老科协和中国科学院老科协主办，中国科学院老科协数学与系统研究院分会承办的“数学与人工智能”学术沙龙活动于2023年6月21日在数学院成功举办。
老科协数学院分会新任理事长刘卓军研究员主持沙龙活动。中国科学院老科协副理事长赵震声研究员，数学院党委副书记王敬泽，老科协数学院分会前任理事长余德浩研究员，老科协数学院分会新一届部分理事李文林研究员、冯贝叶研究员、经士仁研究员、乔京城研究员等参会；数学院部分离退休研究员和老职工，崔晋川、吉新华、孙旭东以及数学院多位中青年研究骨干和部分研究生等近50人参加本次沙龙活动。
在竞争中发展需要科技工作者自立自强，而突破卡脖子的重围离不开基础研究工作的厚实和积累。一段时间以来，由ChatGPT引发的全社会对人工智能进展的高度关注，使得人们会自然地发问，人工智能未来的发展到底会怎么样，其中是基础理论重要还是技术研发重要？实事求是地讲，这是很难作答的挑战问题，但也是无法回避的现实问题。围绕相应的话题，本次科技沙龙邀请中国科学院数学院高小山研究员，结合我国科技工作者在相关领域取得的研究成果做了题为《数学机械化与人工智能》的报告。高小山研究员曾是我国著名数学家吴文俊院士的博士研究生，早期杰出青年基金获得者、多次出任国家973基础研究项目首席科学家，是我国数学机械化研究领域的学术带头人。需要特别提到的是，高小山的老师、已故数学家吴文俊院士曾荣获国家自然科学奖一等奖(1956年)，荣获2000年度国家最高科学技术奖，曾因在定理机器证明方面做出的突出贡献而荣获过国际自动推理最高奖励 - Herbrand自动推理奖。吴文俊的系统性工作被学术界称为“吴方法”，并以专辑的形式在国际《人工智能》杂志和《自动推理》杂志加以“报道”和传播。吴文俊也因此成为国际人工智能领域最有影响的中国学者。而吴因此所开创的数学机械化的研究也成为国际学术界非常重视和积极参与的研究方向。
高小山研究员的报告从三个方面展开，即自动推理与逻辑主义人工智能、数学机械化研究新进展和深度学习与自动推理融合。高小山的报告简要回顾了人工智能的发展历程，尤其梳理分析了符号主义的演变，并概要介绍和高度评价了我国数学家吴文俊院士所做的突破性工作，同时报告了我国数学工作者在自动推理、符号计算和数学机械化方面取得的最新进展和做出的学术贡献。他认为深度学习与自动推理之融合应当是下一代AI的重要方向之一，并呼吁我国的年轻学者特别是在读的研究生们应当积极进取以实现自动推理的“涌现”目标。
从高小山的报告中，我们能够感悟到，在包括人工智能在内的各项应用特征非常明显的领域，做好基础理论研究工作的重要价值和以数学理论为引导和支撑的算法研究的空间非常巨大。高小山的精彩报告结束后，与会的老科学工作者、中青年研究人员和研究生们展开了热烈的讨论。有问有答，报告人高小山研究员就若干具体问题和参加沙龙的学生、学者做了非常有意义的交流。
高小山研究员作报告
高小山研究员与研究生互动讨论
沙龙报告之前，中国科学院老科协副理事长赵震声研究员简单介绍了中国科学院老科协的基本情况，对老科协数学院分会的沙龙活动给予高度评价。他介绍了中国科学院老科协学术沙龙的重要性：一方面老科学家了解最新的科研进展，提出和讨论问题，另一方面介绍自己的工作经验，为研究生和年轻的科技工作者提供一个交流学习的平台。
中国科学院老科协副理事长赵震声研究员讲话
数学院党委副书记王敬泽也发表了讲话，他对数学院老科协工作表示肯定和对未来发展给予了高度期许，他认为老科协数学院分会充分发挥了老同志的作用，使之成为一支永不退休的队伍。
参会人员围绕数学与人工智能的话题展开了热烈的讨论，尤其是一些年轻科研骨干和研究生们表现出了对人工智能研究的浓厚兴趣。让我们期待着，这样的沙龙交流能对未来的研究工作产生积极和深远的影响。
数学院党委副书记王敬泽讲话
本次沙龙活动在老科协数学院分会秘书长白英同志的带领下，申玫玫、王宸泽瑶做了大量细致工作。
来源：中国科学院老科协
