CMSA New Technologies in Mathematics Seminar: Machine learning tools for mathematical discovery
CMSA EVENTS: CMSA NEW TECHNOLOGIES IN MATHEMATICS
When: December 3, 2025
2:00 pm - 3:00 pm
Where: Virtually
Speaker: Adam Zsolt Wagner (Google Deepmind)
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
Zoom link: https://harvard.zoom.us/j/96815917772?pwd=p8G9kqh0QfW3VoPh5399Ur2wnzNyLV.1
