Members' Colloquium
Mathematical Exploration and Discovery at Scale
Machine learning is transforming mathematical discovery, enabling advances on longstanding open problems. In this talk, I will discuss AlphaEvolve, a general-purpose evolutionary coding agent that uses large language models to autonomously discover old and new mathematical constructions and potentially go beyond them. AlphaEvolve tackles a wide variety of problems across analysis, geometry, combinatorics, and number theory. In some instances, AlphaEvolve is also able to generalize results for a finite number of input values into a formula valid for all input values. Furthermore, we are able to combine this methodology with Deep Think and AlphaProof in a broader framework where the additional proof-assistants and reasoning systems provide automated proof generation and further mathematical insights. This illustrates how general-purpose AI systems can systematically successfully explore broad mathematical landscapes at an unprecedented speed, leading us to do mathematics at scale.