This seminar will delve into how AI is making significant strides in the field of mathematics, focusing on three main aspects: theorem-proving, conjecture formulation, and language processing. Prof. He will share insights from recent experiments demonstrating how machine-learning algorithms are aiding in pattern detection across various mathematical disciplines, including algebraic geometry, representation theory, combinatorics, and number theory.

 

Prof. Yang-Hui He is a Fellow at the London Institute for Mathematical Sciences. He also holds honorary positions as lecturer in mathematics at Merton College, University of Oxford, Visiting Professor at City, University of London and Chang-Jiang Chair at Nankai University. Yang read physics and mathematics at Princeton University (BA with Highest Honors), followed by the Mathematics Tripos at Cambridge (MA with Distinction), before earning his PhD in mathematical physics at MIT (NSF scholar and presidential award). After a postdoc at the University of Pennsylvania, he joined Oxford as the FitzJames Fellow and an STFC Advanced Fellow. Authoring more than 200 papers and several books, Yang works on the interface between geometry, number theory and string theory. He was a pioneer using AI for mathematics in 2017 and wrote the first textbook on the subject (Springer, LNM, 2021). Yang is also a keen science communicator. His public talks have included a Friday Evening Discourse at the Royal Institution.