AI4Math初探
报告专家：何旭华 (香港大学)
报告时间：2023年10月24日下午16：20
报告地点：数学学院西303报告厅 腾讯会议：321-340-432
报告摘要：本次演讲旨在探讨人工智能（AI）在纯数学研究中的应用。尽管人工智能已经广泛应用于各个领域，如自然语言处理、计算机视觉、语音识别和机器翻译等，但其在数学领域中的应用相对较少。数学是一门高度抽象和理论化的学科，其重点是推理和证明，这与人工智能的基础是数据驱动和模式识别的思想有所不同。因此，将人工智能应用于数学研究是一项具有挑战性的任务，需要创新性的方法和技术。
仿射Deligne-Lusztig簇（ADLV）是算术几何的重要研究对象，在Shimura簇和Langlands纲领中扮演重要角色。我们与北京大学董斌教授的研究团队合作开展了机器学习辅助框架用于ADLV相关的基础问题的研究。在本次演讲中，我们将讨论如何使用机器学习工具来生成数据集、训练模型并分析数据，以便发现ADLV的几何性质。我们还将强调数据生成过程的重要性，包括如何选择有意义的子集和适当的特征集。此外，我们还将介绍该方法在加速纯数学研究，探索新的猜想和研究方向的潜力。
专家简介：何旭华现为香港中文大学李卓敏数学讲座教授。何教授于2001年在北京大学获得理学学士学位，于2005年在美国麻省理工学院获得博士学位。在加入香港中文大学之前，何教授曾在美国石溪大学、香港科技大学及美国马里兰大学任教，并于2016-2017年在普林斯顿高等研究院担任Von Neumann Fellow。由于在算术代数几何、代数群及表示论等领域取得的杰出成就，他先后获得2013年晨兴数学金奖、2020年科学探索奖、2022年美国数学会的Chevalley奖，并获邀在2018年国际数学家大会上做45分钟报告。
邀请人：张起帆
