Generative Modeling for Mathematical Discovery

Jordan S. Ellenberg, Cristofero S. Fraser-Taliente, Thomas R. Harvey +2

We present a new implementation of the LLM-driven genetic algorithm {\it funsearch}, whose aim is to generate examples of interest to mathematicians and which has already had some…