数学机械化与人工智能

活动时间： 10月03日15时00分       

地            点  ： 数学科学学院D203

讲座内容：

数学机械化主要研究如何借助计算机进行定理自动证明与发现，是我国数学家吴文俊教授创立的数学与人工智能交叉重要研究方向。本报告将简要介绍数学机械化的基本思想与若干新进展：微分Chow坐标、稀疏微分结式与机器证明的量子算法。

主讲人介绍：

高小山，中国科学院数学与系统科学研究院研究员。长期致力于数学机械化与人工智能数学理论及应用研究，对该领域的发展做出了突出贡献，被吴文俊称为数学机械化领域目前的“领军人物”。曾荣获国家自然科学二等奖、香港求是杰出青年学者奖、吴文俊应用数学奖、吴文俊人工智能杰出贡献奖、国家基金委杰青、国际计算机学会ISSAC杰出论文奖等荣誉。曾担任3个973项目的首席科学家、国家基金委创新群体学术带头人，国防数学项目首席科学家。

发布时间：2021-10-01 08:42:20