We argue how AI can assist mathematical and theoretical discovery in three ways: theorem-proving, conjecture formulation, and language processing.
Inspired by initial experiments in geometry and string theory in 2017, we summarize how this emerging field has grown over the past years, and show how various machine-learning algorithms can help with pattern detection across disciplines ranging from algebraic geometry to representation theory, to combinatorics, and to number theory.
At the heart of the programme is the question how does AI help with theoretical discovery, and the implications for the future of mathematics.
报告人简介：
何杨辉（Yang-Hui He）教授现任英国皇家研究院伦敦数学研究所资深研究员、牛津大学默顿学院数学导师、伦敦大学城市圣乔治学院荣誉数学教授，以及南开大学讲席教授。他于1996年以最优等荣誉获得普林斯顿大学物理学学士学位。他1997年在剑桥大学获得数学硕士学位，随后于2002年在美国麻省理工学院理论物理中心获得博士学位。
何杨辉教授的研究聚焦于量子场论、弦理论、代数几何与数论之间的交叉领域，并积极探索人工智能与机器学习在这些前沿问题中的应用。自2017，他是将人工智能应用于纯数学和理论物理研究的先驱者之一。在2022的一项研究中，他与合作者利用机器学习算法在椭圆曲线中发现了“椋鸟群飞”（murmurations），掀起了解析数论领域的一股研究热潮。
Prof. Huaxing Zhu