New Technologies in Mathematics Seminar

Speaker: Adam Zsolt Wagner, Google DeepMind

Title: Machine learning tools for mathematical discovery

Abstract: I will discuss various ML tools we can use today to try to find interesting constructions to various mathematical problems. I will briefly mention simple reinforcement learning setups and PatternBoost, but the talk will mainly focus on LLM-based tools such as FunSearch and AlphaEvolve. We will discuss the pros and cons of several of these methods, and try to figure out which one is best for the problems we care about.
Joint work with François Charton, Jordan Ellenberg, Bogdan Georgiev, Javier Gómez-Serrano, Terence Tao, and Geordie Williamson.