Searching in language space to find constructions in mathematics
2 PM, 2 Apr 2026
Adam Zsolt Wagner discusses how AI-driven search in language space accelerates mathematical discovery and progress on long-standing problems.
In this second talk in the AI for Mathematical Sciences (AIMS) seminar series Adam Zsolt Wagner explores the frontiers of automated mathematical discovery. With an emphasis on his work at Google DeepMind, he discusses tools such AlphaEvolve that aim to bridge the gap between human intuition and the vast space of potential mathematical constructions. By treating mathematical problems as search tasks within “language space” these tools can generate counterexamples, find novel configurations and significantly reduce the manual effort required to explore ideas and test complex hypotheses.
Dr. Wagner demonstrates how these AI-driven approaches are being applied to real-world problems in combinatorics and beyond. He discusses the mechanics of FunSearch and AlphaEvolve, shares insights from collaborative work with Javier Gomez-Serrano and Terence Tao and provides a framework for mathematicians to determine which AI search strategies are best suited for their own research.
Event information
This event, part of our AI for Mathematical Sciences series, takes place at 2 pm on Thursday 2 April at the London Institute for Mathematical Sciences, on the second floor of the Royal Institution. AIMS is sponsored by Nebius. To register for the series please fill out the online form.
















Speaker

Adam Zsolt Wagner is a Research Scientist at Google DeepMind. He works at the intersection of AI and mathematics, with a focus on developing tools such as AlphaEvolve to help mathematicians gain insights, find new constructions and look for counterexamples to their conjectures.