Professor Yang-hui He (London Institute for Mathematical Sciences and University of Oxford)

The AI Mathematician We argue how AI can assist mathematics in three ways: theorem-proving,conjecture formulation, and language processing.Inspired by initial experiments in geometry and string theory in 2017, we summarize how thisemerging field has grown over the past years, and show how various machine-learningalgorithms can help with pattern detection across disciplines ranging from algebraicgeometry to representation theory, to combinatorics, and […]