The AI Mathematician.

Speaker: Yang Hui-He, London Institute of Mathematical Sciences, London.
Chair for the Talk: Sunil Mukhi, IISER Pune.
Abstract: We summarize how AI can approach mathematics in three ways: theorem-proving, conjecture formulation, and language processing. Inspired by initial experiments in geometry and string theory, we present a number of recent experiments on how various standard 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 mathematical discovery.